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