Лекция 9. Выводимость в логике I порядка. Исчисление предикатов | Открытые видеолекции учебных курсов МГУ

Лекция 9. Выводимость в логике I порядка. Исчисление предикатов

Лекция из курса:

Математическая логика

Яворская Татьяна Леонидовна

Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.

Лекция 9. Выводимость в логике I порядка. Исчисление предикатов

Видео закончится через

NaN:NaN

00:00

00:00

00:19

Следующая секция начнется через 03:54

Логика высказываний

03:54

Следующая секция начнется через 03:54

Аналогичное исчисление для логики I порядка

15:28

Следующая секция начнется через 03:54

Пример 1

18:28

Следующая секция начнется через 03:54

Пример 2

21:50

Следующая секция начнется через 03:54

Пример 3

23:54

Следующая секция начнется через 03:54

Пример 4

26:06

Следующая секция начнется через 03:54

Пример 5

40:01

Следующая секция начнется через 03:54

Пример 6

46:59

Следующая секция начнется через 03:54

Как связаны выводимость и логическое следование?

53:13

Следующая секция начнется через 03:54

Примеры

Свернуть таймкоды

00:00

00:00

Скорость

Качество

00:00

00:00

Скорость

Качество

Лекция 9. Выводимость в логике I порядка. Исчисление предикатов

Предыдущая лекция

Лекция 8. Логика предикатов с равенством

Следующая лекция

Лекция 10. Теорема о компактности и её следствия