Математическая логика и теория алгоритмов 5. Базис класса и исчисление высказываний

00:00:00 - Доказательство критерия Поста 00:26:50 - Базис класса 00:29:20 - Базис класса всех функций 00:34:50 - Базисы отдельных классов 00:42:35 - Исчисление высказываний 00:47:30 - Синтаксический вывод 00:49:20 - Аксиомы 01:02:30 - Правила вывода Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube: Плейлист в ВК: