Подписывайтесь на наш instagram, чтобы не пропустить результаты конкурса грантов!
Теория логического вывода
-
Данный курс посвящен основам теории логического вывода, большое внимание уделяется классическому и интуиционистскому исчислению предикатов и теореме об устранении сечений в них. Изучаются основные методы оценки сложности логического вывода в генценовском исчислении предикатов. Данный курс образует теоретический фундамент для криптографических методов защиты информации.
-
Образовательная программа 7M05401 Математика
-
Кредитов 5
-
Год обучения 1
-
Семестр 2