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

Материал из CSC Wiki
Перейти к:навигация, поиск
(Домашние задания)
(Лекции)
 
(не показано 8 промежуточных версий 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 конспект]
  
Лекция 8, "Теорема о корректности и полноте исчисления высказываний (2-я форма). Теорема о компактности. Интуиционистская логика"
 
Материал покрывается разделом 2.2 и 2.4 книги "Языки и исчисления".
 
  
  
Строка 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 ==
Строка 85: Строка 92:
 
| style="color:black" | Влад
 
| style="color:black" | Влад
 
| style="color:black" | Влад
 
| style="color:black" | Влад
| style="color:black" | TDB
+
| style="color:black" | Таня
| style="color:black" | TDB
+
| style="color:black" | Никита
| style="color:black" | TDB
+
| 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 книги "Языки и исчисления" или конспект


Практика

Задания 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 Влад Влад Таня Кирилл Никита Никита
Упорядоченные множества Кирилл Таня Кирилл Никита Никита Влад
Теорема Поста. КНФ. ДНФ. Многочлен Жегалкина Кирилл Влад Влад Таня Никита Никита
Схемы Влад Кирилл Таня Таня Никита Никита
Исчисление высказываний Влад ? ? Никита Никита Никита