portal.guldu.uz

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