Matematika fakulteti funksional analiz, algebra va geometriya

Mulohazalar hisobining aksiomalari sistemasi. Mulohazalar hisobining aksiomalar sistemasi XI aksiomadan iborat bo’lin, ular to’rt guruhga bo’linadi.

Birinchi guruh aksiomalari:

.

.

Ikkinchi guruh aksiomalari:

.

.

.

Uchunchi guruh aksiomalari:

.

.

.

To’rtinchi guruh aksiomalari:

.

.

.

Ushbu aksiomalar bilan tanishdik va uning qo’llanilishini o’rgandik.

Ushbu aksiomalarni o’rganish orqali biz faqat mulhazalar hisobi formulasi mavzusidagi masalalarnigina o’rganib qolmay boshqa mavzularda qo’llanilishini ham bilib oldik. Chunki bu aksiomalar boshqa mavzularda ham keng qo’llaniladi.

FOYDALANILGAN ADABIYOTLAR

To’rayev.H.T. Azizov.I. ‘‘ Matematik mantiq va diskret matematika ’’ 1-jild

Qobulov V.Q. Raqamli avtomatlar. Г , 1980.

To'rayev.Н.Т. Matcmatik mantik va diskret matematika,. Ma'ruzalar matni.

Samarkand. SamDU nashriyoti, 2001.

To'rayev.H.T. Mulohazalar algebrasi muammoli lektsiyalar kursi. Samarkand, SamDU nashriyoti. 2003.

To'rayev.H.T. .Mulohazalar hisobi va predikatlar mantiqi. muammoli lektsiyalar kursi. Samarkand. SamDU nashriyoti, 2003.

To'rayev H.T. Bir inchi tartibli matematik nazariya va algoritmlar. Muammoli

lektsiyalar kursi. Samarkand, SamDU nashriyoti. 2003. To’rayev H.T. Diskret matematikaning kibernetikaga tatbiqi. Muammol i lekts iyalar

To'rayev H.T., Azizov I., Otaqulov S. Kombinatorika va graflar nazariyasi.

Toshkent, ‘‘Ilm Ziyo’’. 2009.kursi. Samarkand, SamDU nashriyoti, 2003