Toshkent viloyati chirchiq davlat pedagogika instituti «tasdiqlayman»

O‘ZBEKISTON RESPUBLIKASI
OLIY VA O‘RTA MAXSUS TA’LIM VAZIRLIGI


TOSHKENT VILOYATI
CHIRCHIQ DAVLAT PEDAGOGIKA INSTITUTI

«TASDIQLAYMAN» O’quv ishlari bo’yicha prorektor I.Q.Xaydarov _____________________ «____» ________ 2021 yil

«MATEMATIK MANTIQ VA ALGORITMLAR NAZARIYASI»
FANINING ISHCHI O‘QUV DASTURI
(I bosqich sirtqi)


Bilim sohasi: 100000 - Ta‘lim
Ta’lim sohasi: 110000 - Ta‘lim
Ta’lim yo’nalishi: 60110600- Matematika va Informatika

Mashg‘ulot turi	Ajratilgan soat	Semestr	Ajratilgan kredit
		II
1. Nazariy (ma’ruza)	8	4	6
2. Amaliy mashg‘ulot	8	4
3. Mustaqil ta’lim	140	140
Jami auditoriya soati	16	16
Umumiy o‘quv soati	156	156

Chirchiq 2021 y

Fanning ishchi o’quv dasturi Toshkent viloyati Chirchiq Davlat pedagogika instituti Kengashining 2021 yil «___» avgustdagi _____- sonli majlis bayoni bilan tasdiqlangan.


Tuzuvchilar:

M.Yusupov B.A.Axmedov	Toshkent viloyati Chirchiq Davlat pedagogika instituti «Informatika» kafedrasi o’qituvchisi Toshkent viloyati Chirchiq Davlat pedagogika instituti «Informatika» kafedrasi o’qituvchisi
Taqrizchilar:
B.Sh.Rajabov	Toshkent viloyati Chirchiq Davlat pedagogika instituti «Matematika o’qitish metodikasi» kafedrasi professori, fizika-matematika fanlari doktori

Fanning ishchi о‘quv dasturi Toshkent viloyati Chirchiq davlat pedagogika instituti «Matematika va informatika» fakulteti kengashining 2021 «___» __________dagi ____- sonli majlisida muhokamadan o’tkazilgan.


Fakultet dekani: f-m.f.n., dots. A.R.Qutlimurotov
Fanning ishchi о‘quv dasturi Toshkent viloyati Chirchiq davlat pedagogika instituti «Matematika va informatika» fakulteti «Informatika o’qitish metodikasi» kafedrasining 20__ yil ___________ dagi ____- sonli majlisida ko’rib chiqilgan va tasdiqlashga tavsiya qilingan.


Kafedra mudiri: t.f.d. D.G’.Ahmedjanov

1. 
   Fan bo`yicha talabalarning bilim, ko`nikma va malakasiga
   

