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

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 предполных классов