Лекция 4: Критерий полноты

Подробности

Категория: Дискретный анализ от НОУ ИНТУИТ

Лемма о нелинейной функции. Критерий полноты. Предполные классы функций алгебры логики. Следствия из критерия полноты. Представление о результатах Поста.