Resultats de la cerca
Matèries dins de la cerca
Matèries dins de la cerca
- нормальные алгоритмы маркова
- рекурсивные функции 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
Основы теории алгоритмов учебное пособие
Publicat Киров, ВятГУ, 2017Obtenir text complet
Obtenir text complet
Electrònic Llibre -
2
Математическая логика и теория алгоритмов учебное пособие
Publicat Махачкала, ДГПУ, 2024Obtenir text complet
Obtenir text complet
Electrònic Llibre -
3
Теория алгоритмов учебное пособие
Publicat Воронеж, ВГУ, 2021Obtenir text complet
Obtenir text complet
Electrònic Llibre -
4
Математическая логика и теория алгоритмов учебное пособие
Publicat Самара, ПГУТИ, 2024Obtenir text complet
Obtenir text complet
Electrònic Llibre