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