Universal cəbr və model nəzəriyyəsində bir struktur birləşmə ilə müəyyənləşdirilmiş sonluq əməliyyatları və əlaqələr toplusundan ibarətdir. Qruplar, üzüklər, sahələr və vektor sahələri kimi cəbri strukturları ümumiləşdirən universal cəbr tədqiqatları. Universal cəbr termini heç bir əlaqəsi olan simvol olmayan quruluşlar üçün istifadə olunur. Model nəzəriyyəsi quruluş nəzəriyyəsi modelləri kimi əsaslı strukturlar da daxil olmaqla daha çox özbaşına nəzəriyyələri əhatə edən fərqli bir sahəyə malikdir. Model-teorik baxımdan strukturlar birinci dərəcəli məntiqin semantikasını təyin etmək üçün istifadə olunan obyektlərdir. Nümunə nəzəriyyəsində müəyyən bir nəzəriyyə üçün, bir quruluş bir modeli adlanır, əgər o, bu nəzəriyyənin müəyyən edilmiş aksiyomlarını təmin edərsə, bəzən matematiksel modellərin ümumi vəziyyətində anlayışı müzakirə edərkən bəzən semantik bir model kimi ayrılır. Mütəxəssislər bəzən strukturlara şərhlər kimi istinad edirlər. Verilənlər bazası nəzəriyyəsində heç bir funksiyaya malik olmayan strukturlar relational data bazaları üçün model kimi, relational modelləri şəklində araşdırılır. [Riyaziyyatın əsasları][Şərhlər: məntiq] |