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