Refine your search
Availability
-
Bibliographic level
- Книги (103)
- Сериальные издания (1)
-
Authors
- Игошин, Владимир Иванович (5)
- Колмогоров, Андрей Николаевич (5)
- Гаврилов, Гарий Петрович (4)
- Драгалин, Альберт Григорьевич (4)
- Сапоженко, Александр Антонович (4)
- Кремер, Наум Шевелевич (3)
- Кузнецов, Олег Петрович (3)
- Ландо, Сергей Константинович (3)
- Овчинникова (3)
- Овчинникова Е. В. (3)
- Путко, Борис Александрович (3)
- Судоплатов С. В. (3)
- Судоплатов, С. В. (3)
- Тришин, Иван Михайлович (3)
- Vichi, Maurizio (2)
- Верещагин, Николай Константинович (2)
- Гуц, Александр Константинович (2)
- Ерусалимский, Яков Михайлович (2)
- Ершов, Юрий Леонидович (2)
- Зюзьков, Валентин Михайлович (2)
- Короткий А. И. (2)
- Лихтарников, Леонид Моисеевич (2)
- Макконнелл, Джеффри Дж (2)
- Павловская Т. А. (2)
- Палютин, Евгений Андреевич (2)
- Плескунов М. А. (2)
- Плиско, Валерий Егорович (2)
- Соболева, Татьяна Сергеевна (2)
- Сукачева, Тамара Геннадьевна (2)
- Трофимов В. В. (2)
- Ульянов, Михаил Васильевич (2)
- Успенский, Владимир Андреевич (2)
- Чечкин, Александр Витальевич (2)
- Calude, Cristian S. (1)
- Chaitin, Gregory J. (1)
- Gaul, Wolfgang (1)
- Salomaa, Arto (1)
- Schader, Martin (1)
- Абрамов, Олег Мартович (1)
- Агибалов, Геннадий Петрович (1)
- Адян, С. И. (1)
- Алферова, Зоя Васильевна (1)
- Аляев, Юрий Александрович (1)
- Андреев А. Е. (1)
- Андреев, А. Е. (1)
- Асеев, Георгий Георгиевич (1)
- Баврин И. И. (1)
- Бентли, Джон (1)
- Бирюков, Борис Владимирович (1)
- Бирюкова, Любовь Гавриловна (1)
- Show more
- Show less
-
Locations
- Книгохранилище (51)
- Читальный зал 5 (20)
- Абонемент. Депозитарий (12)
- Читальный зал. Депозитарий (11)
- Абонемент (10)
- Отдел рукописей и книжных памятников (1)
- Библиотека РФФ (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (51)
- 1 месяц (21)
- 6 месяцев (21)
- 1 неделя (12)
- Выдается по месту хранения (8)
-
Topics
- теория алгоритмов (72)
- учебные пособия для вузов (41)
- математическая логика (31)
- логика предикатов (24)
- булевы функции (20)
- исчисление высказываний (20)
- дискретная математика (18)
- Тьюринга машины (17)
- Математика и статистика (16)
- комбинаторика (16)
- теория графов (16)
- исчисление предикатов (14)
- теория множеств (13)
- Теория алгоритмов (12)
- логика высказываний (12)
- множества (12)
- Дискретная математика (11)
- Математическая логика (11)
- Введение в математическую логику (9)
- алгебра высказываний (9)
- рекурсивные функции (9)
- Введение в дискретную математику (8)
- Основы математической логики (8)
- теория доказательств (8)
- теория кодирования (8)
- Дискретная математика и математическая логика (7)
- алгебра логики (7)
- алгоритмы (7)
- Математика. Дискретная математика (6)
- Математическая логика и дискретная математика (6)
- Математическая логика и теория алгоритмов (6)
- Основы дискретной математики (6)
- алгебра множеств (6)
- булева алгебра (6)
- конечные автоматы (6)
- учебные издания для вузов (6)
- Математика: общие работы (5)
- бинарные отношения (5)
- задачи (5)
- математика (5)
- программирование (5)
- функции рекурсивные (5)
- Введение в программирование (4)
- Дискретная математика и сложность алгоритмов (4)
- Технические науки и информационные технологии (4)
- Тьюринга машина (4)
- алгебра (4)
- вероятностей теория (4)
- вычислимость (4)
- математическая статистика (4)
- Show more
- Show less
-
Places