Hakutulokset
Aihe-ehdotuksia
Aihe-ehdotuksia
- нормальные алгоритмы маркова
- рекурсивные функции 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
Основы теории алгоритмов учебное пособие
Julkaistu Киров, ВятГУ, 2017Hae kokoteksti
Hae kokoteksti
Elektroninen Kirja -
2
Математическая логика и теория алгоритмов учебное пособие
Julkaistu Махачкала, ДГПУ, 2024Hae kokoteksti
Hae kokoteksti
Elektroninen Kirja -
3
Теория алгоритмов учебное пособие
Julkaistu Воронеж, ВГУ, 2021Hae kokoteksti
Hae kokoteksti
Elektroninen Kirja -
4
Математическая логика и теория алгоритмов учебное пособие
Julkaistu Самара, ПГУТИ, 2024Hae kokoteksti
Hae kokoteksti
Elektroninen Kirja