Matematik mantiq elementlari, mulohazalar

Mavzuning maqsadi va vazifalari. 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.
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.
Muammoning o’rganilganlik darajasi. Matematik mantiq elemantlarini o`rganish bo`limu bo`yicha juda ko`p olimlar ish olib borganlar. O‘qitish metodlarining yangilanib turilishi metodologik tan olingan jarayon hisoblanadi. O‘qitish metodlarini rivojlantirishda taniqli psixolog-pedagog olimlar ish olib borishgan. O’quvchilarda ko‘nikma va malakalarni rivojlantirish bo‘yicha L.S.Vigotskiy, P.A.Shevarev, N.Saidaxmedov, ye.N.Kabanova-Meller, N.D.Bogoyavlenskiy, Sh.E.Qurbonov, V.A.Tokareva, I.Ya.Lerner, P.Ya.Galperin, matematika o‘qitishda kasbiy tayyorgarlik va fanlar integratsiyasi asosida o‘quvchilarning bilimlarini rivojlantirish bo‘yicha Yu.A.Samarin, N.A.Menchinskaya, V.N.Fyodorova, I.D.Zverev, V.N.Maksimova, T.R.To‘laganov, Yu.G‘.Maxmudov, B.Mirzaxmedov, X.Omonov, M.Tojiev, N.Eshpo’latov, o‘quvchilarning geometrik tafakkurini rivojlantirish muammosi bo‘yicha J.I.Ikromov,A.Azamov, N.R.G‘aybullaev, A.Artiqboev, A.Narmanov, Q.Jumaniyozov va boshqa olimlar metodik yo‘l-yo‘riq ko‘rsatganlar.
Tadqiqot ob'ekti .
Maktab, Akademik liseylar va kasb-hunar maktabalri uchun matematikadan o`quv jarayonlari.