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

Весна 2018 года

Крайний срок досдачи задач - среда 16 мая (18:30 MSK). После этого срока никакие решения приниматься не будут!

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

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

Экзамены состоятся .... . Сдающим нужно выбрать один из двух дней и не позднее ............. записаться на него, заполнив одну из двух форм: ..... и ..... . В билет входит один теоретический вопрос. Пользоваться литературой или конспектами на экзамене запрещается.

Оценка за курс будет средним арифметическим (с арифметическим округлением, то есть, 4.5 округляется до 5, a 4.4 - до 4) из оценки за решение вот этих задач и оценки за экзамен. Решения задач нужно сдавать в письменном виде на лекциях в указанный срок или присылать по электронной почте по адресу nikolay.vereshchagin@gmail.com в формате .txt или .pdf

Задачи

Баллы за решения задач

Оценка за задачи выставляется по правилу:

Можно повысить оценку за задачи, прислав решения ранее не сдававшихся задач или решенных на оценку ниже 0.5 (пересдавать решения, признанные списанными, запрещено). Эти решения будут учтены с коэффициентом 0.5. Крайний срок досдачи задач - среда 16 мая (18:30 MSK). После этого срока никакие решения приниматься не будут!

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

Конспект лекций про исчисление резолюций

Конспект лекций про аксиоматическую теорию множеств ZF

Конспект лекций про арифметику Пеано PA