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