Матлогика 1MIT весна 2022
Лекции
Примерное содержание прощедших и будущих лекций
Лекция 1, "Равномощные множества." (по ссылке конспект 2020 года) Материал покрыт 8 главой книги "Лекции по дискретной математике".
Лекция 2, "Теорема Кантора. Теорема Кантора-Бернщтейна." (по ссылке конспект прошлого года) Материал покрыт 8 главой книги "Лекции по дискретной математике". + Раздел 1.8 книги Начала теории множеств.
Лекция 3, "Упорядоченные множества." Материал покрывается разделами 2.1-2.3 книги "Начала теории множеств". Замечание: теоремы Дилуорса в этом году по сравнению с прошлым нет, но есть определение фундированного множества.
Лекция 4, "Высказывания. Системы логических связок." Материал покрывается разделами 1.1-1.2 книги "Языки и исчисления". (Доказать теорему Поста не успели)
1 Лекция 5, "Теорема Поста. Схемы." Материал покрывается разделом 1.3 книги "Языки и исчисления". Теорема Поста в разделе 1.2 книги "Языки и исчисления".
Лекция 6, "Исчисление высказываний." Материал покрывается разделом 2.1 книги "Языки и исчисления".
Лекция 7, "Теорема о корректности и полноте исчисления высказываний." Материал покрывается разделом 2.1 книги "Языки и исчисления".
Лекция 8, "Теорема о корректности и полноте исчисления высказываний (2-я форма). Теорема о компактности. Интуиционистская логика" Материал покрывается разделом 2.2 и 2.4 книги "Языки и исчисления".
Практика
Группа 2
https://t.me/+QarMUU3vV7plNDVi
Группа 3
https://t.me/+zXaCbwwXe0piYmJi
Группа 4
https://t.me/+CrIQRfQxYiUzODJi
Домашние задания
| ДЗ | 1 | 2 | 3 | 4 | 5 | 6 |
|---|---|---|---|---|---|---|
| Равномощные множества 1 | Кирилл | Таня | Влад | Никита | Таня | Кирилл |
| Равномощные множества 2 | Влад | Влад | Таня | Кирилл | Никита | Никита |
| Упорядоченные множества | Кирилл | Таня | Кирилл | Никита | Никита | Влад |
| Теорема Поста. КНФ. ДНФ. Многочлен Жегалкина | Кирилл | Влад | Влад | TDB | TDB | TDB |
