Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 11. Исчисление предикатов
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 11. Исчисление предикатов
Видео закончится через
NaN:NaN
00:00
00:00
00:47
Следующая секция начнется через 13:33
Системы гильбертовского типа.
13:33
Следующая секция начнется через 13:33
Лемма 11.1 Свойства отношения выводимости. Эквивалентна лемме 4.2.
14:16
Следующая секция начнется через 13:33
Лемма 11.2 Если в исчислении высказываний выводится формула A то в исчислении предикатов выводится S подстановка.
19:35
Следующая секция начнется через 13:33
Лемма 11.3 Справедливость некоторых правил, в том числе правила Бернайса (ослабленные).
27:45
Следующая секция начнется через 13:33
Лемма 11.4 О независимости обозначения переменных.
31:44
Следующая секция начнется через 13:33
Теорема о дедукции.
35:45
Следующая секция начнется через 13:33
Лемма 11.5 Теорема о дедукции без правила обобщения.
37:40
Следующая секция начнется через 13:33
Лемма 11.6 Правило вывода.
39:22
Следующая секция начнется через 13:33
Лемма 11.7 Допустимость правила Бернайса.
53:21
Следующая секция начнется через 13:33
Теорема 11.10 о корректности.
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

Лекция 11. Исчисление предикатов

00:47
Следующая секция начнется через 13:33
Системы гильбертовского типа.
13:33
Следующая секция начнется через 13:33
Лемма 11.1 Свойства отношения выводимости. Эквивалентна лемме 4.2.
14:16
Следующая секция начнется через 13:33
Лемма 11.2 Если в исчислении высказываний выводится формула A то в исчислении предикатов выводится S подстановка.
19:35
Следующая секция начнется через 13:33
Лемма 11.3 Справедливость некоторых правил, в том числе правила Бернайса (ослабленные).
27:45
Следующая секция начнется через 13:33
Лемма 11.4 О независимости обозначения переменных.
31:44
Следующая секция начнется через 13:33
Теорема о дедукции.
35:45
Следующая секция начнется через 13:33
Лемма 11.5 Теорема о дедукции без правила обобщения.
37:40
Следующая секция начнется через 13:33
Лемма 11.6 Правило вывода.
39:22
Следующая секция начнется через 13:33
Лемма 11.7 Допустимость правила Бернайса.
53:21
Следующая секция начнется через 13:33
Теорема 11.10 о корректности.
Свернуть таймкоды
Конспект лекции
Лекция 11. Исчисление предикатов
1 / Загрузка
материалы
Скачать
Математика / пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»