Алексеев В. Б. - Дискретная математика - Теорема Поста по полноте

0:00:10 1. Лемма о немонотонной функции
0:16:10 2. Лемма о нелинейной функции
0:34:14 3. Теорема Поста по полноте
0:57:56 4. Базис
1:01:01 5. Теорема, что максимальное число функция в базисе Р2 равно 4
1:19:47 6. Предполный класс множеств функций алгебры логики
1:21:59 7. Теорема о существовании в точности 5 предполных классов

Видео Алексеев В. Б. - Дискретная математика - Теорема Поста по полноте канала teach-in