Кафедра математической логики и теории алгоритмов

Материалы для группы 141

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


Материалы к лекции 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)