Модельна навчальна програма за обраним профілем "Математична логіка та її застосування. Профільна середня освіта. Поглиблений рівень" для закладів загальної середньої освіти