Матлогика 1MIT весна 2022

Материал из CSC Wiki
Версия от 17:32, 11 мая 2022; NeKpoT (обсуждение | вклад) (Домашние задания)
Перейти к:навигация, поиск

Лекции

Примерное содержание прощедших и будущих лекций

Лекция 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 книги "Языки и исчисления".


Практика

Задания 08.04.2022

Задания 15.04.2022

Задания 29.04.2022

Группа 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