Математическая логика и теория алгоритмов 6. Лемма о дедукции. Правила вывода
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 - Закон де Моргана
Дата лекции: 11.10.23
Лектор: Степанов Илья Даниилович
Оператор: Карплюк Ксения
Монтажёр: Сиомаш Иван
Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvap4WZdKoNvmJYxDZgGmkhc
Видео Математическая логика и теория алгоритмов 6. Лемма о дедукции. Правила вывода канала Лекторий ФПМИ
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 - Закон де Моргана
Дата лекции: 11.10.23
Лектор: Степанов Илья Даниилович
Оператор: Карплюк Ксения
Монтажёр: Сиомаш Иван
Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvap4WZdKoNvmJYxDZgGmkhc
Видео Математическая логика и теория алгоритмов 6. Лемма о дедукции. Правила вывода канала Лекторий ФПМИ
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Дискретный анализ 1. Кнезеровские графыГармонический анализ 1. Ряды ФурьеМногомерный анализ, интегралы и ряды 1. Дифференцируемая функция. Дифференциал. Градиент.Алгоритмы и структуры данных (базовый поток) 15. Вычислительная геометрия на плоскости.Введение в топологию 11. Кусочно-линейное отображение. Теорема Брауэра.Введение в математический анализ 29. Кривизна кривой и соприкасающаяся окружность.Метапрограммирование 10 (семинар). Реализация std::any без виртуальных функцийДискретный анализ 14. Алгоритм AKS, часть 2C++ 6. xvalues, RVO, copy elision, move_if_noexceptC++ 13. Objects as non-type template parameters / consteval / std::is_constant_evaluatedСлучайные процессы 11. Цепи МарковаДифференциальные уравнения 14. Геодезические задачиДифференциальные уравнения 13. Изопериметрические задачиДифференциальные уравнения 12. Необходимые условия экстремума функционала для разных задачАлгоритмы (базовый поток) 13. Потоки-2Функциональный анализ 13. Свёртка в L1(R)Программирование основных алгоритмов 12. Суффиксный автомат (2). Быстрое преобразование Фурье (FFT)Алгоритмы и структуры данных 14. ДекомпозицияАлгоритмы и структуры данных 13. Центры и центроидыОКТЧ 14. Последовательности де БрёйнаОКТЧ 13. Эйлеровость графа. Гамильтоновость графа. Теорема Эрдеша-Хватала