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

Материал из CSC Wiki
Версия от 10:05, 11 июня 2022; Bliznets (обсуждение | вклад) (Лекции)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к:навигация, поиск

Лекции

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

Лекция 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

Задания 13.05.2022

Задания 20.05.2022

Задания 27.05.2022

Группа 2

https://t.me/+QarMUU3vV7plNDVi

Группа 3

https://t.me/+zXaCbwwXe0piYmJi

Группа 4

https://t.me/+CrIQRfQxYiUzODJi

Домашние задания

ДЗ 1 2 3 4 5 6
Равномощные множества 1 Кирилл Таня Влад Никита Таня Кирилл
Равномощные множества 2 Влад Влад Таня Кирилл Никита Никита
Упорядоченные множества Кирилл Таня Кирилл Никита Никита Влад
Теорема Поста. КНФ. ДНФ. Многочлен Жегалкина Кирилл Влад Влад Таня Никита Никита
Схемы Влад Кирилл Таня Таня Никита Никита
Исчисление высказываний Влад ? ? Никита Никита Никита