Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 7. Эквивалентность моделей
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 7. Эквивалентность моделей
Видео закончится через
NaN:NaN
00:00
00:00
00:09
Следующая секция начнется через 04:50
Логическое (семантическое) замыкание.
04:50
Следующая секция начнется через 04:50
Лемма о совпадении логических замыканий теорий.
06:57
Следующая секция начнется через 04:50
Лемма об условиях полноты теории.
23:38
Следующая секция начнется через 04:50
Модели с оценкой.
46:54
Следующая секция начнется через 04:50
Лемма о корректности определения оцененного терма и оцененной формулы.
59:04
Следующая секция начнется через 04:50
Определение эквивалентности моделей.
1:09:42
Следующая секция начнется через 04:50
Лемма. Изоморфность это отношение эквивалентности.
1:14:59
Следующая секция начнется через 04:50
Теорема о значении оцененного терма при преобразованиях.
Свернуть таймкоды
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

Лекция 7. Эквивалентность моделей

00:09
Следующая секция начнется через 04:50
Логическое (семантическое) замыкание.
04:50
Следующая секция начнется через 04:50
Лемма о совпадении логических замыканий теорий.
06:57
Следующая секция начнется через 04:50
Лемма об условиях полноты теории.
23:38
Следующая секция начнется через 04:50
Модели с оценкой.
46:54
Следующая секция начнется через 04:50
Лемма о корректности определения оцененного терма и оцененной формулы.
59:04
Следующая секция начнется через 04:50
Определение эквивалентности моделей.
1:09:42
Следующая секция начнется через 04:50
Лемма. Изоморфность это отношение эквивалентности.
1:14:59
Следующая секция начнется через 04:50
Теорема о значении оцененного терма при преобразованиях.
Свернуть таймкоды
Конспект лекции
Лекция 7. Эквивалентность моделей
1 / Загрузка
материалы
Скачать
Математика / пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»