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