Refine your search
Availability
-
Bibliographic level
- Книги (88)
- Статьи из сериальных изданий (1)
-
Authors
- Игошин, Владимир Иванович (6)
- Лавров, Игорь Андреевич (5)
- Максимова, Лариса Львовна (5)
- Зюзьков, Валентин Михайлович (4)
- Клини, Стивен Коул (4)
- Биркгоф, Гаррет (3)
- Верещагин, Николай Константинович (3)
- Драгалин, Альберт Григорьевич (3)
- Колмогоров, Андрей Николаевич (3)
- Кочергин, Валерий Иванович (3)
- Кузнецов, Олег Петрович (3)
- Плиско, Валерий Егорович (3)
- Агибалов, Геннадий Петрович (2)
- Алексеев, Владимир Евгеньевич (2)
- Белоусов, Алексей Иванович (2)
- Босс, Валерий (2)
- Гаврилов, Гарий Петрович (2)
- Крищенко, Александр Петрович (2)
- Лисовик, Леонид Петрович (2)
- Макконнелл, Джеффри Дж (2)
- Малышенко, Виктория Олеговна (2)
- Мальцев, Анатолий Иванович (2)
- Марченков, Сергей Серафимович (2)
- Минц, Г. Е. (2)
- Мотвани, Раджив (2)
- Мощенский, Владимир Андреевич (2)
- Пенроуз, Роджер (2)
- Сапоженко, Александр Антонович (2)
- Ставровский, Андрей Борисович (2)
- Таланов, Владимир Александрович (2)
- Ткачев, Сергей Борисович (2)
- Ульман, Джеффри Д. (2)
- Успенский, Владимир Андреевич (2)
- Хопкрофт, Джон Э. (2)
- Dube, Rakesh (1)
- Gupta, Ritu (1)
- Pandey, Adesh (1)
- Арбиб, Майкл А (1)
- Барти, Томас (1)
- Барти, Томас К (1)
- Брукшир, Дж. Гленн (1)
- Вайсер, Анатолий Вольфович (1)
- Вороненко, Андрей Анатольевич (1)
- Вялый, Михаил Николаевич (1)
- Гашков, Сергей Борисович (1)
- Герасимов, Александр Сергеевич (1)
- Дехтярь, Михаил Иосифович (1)
- Зарубин, Владимир Степанович (1)
- Зарубина, В. С. (1)
- Капитонова, Юлия Владимировна (1)
- Show more
- Show less
-
Locations
- Книгохранилище (60)
- Читальный зал 5 (31)
- Абонемент (15)
- Читальный зал. Депозитарий (15)
- Абонемент. Депозитарий (13)
- Библиотека РФФ (2)
- Информационный центр 24/7 (1)
- Отдел рукописей и книжных памятников (1)
- Книгохранилище-11 (1)
- Факультетская библиотека (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (58)
- 1 месяц (27)
- 6 месяцев (25)
- 1 неделя (18)
- Выдается по месту хранения (17)
-
Topics
- Тьюринга машины (81)
- учебные пособия для вузов (40)
- математическая логика (25)
- логика предикатов (21)
- алгоритмы (17)
- конечные автоматы (17)
- исчисление высказываний (16)
- исчисление предикатов (16)
- теория алгоритмов (16)
- булевы функции (14)
- дискретная математика (14)
- множества (13)
- алгоритмов теория (12)
- рекурсивные функции (11)
- функции рекурсивные (11)
- теория множеств (10)
- учебные издания для вузов (10)
- Черча тезис (9)
- аксиоматические теории (9)
- алгебра высказываний (9)
- логика высказываний (9)
- комбинаторика (8)
- Геделя теорема о неполноте (7)
- Клини нумерация (7)
- булева алгебра (7)
- задачи (7)
- функции (7)
- алгебра логики (6)
- булевы алгебры (6)
- графы ориентированные (6)
- формальные языки (6)
- Геделя теорема (5)
- Геделя теорема о полноте (5)
- Маркова алгоритмы нормальные (5)
- Маркова нормальные алгоритмы (5)
- Поста нумерация (5)
- кардинальные числа (5)
- контекстно-свободные грамматики (5)
- контекстно-свободные языки (5)
- ординальные числа (5)
- теорема о дедукции (5)
- функции вычислимые (5)
- функции ограниченно-детерминированные (5)
- Гильберта десятая проблема (4)
- Поста теорема (4)
- алгоритмы на графах (4)
- графы (4)
- искусственный интеллект (4)
- логическое программирование (4)
- полугруппы (4)
- Show more
- Show less
-
Collections
-
Places
- ЭБС Лань (1)