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

Весна 2019 года

Курс читается по пятницам 15:00-16:35 в ауд. 1604.

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

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

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

Задачи

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

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

Для сдачи зачета надо решить не менее 0.6 задач и посетить не менее 8 лекций

Сдать задачу после крайнего срока невозможно!

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

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

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

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