Matematik mantiq elementlari va ularning tadbiqlari Reja: I. Kirish II. Asosiy qism

Matematik mantiq elementlari va ularning tadbiqlari
Reja:
I. Kirish
II. Asosiy qism

1. 
   Diskret matematika va matematik mantiq tarixi va uning asoslari.
   
2. 
   Mulohaza tushunchasi va uning qiymati.
   
3. 
   Mantiqiy amallar va formulalar
   

III. Xulosa
IV. Foydalanilgan adabiyotlar


Kirish
Hozirgi kunda Diskret matematika va matematik mantiq amaliy masalalarni yechishning eng keng tarqalgan fanlaridan biri, masalan, hisoblash texnikasining mantiqiy asoslari va dasturiy ta’minotini rivojlantirish.
Usulning qo‘llanilishi qulayligi, uning har qanday murakkab shaklli soha uchun ham qo‘llanilishi soddaligi sababli bu usul amaliychi va ayniqsa muhandislar orasida keng qo‘llanilib kelinmoqda. Bu usul asosida ishlab chiqarish tizimining bir qator hisoblari muvaffaqiyatli qo‘llanilib kelinmoqda. Bu esa Diskret matematika va matematik mantiqning amaliy ahamiyati naqadar yuqori ekanligini bildiradi.
Diskret matematika va matematik mantiq avvalo muhandislar tomonidan taklif etildi, undan keyinroq esa u o‘zining matematik asosiga ega bo‘ldi.
Kurs maqsadi - amaliy matematika va informatika ta’lim yo‘nalishi talabalriga «Diskret matematika va matematik mantiq» ning nazariy asoslarini, ularning amliyotdagi o‘rni va o‘ziga xos xususiyatlarini va afzalliklarini, amaliy masalalarni yechishga tadbiq qilishni, har xil ob’yektlarni tadqiq qilishni o‘rgatish.
Ishning asosiy masalasi- matematik mantiq, bir tomondan, formal mantiq muammolariga matematik metodlarni qo‘llash bo‘lsa, ikkinchi tomondan, matematikani asoslashga xizmat qiluvchi fan sifatida foydalanishdir. Hozirgi zamon matematik mantiqi avtomatika, mashina matematikasi, bir tildan ikkinchi tilga avtomatik tarzda tarjima qilish, matematik lingvistika, axborot nazariyasi va umuman kibernetikaning nazariy va asosi hisoblanadi. Fanni o‘zlashtirish natijasida talaba “Diskret matematika va matematik mantiq” ning asosiy tushunchalarini o‘zlashtirishi va uni amaliyotga qo‘llay bilishi lozim.