Матлогика 1MIT весна 2022 — различия между версиями
NeKpoT (обсуждение | вклад) (→Домашние задания) |
Bliznets (обсуждение | вклад) (→Лекции) |
||
| (не показано 10 промежуточных версий 2 участников) | |||
| Строка 21: | Строка 21: | ||
Лекция 6, "Исчисление высказываний." | Лекция 6, "Исчисление высказываний." | ||
| − | Материал покрывается разделом 2.1 книги "Языки и исчисления". | + | Материал покрывается разделом 2.1 книги "Языки и исчисления" или [http://ru.discrete-mathematics.org/fall2017/1/logic_pmi/2018/lecture-5-7-prop-calculus.pdf конспект] |
Лекция 7, "Теорема о корректности и полноте исчисления высказываний." | Лекция 7, "Теорема о корректности и полноте исчисления высказываний." | ||
| − | Материал покрывается разделом 2.1 книги "Языки и исчисления". | + | Материал покрывается разделом 2.1 книги "Языки и исчисления" или [http://ru.discrete-mathematics.org/fall2017/1/logic_pmi/2018/lecture-5-7-prop-calculus.pdf конспект] |
| + | |||
| + | Лекция 8, "Теорема о корректности и полноте исчисления высказываний (2-я форма). Теорема о компактности." | ||
| + | Материал покры вается разделом 2.2 и 2.4 книги "Языки и исчисления" или [http://ru.discrete-mathematics.org/fall2017/1/logic_pmi/2018/lecture-5-7-prop-calculus.pdf конспект] | ||
| − | |||
| − | |||
| Строка 37: | Строка 38: | ||
[https://wiki.compscicenter.ru/images/d/da/EX4_2022.pdf Задания 29.04.2022] | [https://wiki.compscicenter.ru/images/d/da/EX4_2022.pdf Задания 29.04.2022] | ||
| + | |||
| + | [https://wiki.compscicenter.ru/images/e/e6/Ex_5_13052022.pdf Задания 13.05.2022] | ||
| + | |||
| + | [https://wiki.compscicenter.ru/images/5/5d/Ex_6_20052022.pdf Задания 20.05.2022] | ||
| + | |||
| + | [https://wiki.compscicenter.ru/images/d/de/Ex7_27052022.pdf Задания 27.05.2022] | ||
== Группа 2 == | == Группа 2 == | ||
| Строка 75: | Строка 82: | ||
| Упорядоченные множества | | Упорядоченные множества | ||
| style="color:black" | Кирилл | | style="color:black" | Кирилл | ||
| − | | style="color:black" | | + | | style="color:black" | Таня |
| style="color:black" | Кирилл | | style="color:black" | Кирилл | ||
| style="color:black" | Никита | | style="color:black" | Никита | ||
| − | | style="color:black" | Никита | + | | style="color:black" | Никита |
| − | | style="color:black" | | + | | style="color:black" | Влад |
|- | |- | ||
| Теорема Поста. КНФ. ДНФ. Многочлен Жегалкина | | Теорема Поста. КНФ. ДНФ. Многочлен Жегалкина | ||
| Строка 85: | Строка 92: | ||
| style="color:black" | Влад | | style="color:black" | Влад | ||
| style="color:black" | Влад | | style="color:black" | Влад | ||
| − | | style="color:black" | | + | | style="color:black" | Таня |
| − | | style="color:black" | | + | | style="color:black" | Никита |
| − | | style="color:black" | | + | | style="color:black" | Никита |
| + | |- | ||
| + | | Схемы | ||
| + | | style="color:black" | Влад | ||
| + | | style="color:black" | Кирилл | ||
| + | | style="color:black" | Таня | ||
| + | | style="color:black" | Таня | ||
| + | | style="color:black" | Никита | ||
| + | | style="color:black" | Никита | ||
| + | |- | ||
| + | | Исчисление высказываний | ||
| + | | style="color:black" | Влад | ||
| + | | style="color:black" | ? | ||
| + | | style="color:black" | ? | ||
| + | | style="color:black" | Никита | ||
| + | | style="color:black" | Никита | ||
| + | | style="color:black" | Никита | ||
|} | |} | ||
Текущая версия на 10:05, 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 книги "Языки и исчисления" или конспект
Практика
Группа 2
https://t.me/+QarMUU3vV7plNDVi
Группа 3
https://t.me/+zXaCbwwXe0piYmJi
Группа 4
https://t.me/+CrIQRfQxYiUzODJi
Домашние задания
| ДЗ | 1 | 2 | 3 | 4 | 5 | 6 |
|---|---|---|---|---|---|---|
| Равномощные множества 1 | Кирилл | Таня | Влад | Никита | Таня | Кирилл |
| Равномощные множества 2 | Влад | Влад | Таня | Кирилл | Никита | Никита |
| Упорядоченные множества | Кирилл | Таня | Кирилл | Никита | Никита | Влад |
| Теорема Поста. КНФ. ДНФ. Многочлен Жегалкина | Кирилл | Влад | Влад | Таня | Никита | Никита |
| Схемы | Влад | Кирилл | Таня | Таня | Никита | Никита |
| Исчисление высказываний | Влад | ? | ? | Никита | Никита | Никита |
