Матлог / Matematicheskaya_logika-1

Тождественная истинность выводимых формул

Полнота и непротиворечивость исчисления предикатов

Понятие алгоритма и основные математические модели алгоритма

Машина Тьюринга и вычисляемая ею функция

Массовые распознавательные задачи

Массовые задачи – это задачи распознавания и оптимизации Примеры массовых задач:

ВЫП (SAT) – задача выполнимости формулы логики высказываний ТЕОРЕМА (THM) – задача доказуемости формулы логики предикатов

Сведение к задаче распознавания языка

Любая распознавательная задача с помощью кодировки сводится к задачам распознавания языка.

Классы языков P и NP

(ТО, ЧТО НИЖЕ, СКОРЕЕ ВСЕГО НЕ НУЖНО)