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