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