Refine your search
Availability
-
bib-level
- m (9)
-
Authors
-
Locations
-
Item types
- 1 месяц (4)
- 1 неделя (1)
- Выдается в читальный зал (5)
- Выдается по месту хранения (3)
-
Topics
- Тьюринга машины (3)
- анализ автоматов (3)
- булева алгебра (3)
- вычислимость (теория алгоритмов) (3)
- вычислительная сложность алгоритмов (3)
- графы двудольные (3)
- графы неориентированные (3)
- графы ориентированные (3)
- графы планарные (3)
- группы (3)
- деревья (теория графов) (3)
- дискретная математика (3)
- исчисление высказываний (3)
- исчисление предикатов (3)
- логика предикатов (3)
- логические исчисления (3)
- метатеория (4)
- метатеория логических исчислений (3)
- множества (3)
- операции на множествах (3)
- Show more
- Show less