Логика (майнор), Факультет математики НИУ ВШЭ, 2019/2020 учебный год.

Лектор: Л.Д.Беклемишев

Преподаватели: М.Н. Рыбаков, Е.А. Колмаков, А.А. Запрягаев

Объявления

• Оценка вычисляется по правилу: 40% контрольная + 10% тесты на семинарах + 20% домашние задания + 30% письменный экзамен
• Экзамен: 19 декабря (четверг), 10:30, ауд. 110. Продолжительность письменного экзамена 1.5 часа, 4 задачи.
• Оценки экзамена и предварительные итоги
• Показ работ: 26 декабря (четверг), 10:30, ауд. 110. Показ работ - это возможность посмотреть и оспорить оценку по экзаменационной работе, переписать ее в случае неудовлетворительной итоговой оценки, переписать контрольную в случае неудовлетворительной оценки или ее пропуска, а также сдать еще какие-то долги по накопленной оценке. Всем, для кого это важно, необходимо придти.
• После показа работ переэкзаменовки состоятся только по предварительному согласованию времени с лектором (Л.Д. Беклемишевым) по электронной почте lbekl@yandex.ru. Не используйте другие адреса электронной почты.

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

Задачи семинаров и домашние задания

• Листок 1 и д/з 1 (pdf)
• Листок 2 и д/з 2 (pdf)
• Листок 3 и д/з 3 (pdf)
• Листок 4 и д/з 4 (pdf)
• Листок 5 (pdf)
• Листок 6 (pdf)

Учебные материалы к лекциям

• Классическая и интуиционистская логика высказываний (pdf)

Рекомендуемая литература:

1. Мендельсон Э. Введение в математическую логику. --- М.: Наука, 1984. --- 320 с.
2. Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. М.: Физматлит, 2002. --- 128 с.
3. Клини С.К. Математическая логика. --- М.: Мир, 1973. --- 480 с.
4. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. --- М.: МЦНМO, 2000. --- 288 с.