Вопросы и ответы на экзамен по математической логике

Мы видели, что поведение  машины Тьюринга определяется

Р = А Ú В (читается Р есть А или В). Дизъюнкция —

Понятие машины Тьюринга возникает в результате прямой

Импликацией высказываний А и В называется высказывание

В алгебре логики логические формулы рассматриваются

Теорема о функциональной полноте была сформулирована в 1921 г.

Интуитивное понятие алгоритма обладает целым рядом

Логические представления — описание исследуемой системы

Логика как наука сформировалась в 4 в. до н.

Метод резолюции является одним из методов доказательства