Torthaí cuardaigh
Topaicí molta laistigh de do chuardach.
Topaicí molta laistigh de do chuardach.
- Алгоритмы, теория 2
- машины Тьюринга 2
- неразрешимые алгоритмические проблемы
- учебные пособия 2
- Математическая логика 1
- высказывания 1
- вычисления 1
- интуиционистская логика 1
- исчисление 1
- метод резолюций 1
- множества 1
- нормальные алгоритмы 1
- перечислимые множества 1
- предикаты 1
- примеры 1
- разрешимые множества 1
- рекурсивные функции 1
- сложность 1
- формальная арифметика 1
- элементарные модели 1
- элементарные теории 1
- элементарные языки 1
-
1
Математическая логика и теория алгоритмов учебное пособие
Foilsithe / Cruthaithe Москва, Академия, 2013LEABHAR -
2
Теория алгоритмов учебное пособие для вузов
Foilsithe / Cruthaithe Калинин, Изд-во КГУ, 1983LEABHAR