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