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

Дата лекции: 09.10.2019 Лектор: Мусатов Даниил Владимирович Съёмка: Алёна Быкова Монтаж: Алексей Попов 01:02 - теорема о полноте; 06:36 - основная лемма; 27:27 - совместные и противоречивые множества формул; 29:41 - теорема; 32:15 - теорема о корректности; 59:15 - теорема о компактности для ив; 1:02:25 - картинка кафедры.