Алексеев В. Б. - Дискретная математика - Теорема Поста по полноте
КОНЧИК! Щелкните правой кнопкой мыши и выберите "Save link as..." для загрузки.
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 предполных классов