Матлогика 7. Полнота исчисления высказываний (продолжение). Непротиворечивость и совместность.

Описание к видео Матлогика 7. Полнота исчисления высказываний (продолжение). Непротиворечивость и совместность.

Дата лекции: 09.10.2019
Лектор: Мусатов Даниил Владимирович
Съёмка: Алёна Быкова
Монтаж: Алексей Попов

01:02 - теорема о полноте;
06:36 - основная лемма;
27:27 - совместные и противоречивые множества формул;
29:41 - теорема;
32:15 - теорема о корректности;
59:15 - теорема о компактности для ив;
1:02:25 - картинка кафедры.

Комментарии

Информация по комментариям в разработке

Похожие видео