qo`yiladigan talablar

«Matematik mantiq va algoritmlar nazariyasi» fani talabalarni to’plamlar ustida amallar bajarish, mantiqiy fikrlash, amaliy masalalarni yechishda algoritmlar qo’rish imkoniyatlaridan kasbiy faoliyatlarida foydalana olish bo‘yicha nazariy bilimlar, amaliy ko‘nikmalar hamda ilmiy dunyoqarashini shakllantirish vazifalarini bajaradi. Fan bo‘yicha talabalarning bilim, ko‘nikma va malakalariga quyidagi talablar qo‘yiladi.

Talaba:

• 
  To’plamlar, munosabatlar, mantiqiy fikrlash, mantiqiy bog‘lovchilar, formula, funksiya, deduksiya, predikat, algoritmlar va uning turlariga doir bilimga;
  
• 
  To‘plamlar va ular ustida amallar bajarish, formulalar va ularning turlaridan, Bul funksiyalari, algoritm va uning turlaridan, qisman rekursiv va rekursiv funksiyalardan maqsadli foydalanish ko‘nikmasiga;
  
• 
  Amaliy masalalarni yechishda mantiqiy fikrlash, ayrim sodda masalalarni yechishda to‘plamlar, formulalar, funksiyalar, Bul funksiyalari, algoritmlardan foydalanish malakasiga ega bo‘lishi kerak.
  

2. Ma’ruza mashg‘ulotlari
1-jadval

№	Ma’ruzalar mavzulari	Dars soatlari hajmi
2-semestr
	Mantiq ilmi haqida. To‘plamlar va ular ustida amallar.	2
	Binar munosabatlar va ularning xossalari	2
	Mulohazalar va ularning xossalari.	2
	Muloxazalar algebrasi.	2
	Jami:	8

Ma’ruza mashg‘ulotlari multimedia qurilmalari bilan jihozlangan auditoriyada akadem guruhlar oqimi uchun o‘tiladi. Mashg‘ulotlar interfaol metodlar yordamida o‘tiladi. Unda «Aqliy hujum», «BBB», «Venn diagrammasi», «Т-chizma», «Insert», «FSMU», «Klaster», «Bumerang», «Qanday?», «Nima uchun?», «Insert», «SWOT» tahlil, «Yelpig‘ich» kabi metodlar qo‘llaniladi. Ko‘rgazmali materiallar va axborotlar multimedia vositalari yordamida uzatiladi. Bundan tashqari darsliklar, o‘quv qo‘llanmalari, ma’lumotnomalar, pedagogik ensiklopediyalar va lug‘atlar, ma’ruza matnlari, tarqatma materiallaridan foydalaniladi.


3. Amaliy mashg’ulotlar
2-jadval

№	Amaliy mashg‘ulot mavzulari	Dars soatlari hajmi
	To‘plamlar va ular ustida amallar.	2
	Munosabatlar. Binar munosabatlar.	2
	Muloxazalar haqida tushuncha.	2
	Muloxazalar algebrasi.	2
	Jami:	8

Amaliy mashg‘ulotlar multimedia qurilmalari bilan jihozlangan auditoriyada har bir akadem guruhga alohida o‘tiladi. Amaliy mashg‘ulotlarni tashkil etish bo‘yicha kafedra professor-o‘qituvchilari tomonidan ko‘rsatma va tavsiyalar ishlab chiqiladi. Shuningdek, darslik va o‘quv qo‘llanmalar, ma’lumotnomalar, pedagogik ensiklopediyalar, lug‘atlar, ma’ruza matnlari, tarqatma materiallar asosida talabalar bilimlarini mustahkamlashga erishish, tarqatma materiallardan foydalanish, mavzular bo‘yicha ko‘rgazmali qurollar tayyorlash va boshqalar tavsiya etiladi. Mashg‘ulotlar interfaol metodlar yordamida o‘tiladi. Unda «Aqliy hujum», «BBB», «Venn diagrammasi», «Т-chizma», «Insert», «FSMU», «Klaster», «Bumerang», «Qanday?», «Nima uchun?», «Insert», «SWOT» tahlil, «Yelpig‘ich» kabi metodlar qo‘llaniladi. Ko‘rgazmali materiallar va axborotlar multimedia vositalari yordamida uzatiladi.

4. Mustaqil ta’lim
3-jadval

№	Mustaqil ta’lim mavzulari	Dars soatlari hajmi
	To’plamlar ustida murakkab amallar bajarish..	10
	Binar munosabatlar ustida amallar.	10
	Qisman tartiblangan to‘plamlar.	10
	Mantiqiy bog‘lovchilar va ulardan foydalanish.	10
	Formula, qism formula.	10
	Mulohazalar algebrasi	10
	Qisman tartiblangan to‘plamlar.	10
	Funksiyalar sistemasining to‘liqligi va yopiqligi.	10
	O‘zgarmas predmetlar va o‘zgaruvchi muloxazalar.	10
	Algoritm tushunchasining paydo bo’lish tarixi.	10
	Algoritmlarni grafik ko’rinishlarda tasvirlash.	10
	Tasodifiy hodisalar va ularning ehtimollari	10
	Predikatlap mantiqining fopmulasi	10
	Sodda masalalarning yechish algoritmlarini tuzish.	10
	Jami:	140

Darslik va o‘quv qo‘llanmalardan foydalanib, barcha mavzularni o‘rganish. Tarqatma materiallar bo‘yicha ma’ruza qismlarini o‘zlashtirish. Talabalarning mustaqil ishlari har bir ma’ruza mavzusi asosida tashkil etiladi. Talaba mustaqil ta’limni tayyorlashda muayyan fanning xususiyatlarini hisobga olgan holda quyidagi shakllardan foydalanish tavsiya etiladi:

• 
  darslik va o‘quv qo‘llanmalar bo‘yicha fan boblari va mavzularini o‘rganish;
  
• 
  tarqatma materiallar bo‘yicha ma’ruzalar qismini o‘zlashtirish;
  
• 
  avtomatlashtirilgan o‘rgatuvchi va nazorat qiluvchi dasturlar bilan ishlash;
  
• 
  maxsus adabiyotlar bo‘yicha fanlar bo‘limlari yoki mavzulari ustida ishlash;
  
• 
  talabaning o‘quv-ilmiy-tadqiqot ishlarini bajarish bilan boqliq bo‘lgan fanlar bo‘limlari va mavzularni chuqur o‘rganish;
  

Fanni o‘rganish jarayonida mustaqil ishlarning bir necha turlaridan foydalaniladi: adabiyotlar bilan ishlash; ijodiy ish; ishlarni elektron ko‘rinishda bajarish; ba’zi mavzular bo‘yicha referatlar tayyorlash. Mustaqil ta’limlarni tashkil etishda internet va axborot manbalaridan doimiy foydalaniladi. Mustaqil ta’lim har bir ma’ruza mavzusi asosida tashkil etiladi. Mustaqil ta’lim natijasi sifatida talabalar bajargan ijodiy ishlarini (elektron va qog‘oz ko‘rinishida) o‘qituvchiga topshiradilar.


5. Fan bo’yicha talabalar bilimini baholash va
nazorat qilish me’zonlari
4-jadval

Baholash Usullari	Ekspress testlar, yozma ishlar, og’zaki so’rov, prezentatsiyalar
1	2
Baholash me’zonlari	5 “a’lo” − fanga oid berilgan topshiriqlar bo’yicha xulosa va qaror qabul qilish; ijodiy fikrlay olish; mustaqil mushohada yuritish; amalda qullay olish; mohiyatini tushunish; bilish, aytib berish; tasavurga ega bo`lish.
	4 “yaxshi” − fan haqida, unga oid tushunchalarni farqlay olish, berilgan topshiriqlar haqida mustaqil mushohada yuritish; amalda qullay olish; mohiyatini tushunish; bilish, aytib berish; tasavurga ega bo`lish.
	3 “qoniqarli” − berigan topshiriqlarni farqlay olish, topshiriqqa oid tushunchalar mohiyatini tushunish; bilish, aytib berish; tasavurga ega bo`lish.
	2 “qoniqarsiz” − fan haqida, berilgan topshiriq mohiyatini tushunmaslik, topshiriqni aytib berish haqida aniq tasavvurga ega emaslik, bilmaslik.
	Baholash turlari	O’tkazish vaqti
	Joriy nazorat
	Maruza mashg’ulotlarida faolligi, muntazam ravishda konspekt yuritishi uchun	Semestr Davomida
	Mustaqil ta’lim topshiriqlarining o’z vaqtida va sifatli bajarilishi
	Laboratoriya mashg’ulotlarida faolligi, savollarga to’gi javob berganligi, laboratoriya ishini to’g’ri va tizimli bajarganligi uchun
	Oraliq nazorat
	Oraliq nazorat TEST savollariga bergan javobiga asosan (ma’ruza o’qituvchisi tomonidan qabul qilinadi).	21-22 hafta 27-28 hafta
	Yakuniy nazorat
	TEST YN shakli fakultet kengashi bilan kelishib, rektor buyrug’i bilan tasdiqlanadi.	31- hafta

