Kết quả tìm kiếm
Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
- Алгоритмы, теория 2
- машины Тьюринга 2
- неразрешимые алгоритмические проблемы
- учебные пособия 2
- Математическая логика 1
- высказывания 1
- вычисления 1
- интуиционистская логика 1
- исчисление 1
- метод резолюций 1
- множества 1
- нормальные алгоритмы 1
- перечислимые множества 1
- предикаты 1
- примеры 1
- разрешимые множества 1
- рекурсивные функции 1
- сложность 1
- формальная арифметика 1
- элементарные модели 1
- элементарные теории 1
- элементарные языки 1
-
1
Математическая логика и теория алгоритмов учебное пособие
Được phát hành Москва, Академия, 2013Sách -
2