Материалы для группы 141
Контакты преподавателей:
- Семенов Алексей Львович alexei.semenov@math.msu.ru
- Сопрунов Сергей Федорович soprunov@mail.ru
- Яворская Татьяна Леонидовна t.l.yavorskaya@gmail.com
- Вишникин Максим maksim.vishnikin@math.msu.ru
- Кондратьев Владимир Владимирович vladimir.kondratiev@math.msu.ru
Материалы к лекции 1. Наивная теория множеств (обновлено 23/2/23)
Задачи без решений (PDF) | Задачи с решениями (PDF)
Материалы к лекции 2. Вполне упорядоченные множества (обновлено 23/2/23)
Задачи без решений (PDF) | Задачи с решениями (PDF)
Материалы к лекции 3. Логические языки (обновлено 2/3/23)
Задачи без решений (PDF) | Задачи с решениями (PDF)
Материалы к лекции 4. Элиминация кванторов в поле действительных чисел (обновлено 10/3/23)
Задачи без решений (PDF) | Задачи с решениями (PDF)
Материалы к лекции 5. Модальная логика (обновлено 24/3/23)
Задачи без решений (PDF) | Задачи с решениями (PDF)
Материалы к лекции 6. Построение модели теории в логике отношений (обновлено 17/3/23)
Задачи без решений (PDF) | Задачи с решениями (PDF)
Материалы к лекции 7. Теория моделей. Определения и примеры (обновлено 31/3/23)
Задачи без решений (PDF) | Задачи с решениями (PDF)
Материалы к лекции 8. Структуры и теории. Элементарные расширения (обновлено 14/4/23)
Задачи без решений (PDF) | Задачи с решениями (PDF)
Материалы к лекции 9. Полные теории (обновлено 14/4/23)
Задачи без решений (PDF) | Задачи с решениями (PDF)
Материалы к лекции 10. Решётка определимости. Автоморфизмы (обновлено 20/4/23)
Задачи без решений (PDF) | Задачи с решениями (PDF)
Материалы к лекции 11. Формализация математики. Неполнота (выложено 25/6/22)
Материалы к лекции 12. Исчисления и алгоритмы (обновлено 01/5/23)
Задачи без решений (PDF) | Задачи с решениями (PDF)