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