Refine your search
Availability
-
Bibliographic level
- Книги (38)
-
Authors
- Лавров, Игорь Андреевич (4)
- Максимова, Лариса Львовна (4)
- Адельсон-Вельский, Георгий Максимович (2)
- Бабенко, Константин Иванович (2)
- Гринченков, Дмитрий Валерьевич (2)
- Зюзьков, Валентин Михайлович (2)
- Игошин, Владимир Иванович (2)
- Кузнецов, Олег Петрович (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)
- Плиско, Валерий Егорович (1)
- Стариченко, Борис Евгеньевич (1)
- Томский государственный университет систем управления и радиоэлектроники (1)
- Трахтенброт, Борис Авраамович (1)
- Трифонов, Николай Павлович (1)
- Успенский, Владимир Андреевич (1)
- Харапинский, Я. Л. (1)
- Харин, Николай Никитич (1)
- Цветков, Игорь Анатольевич (1)
- Шанин, Н. А. (1)
- Шелупанов, Александр Александрович (1)
- Шишков, Алексей Борисович (1)
- Шоломов, Лев Абрамович (1)
- Яблонский, Сергей Всеволодович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (21)
- Читальный зал 5 (14)
- Абонемент. Депозитарий (8)
- Абонемент (6)
- Читальный зал. Депозитарий (2)
- Библиотека РФФ (1)
- Книгохранилище-11 (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (20)
- 1 месяц (12)
- 6 месяцев (11)
- Выдается по месту хранения (11)
- 1 неделя (5)
-
Topics
- алгоритмов теория (34)
- математическая логика (16)
- Тьюринга машины (13)
- учебные пособия для вузов (9)
- алгебра логики (8)
- Клини нумерация (6)
- дискретная математика (6)
- исчисление высказываний (6)
- исчисление предикатов (6)
- логика предикатов (6)
- множеств теория (6)
- алгоритмы (5)
- логика высказываний (5)
- теория множеств (5)
- функции (5)
- Маркова алгоритмы нормальные (4)
- Поста нумерация (4)
- алгебра высказываний (4)
- арифметика формальная (4)
- задачи (4)
- кардинальные числа (4)
- ординальные числа (4)
- предикаты (4)
- Геделя теорема о неполноте (3)
- Тарского теорема (3)
- Черча тезис (3)
- аксиоматическая теория (3)
- аксиоматические теории (3)
- алгоритмические проблемы неразрешимые (3)
- булева алгебра (3)
- булевы функции (3)
- графов теория (3)
- множества (3)
- множества нечеткие (3)
- множества перечислимые (3)
- теория автоматов (3)
- функции алгебры логики (3)
- функции рекурсивные (3)
- язык логики предикатов (3)
- NP-полные массовые проблемы (2)
- Геделя теорема (2)
- Гильберта десятая проблема (2)
- Евклида алгоритм (2)
- Коши задача (2)
- Поста нумерации (2)
- Тьюринга алгоритмы (2)
- Функции (мат.) рекурсивные (2)
- алгебра (2)
- алгоритмическая сложность математических теорий разрешимых (2)
- алгоритмически неразрешимые проблемы массовые (2)
- Show more
- Show less
-
Places
- ЭБС Лань (1)