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