Torthaí cuardaigh - Ярахмедов Г. А.

аксиоматические теории алгебра множеств алгоритмы булева алгебра булевы функции взаимно обратные теоремы высказывания вычислимые и рекурсивные функции вычислимые функции закон двойственности машины тьюринга методы математической логики и теории алгоритмов для пополнения и представления знаний множества нормальные алгоритмы маркова нормальные формы булевых функций общезначимости и выполнимости формул операции над множествами операции над предикатами переключательных схем переменных полные системы операций понятие выводимости правила вывода предикаты принцип соответствия в математической логике и теории множеств равносильные формулы разрешимые и перечислимые множества свойства формализованного исчисления высказываний система аксиом формализованного исчисления высказываний системы булевых функций