Функции Аккермана. Пропозициональные формулы

Среда, 12 октября 2011, 18:30–19:50
ПОМИ РАН

Описание

Оценка примитивно рекурсивных функций функцией Аккермана. Функция Аккермана не является примитивно рекурсивной. Перечислимые множества и системы доказательств. Пропозициональные формулы, КНФ, ДНФ. Метод резолюций для исчисления высказываний. Связь с алгоритмами расщепления.