TY  - BOOK
AU  - Новиков,Федор Александрович
TI  - Дискретная математика для программистов: [учебное пособие для вузов по направлению подготовки дипломированных специалистов "Информатика и вычислительная техника"]
T2  - Учебник для вузов
SN  - 5947237415
PY  - 2005///
CY  - СПб. [и др.]
PB  - Питер
KW  - Дискретная математика
KW  - Задачи
KW  - Решение на компьютерах
KW  - RuMorurkp
KW  - множества
KW  - математическая логика
KW  - алгебра подмножеств
KW  - представление множеств на компьютере
KW  - представление отношений на компьютере
KW  - бинарные отношения
KW  - свойства отношений
KW  - Уоршалла алгоритм
KW  - функциональные отношения
KW  - инъекция
KW  - сюръекция
KW  - биекция
KW  - представление функций на компьютере
KW  - отношения эквивалентности
KW  - отношения порядка
KW  - фактор множества
KW  - алгоритм топологической сортировки
KW  - функции монотонные
KW  - алгебраические структуры
KW  - алгебры
KW  - морфизмы
KW  - модули
KW  - векторные пространства
KW  - решетки
KW  - булевы алгебры
KW  - матроиды
KW  - алгоритмы жадные
KW  - булевы функции
KW  - логические исчисления
KW  - исчисление высказываний
KW  - исчисление предикатов
KW  - автоматическое доказательство теорем
KW  - комбинаторика
KW  - кодирование алфавитное
KW  - кодирование с минимальной избыточностью
KW  - кодирование помехоустойчивое
KW  - сжатие данных
KW  - криптография
KW  - криптостойкость
KW  - электронная цифровая подпись
KW  - графы
KW  - орграфы
KW  - связность
KW  - Менгера теорема
KW  - Холла теорема
KW  - потоки в сетях
KW  - связность в орграфах
KW  - деревья свободные
KW  - деревья ориентированные
KW  - деревья упорядоченные
KW  - деревья бинарные
KW  - деревья сортировки
KW  - остов графа кратчайший
KW  - Краскала алгоритм
KW  - Прима алгоритм
KW  - циклы в графе
KW  - разрезы в графе
KW  - эйлеровы циклы в графе
KW  - гамильтоновы циклы в графе
KW  - множества независимые
KW  - множества покрывающие
KW  - множества доминирующие
KW  - раскраска графов
KW  - планарность графов
N1  - Библиогр.: с. 349-350; Предм. указ.: с. 351-363
ER  -