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

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

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


Листок 1. Наивная теория множеств | открыть / скачать (PDF)

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

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

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

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

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

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

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

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

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


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

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

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

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

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