Saint Petersburg, 199178, Russia, Line 14th (Vasilyevsky Island), 29
(812) 363-68-71, (812) 363-68-72
ru en

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

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

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

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


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