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