00:00:00 - Критерий Поста 00:35:40 - Базис 00:42:05 - Исчисление высказываний 00:52:32 - Modus ponens 00:57:32 - Общее понятие вывода 01:00:14 - Список аксиом 01:11:17 - Пример Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Карплюк Ксения Монтажёр: Сиомаш Иван Плейлист:
Hide player controls
Hide resume playing