Refine your search
Availability
-
Bibliographic level
- Книги (5)
-
Authors
-
Locations
-
Item types
- Выдается в читальный зал [x]
- 1 неделя (1)
- 1 месяц (1)
- 6 месяцев (1)
- Выдается по месту хранения (1)
-
Topics
- учебные пособия для вузов (5)
- дискретная математика (4)
- Тьюринга машины [x]
- булевы функции (3)
- графы ориентированные (3)
- комбинаторика (3)
- логика предикатов (3)
- множества (3)
- рекурсивные функции (3)
- теория алгоритмов [x]
- функции алгебры логики (3)
- Тьюринга машины (дискретная математика) (2)
- анализ автоматов (2)
- булева алгебра (2)
- вычислимость (теория алгоритмов) (2)
- вычислительная сложность алгоритмов (2)
- графы двудольные (2)
- графы неориентированные (2)
- графы планарные (2)
- группы (2)
- деревья (теория графов) (2)
- исчисление высказываний (2)
- исчисление предикатов (2)
- логические исчисления (2)
- метатеория логических исчислений (2)
- операции на множествах (2)
- оптимизационные задачи на графах (2)
- покрытия (теория графов) (2)
- полугруппы (2)
- программная реализация автоматов (2)
- программная реализация логических функций (2)
- пространство циклов (2)
- раскраски графов (2)
- распознавание множеств автоматами (2)
- семантика формальных языков (2)
- сети автоматов (2)
- синтез автоматов (2)
- формальные грамматики (2)
- формальные системы абстрактные (дискретная математика) (2)
- функции производящие (2)
- k-значные логики (1)
- Гребнера базисы, вычисление (1)
- Дискретная математика (1)
- Евклида алгоритмы (1)
- Жегалкина полиномы (1)
- Задачи (1)
- Мура диаграммы (1)
- Пойа теория (1)
- Решение (1)
- алгоритмы на графах (1)
- Show more
- Show less