Материалы для группы 141 (второй семестр 2021/2022)

Контакты преподавателей:

• Семенов Алексей Львович alexei.semenov@math.msu.ru

• Сопрунов Сергей Федорович soprunov@mail.ru

• Яворская Татьяна Леонидовна t.l.yavorskaya@gmail.com

• Вишникин Максим maksim.vishnikin@math.msu.ru

• Кондратьев Владимир Владимирович vladimir.kondratiev@math.msu.ru

---

Материалы к лекции 1. Наивная теория множеств (обновлено 24/6/22)| открыть / скачать (PDF)

Материалы к лекции 2. Вполне упорядоченные множества (обновлено 24/6/22) | открыть / скачать (PDF)

Материалы к лекции 3. Логические языки (обновлено 24/6/22) | открыть / скачать (PDF)

Материалы к лекции 4. Элиминация кванторов (обновлено 24/6/22) | открыть / скачать (PDF)

Материалы к лекции 5. Модальная логика (обновлено 24/6/22) | открыть / скачать (PDF)

Материалы к лекции 6. Построение модели теории логики отношений (обновлено 24/6/22) | открыть / скачать (PDF)

Материалы к лекции 7. Теория моделей. Определения и примеры (обновлено 24/6/22) | открыть / скачать (PDF)

Материалы к лекции 8. Элементарные расширения (обновлено 24/6/22) | открыть / скачать (PDF)

Материалы к лекции 9. Полные теории (обновлено 24/6/22) | открыть / скачать (PDF)

Материалы к лекции 10. Решетка определимости. Автоморфизмы (обновлено 24/6/22) | открыть / скачать (PDF)

Материалы к лекции 11. Формализация математики. Неполнота (выложено 25/6/22) | открыть / скачать (PDF)

Материалы к лекции 12. Вычислимость (выложено 25/6/22) | открыть / скачать (PDF)

Программа: темы и вопросы курса | открыть / скачать (PDF)

---

Ссылка на презентацию о Константинове: | открыть / скачать (PPT)

Ссылка на шаблон в Оверлиф: www.overleaf.com/3435461295gbscmnhpkbbg

Ссылка на описание ТЕХ: www.ccas.ru/voron/download/voron05latex.pdf

Ссылка на «Таблицу успеваемости»: Ссылка

Ссылка на видео консультации, проведенной 23 апреля 2022 г.: | открыть / скачать (MOV)

Билеты для экзамена | открыть / скачать (PDF)