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