檢索結果
在您的搜尋 主題建議
在您的搜尋 主題建議
- аксиоматические теории 1
- алгебра множеств 1
- алгоритмы 1
- булева алгебра 1
- булевы функции 1
- взаимно обратные теоремы 1
- высказывания 1
- вычислимые и рекурсивные функции 1
- вычислимые функции 1
- закон двойственности 1
- машины тьюринга 1
- методы математической логики и теории алгоритмов для пополнения и представления знаний 1
- множества 1
- нормальные алгоритмы маркова 1
- нормальные формы булевых функций 1
- общезначимости и выполнимости формул 1
- операции над множествами 1
- операции над предикатами 1
- переключательных схем 1
- переменных 1
- полные системы операций 1
- понятие выводимости 1
- правила вывода 1
- предикаты 1
- принцип соответствия в математической логике и теории множеств 1
- равносильные формулы 1
- разрешимые и перечислимые множества 1
- свойства формализованного исчисления высказываний 1
- система аксиом формализованного исчисления высказываний 1
- системы булевых функций
-
1