Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 6. Логика предикатов
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 6. Логика предикатов
Видео закончится через
NaN:NaN
00:00
00:00
00:09
Следующая секция начнется через 14:14
Логика предикатов. Различие пропозициональной логики от логики предикатов. Определение понятий.
14:14
Следующая секция начнется через 14:14
Термы.
24:02
Следующая секция начнется через 14:14
Сигнатура колец (арифметическая).
31:02
Следующая секция начнется через 14:14
Лемма об однозначном анализе.
39:38
Следующая секция начнется через 14:14
Определение формул.
44:54
Следующая секция начнется через 14:14
Восстановление пропущенной части.
45:21
Следующая секция начнется через 14:14
Семантика. Модель сигнатуры.
50:35
Следующая секция начнется через 14:14
Замкнутые термы.
55:41
Следующая секция начнется через 14:14
Лемма об определении значения терма.
59:56
Следующая секция начнется через 14:14
Лемма об однозначном определении замкнутой формулы.
1:05:49
Следующая секция начнется через 14:14
Замкнутые формулы.
1:11:16
Следующая секция начнется через 14:14
Теория-определение.
1:17:16
Следующая секция начнется через 14:14
Логическое (семантическое) следование.
1:19:47
Следующая секция начнется через 14:14
Свойства теории.
Свернуть таймкоды
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

Лекция 6. Логика предикатов

00:09
Следующая секция начнется через 14:14
Логика предикатов. Различие пропозициональной логики от логики предикатов. Определение понятий.
14:14
Следующая секция начнется через 14:14
Термы.
24:02
Следующая секция начнется через 14:14
Сигнатура колец (арифметическая).
31:02
Следующая секция начнется через 14:14
Лемма об однозначном анализе.
39:38
Следующая секция начнется через 14:14
Определение формул.
44:54
Следующая секция начнется через 14:14
Восстановление пропущенной части.
45:21
Следующая секция начнется через 14:14
Семантика. Модель сигнатуры.
50:35
Следующая секция начнется через 14:14
Замкнутые термы.
55:41
Следующая секция начнется через 14:14
Лемма об определении значения терма.
59:56
Следующая секция начнется через 14:14
Лемма об однозначном определении замкнутой формулы.
1:05:49
Следующая секция начнется через 14:14
Замкнутые формулы.
1:11:16
Следующая секция начнется через 14:14
Теория-определение.
1:17:16
Следующая секция начнется через 14:14
Логическое (семантическое) следование.
1:19:47
Следующая секция начнется через 14:14
Свойства теории.
Свернуть таймкоды
Конспект лекции
Лекция 6. Логика предикатов
1 / Загрузка
материалы
Скачать
Математика / пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»