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

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

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

Семинаристы