Refine your search
Availability
-
bib-level
- m (8)
-
Authors
-
Locations
- Книгохранилище (4)
- Читальный зал 5 (5)
-
Item types
-
Topics
- NP-полные массовые проблемы (2)
- Геделя теорема вторая, доказательство (2)
- Геделя теорема о неполноте (2)
- Геделя теоремы (2)
- Гильберта десятая проблема (4)
- Евклида алгоритм (2)
- Маркова алгоритмы нормальные (2)
- Тарского теорема (3)
- Тьюринга машины (6)
- Черча тезис (2)
- аксиоматические теории (2)
- алгоритмическая сложность математических теорий разрешимых (2)
- алгоритмически неразрешимые проблемы массовые (2)
- диофантовы множества (3)
- доказуемость (3)
- математическая логика (4)
- множества универсальные (3)
- степени неразрешимости (3)
- учебные издания для вузов (3)
- функции универсальные (5)
- Show more
- Show less