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