Определяется множество, его виды (четкое, нечеткое и мультимножество) и способы их задания. Устанавливается связь между прямым (декартовым) произведением множеств, бинарным и функциональным отношением. Приводятся формы представления бинарного отношения, показывается его связь с графом. Излагаются алгебры с различным числом операций как конкретизации алгебраической системы. Алгебры логики, множеств и отношений рассматриваются как частные случаи алгебры с тремя операциями. Особое внимание уделено алгебре бинарных отношений. Ее операции иллюстрируются в трех формах - множественной (перечислительной), матричной и графовой, что показывает изоморфизм соответствующих алгебр. Рассматриваются элементарные и неэлементарные свойства бинарных отношений.
Центральное место в книге отведено графам, их свойствам и типовым задачам, решаемым на графах. На невзвешенных графах решаются задачи анализа структур, а на взвешенных графах - оптимизационные задачи. Приводятся основные сведения комбинаторики и сложности вычислений, иллюстрируемые на графах. Целью книги является изложение языка дискретных моделей, широко применяемых в компьютерном моделировании.
Книга рассчитана на обучение бакалавров инженерных и экономических направлений и преподавателей вузов.