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