Turan xalqaro universiteti

Jami 
12 
soat 
 
 
IV. Mustaqil ta’lim va mustaqil ishlar 
1. Qisman tartiblangan to„plamlar 
2. Tupik normal formalar.
3. Minimallashtiri muammosi.
4. Boshqa aksiomatik nazariyalar. 
5. Deduksiya teoremasining tatbiqlari.
6. Muxim yopiq sinflar va ularga doir lemmalar. 
7. Post teoremasi tatbiqlari. 
8. Cheklangan kvantorlar. Mantiqiy kvadrat. 
9. Formulalarning normal kanonik formalari. 
10. Maxsus binar munosabatlar soni. 
11. Fibonachchi sonlari. Katalana sonlari. 
12. To„plamlarning turli vakillari sistemasi.Transversal. 
13. Kyonig va Berje graflari. 
IV. 1. Mustaqil ta’lim mavzularini taqsimlanishi  
№ 
Mustaqil ta’lim mavzulari 
Soati 
1 
Qisman tartiblangan to„plamlar 
12 
2 
Tupik normal formalar.
12
3 
Minimallashtiri muammosi.
12
4 
Boshqa aksiomatik nazariyalar. 
12
5 
Deduksiya teoremasining tatbiqlari.
12
6 
Muxim yopiq sinflar va ularga doir lemmalar. 
12

---

5 
7 
Post teoremasi tatbiqlari. 
12
8 
Cheklangan kvantorlar. Mantiqiy kvadrat. 
12
9 
Formulalarning normal kanonik formalari. 
12
10 
Maxsus binar munosabatlar soni. 
12
11 
Fibonachchi sonlari. Katalana sonlari. 
12
12 
To„plamlarning turli vakillari sistemasi.Transversal. 
12
13 
Kyonig va Berje graflari. 
12 
Jami: 
156 soat 
3 
 
V. Fan o’qitilishining natijalari (shakllanadigan kompetentsiyalar) 
Fanni o‟zlashtirishi natijasida talaba: 

To„plamlar nazariyasi, munosabatlar, relyasion algebra, maxsus binar 
munosabatlar, mulohazalar algebrasi, formal aksiomatik nazariya, 
mulohazalar hisobi, Bul funksiyalari, Post teoremasi, predikatlar algebrasi, 
formulalar va ularning bajarilishi, predikatlar hisobi, kombinatorikaning 
asosiy prinsiplari, graflar va ularning turlari, graflarni buyash, daraxtlar, 
oqimlar haqida tasavvur va bilimga ega bo„lishi; 

To„plamlar va munosabatlar ustida amallar bajarish, rostlik jadvalini tuzish, 
normal shakllarni topish, teoremalarni isbotlash, Bul funksiyalar sistemasini 
to„liqligini aniqlash, predikatlar ustida amallar bajarish, kombinatrorik 
masalalarni yechish, kombinatorika prinsiplarni amaliy masalalarga 
qo„llash, graflarni bo„yash algoritmlarini bilsh, daraxtlardagi algoritmlardan 
foydalanish, amaliy masalalarni echishga diskret matematika va matematik 
mantiq usullarini qo„llash ko‘nikmalariga ega bo‘lishi; 

talaba diskret matematika va matematik mantiq usullarini qo„llash, amaliy 
masalalar 
yechishga 
mantiqan 
yondoshib 
diskret 
matematika, 
kombinatorika va graflar nazariyasi bo„yicha olingan bilimlarni qo„llash
malakasiga ega bo‘lishi kerak.