Sökresultat
Rekommenderade teman
Rekommenderade teman
- Алгоритмы, теория 2
- машины Тьюринга 2
- неразрешимые алгоритмические проблемы
- учебные пособия 2
- Математическая логика 1
- высказывания 1
- вычисления 1
- интуиционистская логика 1
- исчисление 1
- метод резолюций 1
- множества 1
- нормальные алгоритмы 1
- перечислимые множества 1
- предикаты 1
- примеры 1
- разрешимые множества 1
- рекурсивные функции 1
- сложность 1
- формальная арифметика 1
- элементарные модели 1
- элементарные теории 1
- элементарные языки 1
-
1
-
2