x 1.00
Скачать видео

Лекция 6. Теорема Поста о полноте

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