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