Подписывайтесь на наш instagram, чтобы не пропустить результаты конкурса грантов!
Функциональное и логическое программирование
-
Функциональное и логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.
-
Образовательная программа 6B06112 Вычислительная техника и программное обеспечение
-
Кредитов 5
-
Селективная дисциплина
-
Год обучения 3
-
Семестр 2