Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 4. Логика I порядка. Синтаксис и семантика
Лекция из курса:
Математическая логика
Яворская Татьяна Леонидовна
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 4. Логика I порядка. Синтаксис и семантика
Видео закончится через
NaN:NaN
00:00
00:00
00:19
Следующая секция начнется через 07:56
Сигнатура. Структура сигнатуры
07:56
Следующая секция начнется через 07:56
Пример 1
10:38
Следующая секция начнется через 07:56
Язык сигнатуры Σ
22:53
Следующая секция начнется через 07:56
Пример 1 (продолжение решения)
27:52
Следующая секция начнется через 07:56
Пример 2
43:03
Следующая секция начнется через 07:56
Пример 3
53:52
Следующая секция начнется через 07:56
Пример 4
1:06:33
Следующая секция начнется через 07:56
Пример 5
Свернуть таймкоды
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

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

00:19
Следующая секция начнется через 07:56
Сигнатура. Структура сигнатуры
07:56
Следующая секция начнется через 07:56
Пример 1
10:38
Следующая секция начнется через 07:56
Язык сигнатуры Σ
22:53
Следующая секция начнется через 07:56
Пример 1 (продолжение решения)
27:52
Следующая секция начнется через 07:56
Пример 2
43:03
Следующая секция начнется через 07:56
Пример 3
53:52
Следующая секция начнется через 07:56
Пример 4
1:06:33
Следующая секция начнется через 07:56
Пример 5
Свернуть таймкоды