Bilaketaren emaitzak
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- нормальные алгоритмы маркова
- рекурсивные функции 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
Основы теории алгоритмов учебное пособие
Argitaratua Киров, ВятГУ, 2017Testu osoa
Testu osoa
Baliabide elektronikoa Liburua -
2
Математическая логика и теория алгоритмов учебное пособие
Argitaratua Махачкала, ДГПУ, 2024Testu osoa
Testu osoa
Baliabide elektronikoa Liburua -
3
Теория алгоритмов учебное пособие
Argitaratua Воронеж, ВГУ, 2021Testu osoa
Testu osoa
Baliabide elektronikoa Liburua -
4
Математическая логика и теория алгоритмов учебное пособие
Argitaratua Самара, ПГУТИ, 2024Testu osoa
Testu osoa
Baliabide elektronikoa Liburua