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