Используя данный сайт, вы даёте согласие на
использование файлов cookie
. С их помощью мы делаем Лекторий удобнее для вас.
Закрыть
Курсы
Лекторы
Материалы
О проекте
Курсы
Лекторы
Материалы
О проекте
О проекте
Вход
Войти
Лекция 14. Временная логика
Лекция из курса:
Математическая логика
Яворская Татьяна Леонидовна
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 14. Временная логика
Видео закончится через
NaN:NaN
00:00
00:00
00:19
Следующая секция начнется через
06:37
Язык с двумя модальностями необходимости
06:37
Следующая секция начнется через
06:37
Пример 1
11:03
Следующая секция начнется через
06:37
Пример 2
16:17
Следующая секция начнется через
06:37
Минимальная временная логика
27:39
Следующая секция начнется через
06:37
Формулы и свойства шкал
1:14:57
Следующая секция начнется через
06:37
Логика since/until
Свернуть таймкоды
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
Лекция 14. Временная логика
00:19
Следующая секция начнется через
06:37
Язык с двумя модальностями необходимости
06:37
Следующая секция начнется через
06:37
Пример 1
11:03
Следующая секция начнется через
06:37
Пример 2
16:17
Следующая секция начнется через
06:37
Минимальная временная логика
27:39
Следующая секция начнется через
06:37
Формулы и свойства шкал
1:14:57
Следующая секция начнется через
06:37
Логика since/until
Свернуть таймкоды
Предыдущая лекция
13
Лекция 13. Минимальная модальная логика К и другие логики
00:52:55
Следующая лекция
15
Лекция 15. Теория алгоритмов. Разрешимое и перечислимое множество
01:26:42
x
Нашли ошибку или баг? Сообщите нам!
Ваши комментарии о найденых ошибках в лекциях, конспектах или о баге
Отправить