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