Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ


Просеминар по математической логике для студентов первого и второго курсов

Руководят семинаром Л. Д. Беклемишев, В. В. Подольский А. Л. Семёнов и С. Л. Кузнецов. Просеминар работает по пятницам с 16:45 до 18:20.

Спектр занятий широк: математическая логика, теория алгоритмов, сложность вычислений, теория игр, конструирование и анализ алгоритмов, криптография, теория автоматов. Обычно на каждый семестр выбирается новая тема или даже несколько тем. Единственное ограничение в их выборе состоит в том, что тема должна быть интересна руководителям семинара (и, мы надеемся, остальным участникам) и чтобы имелось достаточно много задач, доступных первокурсникам и второкурсникам. Просеминар имеет свой сайт.