Fan nomi: Diskret tuzilmalar Fakultet

Muhammad al-Xorazmiy nomidagi Toshkent Axborot Texnologiyalari Universiteti
Urganch filiali

MUSTAQIL ISH

Fan nomi: Diskret tuzilmalar
Fakultet: Telekomunikatsiya Texnologiyalari
Guruh: 941-21 Bajardi: Ollaberganov Mirzoxid Tekshirdi:Urazmetova Shoira

Mavzu: Fikrlar(Mulohazalar) algebrasi, asosiy amallar, xossalari, to’liq amallar sistemasi.
Reja:

1. 
   Mulohazalar algebrasiga kirish.
   
2. 
   Sodda va murakkab mulohazalar.
   

3. Asosiy mantiqiy bog‘liqliklar.

4. 
   Xulosa.
   
5. 
   Foydalanilgan adabiyotlar.
   

Mulohazalar algebrasiga kirish.
Matematik mantiq diskret matemetikaning asosiy bo`limi bo`lib, bu bo`lim mulohazalar algebrasi bilan boshlanadi. Matematik mantiq hamda to`plamlar nazariyasi birgalikda hozirgi zamonaviy matematikaning fundamenti hisoblanadi.
Amaliy nuqtai nazardan qaraydigan bo`lsak, matematik mantiq ma`lumotlar bazasini qurishda, elektrotexnika, informatika va hisoblash texnikasi va umuman barcha raqamli qurilmalarda dasturlash tili uchun asos bo`lib hizmat qiladi. Shuning uchun ham tahliliy mulohaza yuritishga qiziquvchi har bir kishi matematik mantiq bo`limini o`rganishi kerak bo’ladi.
Insoniyat tomonidan to’plangan matematik bilimlarni jamlashda greklarning hissasi nihoyatda salmoqli bo`lgan, shuningdek, ular mantiq, ya`ni to`g`ri mulohaza yuritish san`ati bilan ham shug’ullanishgan.
Er. av. 389 yilda Platon (er.av. 427-347 yy) asos solgan falsafiy maktabda matematikaning ilk nazariy asoslari qurildi. Platon mantiqiy

teoremalarni isbotlashning quyidagi 3 ta metodini ishlab chiqdi:

1. 
   analitik metod;
   

2. 
   sintetik metod;
   
3. 
   apagogik metod.
   

Analitik metod – har biri o’zidan oldingisining bevosita natijasi bo’lgan gaplar zanjirini hosil qilishdan iborat. Bu zanjirning birinchi elementini isbotlash kerak bo’lgan mulohaza, oxirgi elementini esa isbotlangan haqiqat tashkil qiladi.