ЕНС Математическая логика и алгоритмы, 4 курс мехмата

2017 год

Четверг 12:30-14:05 ауд. 1225

  • Примерная программа курса

  • Оценка за курс будет средним арифметическим из оценки за решение вот этих задач и оценки за экзамен. Решения задач нужно сдавать в письменном виде на лекциях в указанный срок или присылать по электронной почте по адресу nikolay.vereshchagin@gmail.com
  • Задачи

    Оценки за решения задач

    Дневник лекций

    2015 год

    !!!Внимание!!! Последний экзамен состоится 29 июня в 12 часов в ауд. 1605 (каф. мат. логики)!

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

  • Программа экзамена.

  • Дневник лекций
  • Оценка за курс будет средним арифметическим из оценки за решение вот этих задач и оценки за экзамен. Решения задач нужно сдавать в письменном виде на лекциях в указанный срок или присылать по электронной почте по адресу nikolay.vereshchagin@gmail.com.
  • Даты экзаменов - пятница 29 мая в ауд. 1502 (начало в 11:30) и среда 3 июня в ауд. 1502 (начало в 10 часов). В билет входит один теоретический вопрос. Пользоваться литературой или конспектами на экзамене запрещается.

  • Результаты

    2013 год

    Экзамен по курсу

    Дата экзамена - понедельник 10 июня, начало в 10:30. Чтобы сдать экзамен в этот день, надо заранее (не позднее 8 июня) записаться на него, подписавшись на эту рассылку Гугла .

  • Программа курса: PDF.

    В билет входит один теоретический вопрос. Пользоваться литературой или конспектами на экзамене запрещается.

    Конспект лекции с теоремами Гёделя о неполноте для ZF.

  • Дневник лекций
  • 2011 год

    Полезные ссылки для подготовки к экзамену

    Отсюда можно скачать текст книги "Языки и исчисления", которая покрывает часть курса.

    Здесь можно прочитать про арифметику Пеано, арифметические множества и первую и вторую теоремы Геделя о неполноте.

    Здесь подробно рассказано про аксиоматическую теорию множеств ZF и даже доказаны независимость континуум-гипотезы и аксиомы выбора.

    2009 год

    2007 год

    Программа курса 2007 года: TeX, PDF, Postscript.

    2003 год