Kompyuter injiniringi fakulteti axborot xavfsizligi yonalishi abdujalilov abdurahimning

O’ZBEKISTON RESPUBLIKASI OLIY VA O’RTA MAXSUS
TA’LIMI VAZIRLIGI
MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT
AXBOROT TEXNOLOGIYALARI UNIVERSITETI
FARG‘ONA FILIALI
641-21- AXBOROT XAVFSIZLIGI TALABASI
KOMPYUTER INJINIRINGI FAKULTETI
AXBOROT XAVFSIZLIGI YONALISHI
ABDUJALILOV ABDURAHIMNING
DISKRET TUZULMALARI FANIDAN
MUSTAQIL ISHISI
MAVZU: ALGEBRANING TAʼRIFI VA MISOLLAR, MORFIZMLAR, FARTOR-ALGEBRASI
REJA:

1. 
   ALGEBRANING TAʼRIFI VA MISOLLAR.
   
2. 
   MORFIZMLAR.
   
3. 
   FAKTOR-ALGEBRASI.
   
4. 
   XULOSA.
   

Ko’pgina hollarda diskret matematika va uning tatbiqlarida o’rganish ob’yekti sifatida to’plam bilan birga uning tuzilishi ham ahamiyatga ega bo`ladi.

Ma’lumki, odatdagi arifmetika, geometriya ob’yektlari bilan sonli amallarni bog’laydigan chiziqli fazo hamda biror binar munosabat aniqlangan to’plamlar asosida maydon tushunchasi kiritiladi. Barcha bunday strukturalar algebraik sistemalarni tashkil etadi. Algebraik sistemalarning aniq ta’rifini keltiramiz.

Ta’rif 1. Bo’sh bo’lmagan A to’plamni qaraymiz. Bu to’plamda n-o’rinli f akslantirishni kiritamiz: f : An → A. f funksiya bo’lganligi sababli, ixtiyoriy

Elementlar uchun f amalini qo’llash natijasi bir

Qiymatli aniqlanadi. F amalining qiymatlar sohasi A to’plamga tegishli bo’lgani uchun f amalni A to’plamda yopiq amal deb ataymiz.

Ta’rif 2. Signatura yoki til ∑ deb o’rni ko’rsatilgan predikat va funksional simvollar to’plamiga aytiladi. 0-o’rinli funksional simvolga constanta deyiladi.

Agar α funksional yoki predikat simvoli bo’lsa, u holda uni o’rni µ(α) yordamida belgilanadi.

n-o’rinli predikat va funksional simvollarni mos ravishda Pn va f n orqali belgilaymiz. Agar qaralayotgan signaturada standart simvollar foydalanilayotgan bo’lsa, masalan: qo’shish amali uchun +, tartiblash munosabati uchun ≤, bo’lish amali uchun /, constant uchun 0 va shu kabilar, u holda biz quyidagicha yozamiz:

Ta’rif 3. ∑ signaturali algebraik sistema U={A, ∑} deb bo’sh bo’lmagan A to’plamga aytiladi, bunda har bir n o’rinli predikat (funksional) simvolga A

To’plamda aniqlangan n-o’rinli predikat mos qo’yilgan. A to’plam {A, ∑} algebraik sistemaning tashuvchisi yoki universumi deb ataladi.

4.