Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

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


Что: Лекция
Когда: Среда, 12 октября 2011, 18:30–19:50
Где: ПОМИ РАН

Описание

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

Видео