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