6. Asosiy va qo’shimcha o’quv adabiyotlar hamda axborot manbalar
Asosiy adabiyotlar
1. Kenneth H. Rosen, Discrete mathematics and its applications, 7-edition, The McGraw-Hill Companies, 2012
2. Mendelson E. Vvedenie v matematicheskuyu logiku. M.: Nauka, 1984
3. Yablonskiy S. V. Vvedenie v diskretnuyu matematiku. – M.: Nauka, 1986.
Qo‘shimcha adabiyotlar
4. Mirziyoev Sh.M. Buyuk kelajagimizni mard va olijanob xalqimiz bilan birga quramiz. – Toshkent: “O‘zbekiston”, 2017. – 488 b.
5. N.Kh.Kasymov, R.N.Dadajanov,F.N.Ibragimov. Diskret matematika va matematik mantiq asoslari. O’quv qollanma. Toshkent 2018.
6. To‘raev X.T., Matematik mantik vadiskret matematika.- T., O‘qituvchi,2003.
7. Yershov Yu. L., Palyutin Ye. A. Matematicheskaya logika. M.: Nauka, 1987.
8. Klini S. K. Matematicheskaya logika. M.: Mir, 1973
9. Partee B., terMeulen A., Wall R. Mathematical Methods in Linguistics. Dordrecht: Reidel, 1989.
Axborot manbaalari
10. http://dimacs.rutgers.edu/
11. http://epubs.siam.org/sam-bin/dbq/toclist/SIDMA
12. http://www.vsppub.com/journals/jn-DisMatApp.html