Refine your search
Availability
-
Bibliographic level
- Книги [x]
-
Authors
- Кузнецов, Олег Петрович [x]
- Адельсон-Вельский, Георгий Максимович (1)
-
Locations
-
Item types
- Выдается в читальный зал (2)
- 1 месяц [x]
- 6 месяцев (1)
-
Topics
- дискретная математика (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)
- оптимизационные задачи на графах (1)
- отношения (дискретная математика) (1)
- покрытия (теория графов) (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