Математическая логика и алгоритмы, 4 курс мехмата. Весна 2019 года
Курс читается по пятницам 15:00-16:35 в ауд. 1604.
Экзамены состоятся …. .
Сдающим нужно выбрать один из двух дней и не позднее …………. записаться на него, заполнив одну из двух форм: ….. и ….. .
В билет входит один теоретический вопрос. Пользоваться литературой или конспектами на экзамене запрещается.
Оценка за курс будет средним арифметическим (с арифметическим округлением, то есть, 4.5 округляется до 5, a 4.4 — до 4)
из оценки за решение вот этих задач и оценки за экзамен. Решения задач нужно сдавать в письменном виде на лекциях в указанный срок или присылать по электронной почте по адресу nikolay.vereshchagin@gmail.com в формате .txt или .pdf
Оценка за задачи выставляется по правилу:
- 0.9 — отлично без сдачи экзамена при условии посещения 9 лекций
- 0.85 — 5 (отлично)
- 0.73 — 4 (хорошо)
- 0.6 — 3 (удовлетворительно)
- 0.47 — 2
- 0.34 — 1
Для сдачи зачета надо решить не менее 0.6 задач и посетить не менее 8 лекций
Сдать задачу после крайнего срока невозможно!
Конспект лекций про исчисление резолюций
Конспект лекций про аксиоматическую теорию множеств ZF
Конспект лекций про арифметику Пеано PA