Матлогика 1MIT весна 2022 — различия между версиями

Материал из CSC Wiki
Перейти к:навигация, поиск
(Практика)
(Домашние задания)
Строка 66: Строка 66:
 
|-
 
|-
 
| Равномощные множества 2
 
| Равномощные множества 2
| style="color:black" | Влад
+
| style="color:green" | Влад
| style="color:black" | Влад
+
| style="color:green" | Влад
| style="color:black" | Таня
+
| style="color:green" | Таня
 
| style="color:green" | Кирилл
 
| style="color:green" | Кирилл
 
| style="color:green" | Никита
 
| style="color:green" | Никита
 
| style="color:green" | Никита
 
| style="color:green" | Никита
 
|}
 
|}

Версия 16:45, 11 мая 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 книги "Языки и исчисления".


Практика

Задания 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 Влад Влад Таня Кирилл Никита Никита