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

Математическая логика

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

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

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


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