Mavzu: mulohazalar hisobida yechilish, zidsizlik, to’liqlilik va erkinlik muomolari

URGANCH DAVLAT UNIVERSITETI FIZIKA-MATEMATIKA FAKULTETI MATEMATIKA YO’NALISHI 183-GURUH TALABASI BAHADIROVA SABOHANNING DISKRET MATEMATIKA VA MATEMATIK MANTIQ FANIDAN


KURS ISHI


MAVZU: MULOHAZALAR HISOBIDA YECHILISH , ZIDSIZLIK, TO’LIQLILIK VA ERKINLIK MUOMOLARI

Topshirdi: ___________________

Qabul qildi: __________________

Urganch 2019-2020
REJA:

1. 
   KIRISH
   
2. 
   ASOSIY QISM
   
   1. 
      Mulohazalar hisobining aksiomalar sistemasi. mantiqiy aksiomalar. Maxsus aksiomalar.Mulohazalar xisobi.
      
   2. 
      Keltirib chiqarish qoidasi. Xulosa qoidasi. Umumlashtirish qoidasi.
      
   3. 
      Nazariyaning zidsizlik, to’liqlilik va yechilish muammolari.
      
   4. 
      Nazariyaning yechilish va erkinlik muammolari
      
3.