Refine your search
Availability
-
Bibliographic level
- Книги (8)
-
Authors
- Кузнецов, Олег Петрович (3)
- Оре, Ойстин (2)
- Барти, Томас К (1)
- Биркгоф, Гаррет (1)
- Болтянский, Владимир Григорьевич (1)
- Воробьев, Николай Николаевич (1)
- Капитонова, Юлия Владимировна (1)
- Кривой, Сергей Лукьянович (1)
- Летичевский, Александр Адольфович (1)
- Луцкий, Георгий Михайлович (1)
- Савин, Анатолий Павлович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (6)
- Абонемент. Депозитарий (3)
- Читальный зал. Депозитарий (2)
- Абонемент (1)
-
Item types
- Выдается в читальный зал (5)
- 1 месяц (3)
- 6 месяцев (3)
-
Topics
- графы ориентированные [x]
- Тьюринга машины (5)
- дискретная математика (5)
- множества (5)
- графы неориентированные (4)
- графы планарные (4)
- группы [x]
- деревья (теория графов) (4)
- исчисление высказываний (4)
- логика предикатов (4)
- полугруппы (4)
- рекурсивные функции (4)
- учебные пособия для вузов (4)
- анализ автоматов (3)
- бинарные отношения (3)
- булева алгебра (3)
- вычислимость (теория алгоритмов) (3)
- вычислительная сложность алгоритмов (3)
- графы (3)
- графы двудольные (3)
- исчисление предикатов (3)
- решетки (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)
- Алгебра прикладная (1)
- Боуза-Чоудхури-Хоккенгема коды (1)
- Show more
- Show less