Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
Войти
Семинар 7. Функции k-значной логики. Часть 1
Лекция из курса:
Теория дискретных функций. Семинары
Старостин Михаил Васильевич
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Семинар 7. Функции k-значной логики. Часть 1
Видео закончится через
NaN:NaN
00:00
00:00
00:19
Следующая секция начнется через 04:55
Функции k-значной логики
04:55
Следующая секция начнется через 04:55
Сколько всего функций k-значной логики
07:51
Следующая секция начнется через 04:55
Функции, зависящие от 0 переменных
08:16
Следующая секция начнется через 04:55
Функции, зависящие от 1 переменной
11:58
Следующая секция начнется через 04:55
Функции, зависящие от 2 переменных
18:10
Следующая секция начнется через 04:55
Полная система
35:22
Следующая секция начнется через 04:55
Пример (представление заданной функции в виде универсальной формы)
49:11
Следующая секция начнется через 04:55
Задача (лемма о сводимости)
53:06
Следующая секция начнется через 04:55
Задача (лемма о сводимости)
58:27
Следующая секция начнется через 04:55
Задача (полнота системы)
Свернуть таймкоды
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-значной логики. Часть 1

00:19
Следующая секция начнется через 04:55
Функции k-значной логики
04:55
Следующая секция начнется через 04:55
Сколько всего функций k-значной логики
07:51
Следующая секция начнется через 04:55
Функции, зависящие от 0 переменных
08:16
Следующая секция начнется через 04:55
Функции, зависящие от 1 переменной
11:58
Следующая секция начнется через 04:55
Функции, зависящие от 2 переменных
18:10
Следующая секция начнется через 04:55
Полная система
35:22
Следующая секция начнется через 04:55
Пример (представление заданной функции в виде универсальной формы)
49:11
Следующая секция начнется через 04:55
Задача (лемма о сводимости)
53:06
Следующая секция начнется через 04:55
Задача (лемма о сводимости)
58:27
Следующая секция начнется через 04:55
Задача (полнота системы)
Свернуть таймкоды
Конспект лекции
Семинар 7. Функции k-значной логики. Часть 1
1 / 7