Refine your search
Availability
-
Bibliographic level
- Книги (4)
-
Authors
- Босс, Валерий (2)
- Арсланов, М. М. (1)
- Верещагин, Николай Константинович (1)
- Соар, Роберт И. (1)
-
Locations
-
Item types
- Выдается в читальный зал (3)
- 1 месяц (2)
- 6 месяцев (1)
- Выдается по месту хранения (1)
-
Topics
- степени неразрешимости (4)
- Тьюринга машины (3)
- математическая логика (3)
- множества универсальные (3)
- Геделя теорема (2)
- Геделя теорема вторая, доказательство (2)
- Геделя теоремы (2)
- Гильберта десятая проблема (2)
- аксиоматические теории (2)
- алгоритмы, теория (2)
- арифметическая иерархия (2)
- вычислимость (2)
- диофантовы множества (2)
- доказуемость (2)
- математика конструктивная (2)
- неполнота арифметики (2)
- теория моделей (2)
- точка неподвижная, теорема (2)
- учебные издания для вузов (2)
- функции универсальные (мат.) (2)
- Аккермана функция (1)
- Клини теорема (1)
- Мучника-Фридберга теорема (1)
- Поста конструкции (1)
- Поста теорема (1)
- Тарского теорема (1)
- Функции (мат.) вычислимые (1)
- алгоритмы (1)
- алгоритмы вычисляющие (1)
- вычислимые множества (1)
- вычислительные модели (1)
- доказательств теория (1)
- задачи по математической логике (1)
- исчисления ассоциативные (1)
- исчисления двусторонние (1)
- кванторы (1)
- конечные множества (1)
- множества m-полные (1)
- множества перечислимые (1)
- множества продуктивные (1)
- множества простые (1)
- множества разрешимые (1)
- множества рекурсивные (1)
- нумерации (1)
- относительная вычислимость (1)
- полугруппы (1)
- простые множества (1)
- рекурсивные функции (1)
- рекурсии (1)
- теорема о неподвижной точке (1)
- Show more
- Show less