Refine your search
Availability
-
Bibliographic level
- Книги (8)
-
Authors
- Игошин, Владимир Иванович (2)
- Стинрод, Норман (2)
- Чинн, Уильям (2)
- Верещагин, Николай Константинович (1)
- Горин, Е. А (1)
- Диаку, Флорин (1)
- Рудин, Уолтер (1)
- Холмс, Филип (1)
- Чуешев, Александр Викторович (1)
- Яглом, Исаак Моисеевич (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (6)
- Выдается по месту хранения (3)
- 1 неделя (1)
- 1 месяц (1)
- 6 месяцев (1)
-
Topics
- теорема о неподвижной точке (7)
- Тарского теорема (3)
- Тьюринга машины (3)
- множества перечислимые (3)
- множества разрешимые (3)
- учебные пособия для вузов (3)
- функции рекурсивные (3)
- функции универсальные (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)
- Show more
- Show less
-
Collections