лекция 5 | Вычислимость и логика | Дмитрий Ицыксон | CSC | Лекториум

Вычислимость и логика, лекция 5, Курс: Вычислимость и логика, Лектор: Дмитрий Ицыксон, Организаторы: -Computer Science Center Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13375 Функция Аккермана. Пропозициональные формулы.Оценка примитивно рекурсивных функций функцией Аккермана. Функция Аккермана не является примитивно рекурсивной. Перечислимые множества и системы доказательств. Пропозициональные формулы, КНФ, ДНФ. Метод резолюций для исчисления высказываний. Связь с алгоритмами расщепле