Refine your search
Availability
-
Bibliographic level
- Книги (10)
-
Authors
- Игошин, Владимир Иванович (2)
- Агибалов, Геннадий Петрович (1)
- Адян, Сергей Иванович (1)
- Герасимов, Александр Сергеевич (1)
- Латотин, Леонид Александрович (1)
- Макаренков, Юрий Алексеевич (1)
- Малинин, Леонид Иванович (1)
- Малинина, Наталия Леонидовна (1)
- Матрос, Дмитрий Шаевич (1)
- Мендельсон, Эллиот (1)
- Николаева, Валентина Владимировна (1)
- Панкратова, Ирина Анатольевна (1)
- Поднебесова, Галина Борисовна (1)
- Сибирякова, Валентина Александровна (1)
- Столяр, Абрам Аронович (1)
- Цветков, Игорь Анатольевич (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (4)
- 1 месяц (4)
- Выдается по месту хранения (4)
- 6 месяцев (3)
-
Topics
- Маркова алгоритмы нормальные (9)
- Тьюринга машины (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)
- NP-задачи трудные (1)
- NP-полные задачи, теория (1)
- Математическая логика (1)
- Математическая логика - Учебники и пособия (1)
- Поста машина (1)
- Тьюринга алгоритмы (1)
- Тьюринга машина (1)
- Хоара исчисление (1)
- Цермело-Френкеля теория множеств (1)
- Эрбрана-Геделя вычислимость (1)
- Show more
- Show less
-
Collections