Вычислимость и логика. Лекция 5
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
11.10.11
Дата публикации:
11.10.11
Код для блога:
Функция Аккермана. Пропозициональные формулы
Оценка примитивно рекурсивных функций функцией Аккермана. Функция Аккермана не является примитивно рекурсивной. Перечислимые множества и системы доказательств. Пропозициональные формулы, КНФ, ДНФ. Метод резолюций для исчисления высказываний. Связь с алгоритмами расщепления.
Страница лекции на сайте Computer Science Center
Другие лекции курса
10