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

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

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

Лекторы

Семинаристы