Russia, 199178, St. Petersburg, 14 line V.O., 29B
+7 (812) 363-62-32
ru en

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

2017 – 2018, V семестр

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

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


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