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