Санкт-Петербург, 199178, Россия, 14-я линия Васильевского острова дом 29 Б
(812) 363-68-71, (812) 363-68-72
ru

Сложность доказательств

2018 – 2019, VII семестр

Информация по курсу

Обучающийся должен овладеть теоретическим материалом в объеме, предусмотренном программой, уметь применять полученные знания при решении теоретических и прикладных задач на основе анализа освоенных разделов: системы доказательств, системы Фреге, нижние оценки для систем доказательств.


Программа курса