ТФСиА 2. Теорема дедукции. Лемма Кальмара.
Лекторий ФПМИ
0:00 / 0:00
ТФСиА 2. Теорема дедукции. Лемма Кальмара.
2 464 просмотра · 4 г. назад
Лекторий ФПМИ
66,6 тыс. подписчиков
2 464 просмотра · 4 г. назад
Теория формальных систем и алгоритмов. МФТИ. Физтех-школа прикладной математики и информатики
Дата лекции: 9.09.2022
Лектор: Вялый М.Н.
Съемка: Касьянов Павел
Монтаж: Кервинен Матвей
Конспекты лекций: https://disk.yandex.ru/i/JTsDKjtNDS_Wxg
00:00 - интро
00:05 - начало
03:17 - теорема корректности
07:00 - непротиворечивость систем
16:01 - теорема дедукции
38:23 - лемма Кальмара
