Программы некоторых курсов
кафедры математической логики и теории алгоритмов

• Введение в математическую логику (1-й курс механико-математического факультета МГУ)
  • Весной 2011 года (лектор — чл.-корр. РАН А. Л. Семёнов)
  • Весной 2010 года (лектор — чл.-корр. РАН Л. Д. Беклемишев)
  • Весной 2009 года (лектор — чл.-корр. РАН Л. Д. Беклемишев)
  • Весной 2008 года (лектор — чл.-корр. РАН Л. Д. Беклемишев)
  • Весной 2006 года (лектор — проф. М. Р. Пентус)
  • Весной 2005 года (лектор — проф. М. Р. Пентус)
  • Программа к экзамену весной 2003 года (лектор — проф. В. А. Успенский): PostScript, PDF (6 страниц)
• Математическая логика и алгоритмы (4-й курс механико-математического факультета МГУ)
  • Весной 2010 года (лектор — проф. В. Б. Шехтман): программа (4 страницы, PDF), задачи (2 страницы, PDF)
  • Весной 2003, весной 2007 и весной 2009 года (лектор — проф. Н. К. Верещагин)
• Программы курсов, читаемых сотрудниками кафедры на отделении теоретической и прикладной лингвистики филологического факультета МГУ
  • Язык математики
  • Аксиоматический метод
  • Основы программирования
  • Математический анализ
  • Математическая логика
  • Алгебра
  • Геометрия и топология
  • Математическая теория грамматик

Адрес: http://lpcs.math.msu.su/rus/programs.htm
Изменения внесены 12.02.2011.
Мати Рейнович Пентус