Myvideo

Guest

Login

Математическая логика и теория алгоритмов 11. Предварённая нормальная форма

Uploaded By: Myvideo
28 views
0
0 votes
0

Таймкоды: 0:00:00 Предварённая нормальная форма 0:02:00 Теорема о существовании предварённой нормальной формы 0:12:30 Замена переменной 0:30:00 Выразимость предикатов 0:34:30 Пример. Следование на множестве натуральных чисел 0:38:00 Пример. Умножение на множестве натуральных чисел 0:46:40 Пример. Отношение подмножества 0:51:20 Пример. Метрическая геометрия 1:00:20 Пример. Оптимизация выражения разности из следования 1:10:00 Вопросы Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Давид Чайлахян Монтажёр: Алексей Чегодаев Плейлист:

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later