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