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