Материалы для группы 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/6/22) | открыть / скачать (PDF)
Материалы к лекции 6. Построение модели теории в логике отношений (обновлено 17/3/23)
Задачи без решений (PDF) | Задачи с решениями (PDF)