Bilaketaren emaitzak
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- Алгоритмы, теория 2
- машины Тьюринга 2
- неразрешимые алгоритмические проблемы
- учебные пособия 2
- Математическая логика 1
- высказывания 1
- вычисления 1
- интуиционистская логика 1
- исчисление 1
- метод резолюций 1
- множества 1
- нормальные алгоритмы 1
- перечислимые множества 1
- предикаты 1
- примеры 1
- разрешимые множества 1
- рекурсивные функции 1
- сложность 1
- формальная арифметика 1
- элементарные модели 1
- элементарные теории 1
- элементарные языки 1
-
1
Математическая логика и теория алгоритмов учебное пособие
Argitaratua Москва, Академия, 2013Liburua -
2