Лекторий ФПМИ Математическая логика и теория алгоритмов 5. Критерий Поста. Исчисление высказываний

🎯 Загружено автоматически через бота: 🚫 Оригинал видео: 📺 Данное видео является собственностью канала Лекторий ФПМИ. Оно представлено в нашем сообществе исключительно в информационных, научных, образовательных или культурных целях. Наше сообщество не утверждает никаких прав на данное видео. Пожалуйста, поддержите автора, посетив его оригинальный канал: @lectory_fpmi. ✉️ Если у вас есть претензии к авторским правам на данное видео, пожалуйста, свяжитесь с нами по почте support@, и мы немедленно удалим его. 📃 Оригинальное описание: 00:00:00 - Критерий Поста 00:35:40 - Базис 00:42:05 - Исчисление высказываний 00:52:32 - Modus ponens 00:57:32 - Общее понятие вывода 01:00:14 - Список аксиом 01:11:17 - Пример Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Карплюк Ксения Монтажёр: Сиомаш Иван Плейлист: