Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
-
Locations
- Читальный зал 5 (1)
- Книгохранилище (1)
- Читальный зал. Депозитарий (1)
-
Item types
- Выдается в читальный зал (1)
- 1 неделя (1)
- 1 месяц (1)
-
Topics
- алгоритмы (2)
- графы (2)
- деревья (графов теория) [x]
- дискретная математика (2)
- комбинаторика (2)
- логика предикатов [x]
- учебные пособия для вузов (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)
- Show more
- Show less