Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
Войти
Лекция 7. Обобщение алгебры логики. k-значная логика
Лекция из курса:
Дискретная математика
Алексеев Валерий Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 7. Обобщение алгебры логики. k-значная логика
Видео закончится через
NaN:NaN
00:00
00:00
00:10
Следующая секция начнется через 31:59
Теорема о существовании в точности 5 предполных классов
31:59
Следующая секция начнется через 31:59
Обобщение алгебры логики. k-значная логика
41:24
Следующая секция начнется через 31:59
Теорема (в k-значной логике тоже есть конечные полные системы)
1:00:13
Следующая секция начнется через 31:59
Операции сложения и умножения по модулю k
1:03:01
Следующая секция начнется через 31:59
Отрицание Поста
1:04:01
Следующая секция начнется через 31:59
Отрицание Лукашевича
1:05:50
Следующая секция начнется через 31:59
Теорема о верности представления (2 форма)
1:13:13
Следующая секция начнется через 31:59
Утверждение
Свернуть таймкоды
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. Обобщение алгебры логики. k-значная логика

00:10
Следующая секция начнется через 31:59
Теорема о существовании в точности 5 предполных классов
31:59
Следующая секция начнется через 31:59
Обобщение алгебры логики. k-значная логика
41:24
Следующая секция начнется через 31:59
Теорема (в k-значной логике тоже есть конечные полные системы)
1:00:13
Следующая секция начнется через 31:59
Операции сложения и умножения по модулю k
1:03:01
Следующая секция начнется через 31:59
Отрицание Поста
1:04:01
Следующая секция начнется через 31:59
Отрицание Лукашевича
1:05:50
Следующая секция начнется через 31:59
Теорема о верности представления (2 форма)
1:13:13
Следующая секция начнется через 31:59
Утверждение
Свернуть таймкоды
Конспект лекции
Лекция 7. Обобщение алгебры логики. k-значная логика
1 / Загрузка