Лекция 4: Критерий полноты
- Подробности
- Категория: Дискретный анализ от НОУ ИНТУИТ
Лемма о нелинейной функции. Критерий полноты. Предполные классы функций алгебры логики. Следствия из критерия полноты. Представление о результатах Поста.
Лемма о нелинейной функции. Критерий полноты. Предполные классы функций алгебры логики. Следствия из критерия полноты. Представление о результатах Поста.