TY  - BOOK
AU  - Кузнецов,Олег Петрович
TI  - Дискретная математика для инженера
T2  - Учебники для вузов. Специальная литература
SN  - 9785811405701
PY  - 2014///
CY  - Санкт-Петербург [и др.]
PB  - Лань
KW  - дискретная математика
KW  - RuMoRKP
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  - Библиогр.: с. 388-389; Предм. указ.: с. 390-393
ER  -