Refine your search
Availability
-
Bibliographic level
- Книги (19)
-
Authors
- Яблонский, Сергей Всеволодович (3)
- Гаврилов, Гарий Петрович (2)
- Зюзьков, Валентин Михайлович (2)
- Игошин, Владимир Иванович (2)
- Сапоженко, Александр Антонович (2)
- Адян, Сергей Иванович (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
-
Locations
-
Item types
- Выдается в читальный зал (11)
- 6 месяцев (8)
- 1 месяц (7)
- Выдается по месту хранения (6)
- 1 неделя (2)
-
Topics
- функции вычислимые (15)
- Тьюринга машины (10)
- учебные пособия для вузов (10)
- теория алгоритмов (6)
- исчисление предикатов (5)
- функции рекурсивные (5)
- Геделя теорема о неполноте (4)
- Черча тезис (4)
- дизъюнктивные нормальные формы (4)
- дискретная математика (4)
- исчисление высказываний (4)
- логика предикатов (4)
- функции ограниченно-детерминированные (4)
- k-значные логики (3)
- Маркова алгоритмы нормальные (3)
- алгебра логики (3)
- алгоритмы (3)
- комбинаторный анализ (3)
- математическая логика (3)
- учебные издания для вузов (3)
- функции вычислимые по Тьюрингу (3)
- функции универсальные (3)
- NP-полнота (2)
- NP-полные массовые проблемы (2)
- k-значная логика (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