[Лекторий ФПМИ] Математическая логика и теория алгоритмов 6. Лемма о дедукции. Правила вывода
🎯 Загружено автоматически через бота:
🚫 Оригинал видео:
📺 Данное видео является собственностью канала Лекторий ФПМИ. Оно представлено в нашем сообществе исключительно в информационных, научных, образовательных или культурных целях. Наше сообщество не утверждает никаких прав на данное видео. Пожалуйста, поддержите автора, посетив его оригинальный канал: @lectory_fpmi.
✉️ Если у вас есть претензии к авторским правам на данное видео, пожалуйста, свяжитесь с нами по почте support@, и мы немедленно удалим его.
📃 Оригинальное описание:
00:00:00 - Теорема о корректности исчисления высказываний
00:08:15 - Пример вывода
00:15:14 - Лемма о дедукции выводимость из множества формул
00:34:15 - Силлогизм
00:39:07 - Правило сечения
00:48:08 - Правило разбора случаев
00:55:10 - Правило рассуждения от противного
01:00:03 - Правило вывода из противоречия
01:03:02 - Правило контрапозиции
01:09:24 - Закон де Моргана
Дата лекции:
Лектор: Степанов Илья Даниилович
Оператор: Карплюк Ксения
Монтажёр: Сиомаш Иван
Плейлист:
1 view
0
0
2 months ago 01:04:46 1
Лекция: суммаризация текста ()
2 months ago 01:27:11 4
[Лекторий ФПМИ] Теория функций комплексного переменного 21. Решение общей задачи Дирихле