検索結果
関連のトピックス ...
関連のトピックス ...
- нормальные алгоритмы маркова
- рекурсивные функции 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
Математическая логика и теория алгоритмов учебное пособие
出版事項 Махачкала, ДГПУ, 2024全文の入手
全文の入手
電子媒体 図書 -
3
-
4
Математическая логика и теория алгоритмов учебное пособие
出版事項 Самара, ПГУТИ, 2024全文の入手
全文の入手
電子媒体 図書