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

Лекция 5. Логика I порядка. Общезначимость. Эквивалентность

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

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

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

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

Лекция 5. Логика I порядка. Общезначимость. Эквивалентность

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

NaN:NaN

00:00

00:00

00:19

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

Сигнатура. Структура сигнатуры

08:09

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

Общезначимость

27:54

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

Эквивалентность

34:17

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

Основные эквивалентности

44:55

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

Примеры

1:02:39

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

Задача

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

00:00

00:00

Скорость

Качество

00:00

00:00

Скорость

Качество

Лекция 5. Логика I порядка. Общезначимость. Эквивалентность

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

Лекция 4. Логика I порядка. Синтаксис и семантика

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

Лекция 6. Логика I порядка. Выразимость. Изоморфизм