IV. Mustaqil ta’lim va mustaqil ishlar Mustaqil ta’lim uchun tavsiya etiladigan mavzular: 1.Qisman tartiblangan to’plamlar
2.Tupik normal formalar
3. Minimallashtirish muommosi
4. Boshqa aksiomatik nazariyalar
5. Deduksiya teoremasinining tatbiqlari
6. Muhim 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. Kyonik va Berje graflari
14. Graflarning bog’liqligi
15. Maksimal oqim topish masalasi
16. Kommivoyajer masalasi
3.
V. Fan o’qitilishining natijalari (shakllanadigan kompetensiyalar) Fanni o’zlashtirish natijasida talaba:
– To`plamlar va ular ustida amallar, munosabatlar, relyatsion algebra, binar munosabatlarning ko`paytmasi, funksiya, maxsus binar munosabatlar, ekvivalentlik munosabati, qisman tartiblangan to`plamlar, mantiqiy bog`lovchilar, muloxazalar algebrasi, chinlilik jadvali, formula, qism formula, Graflar va ularning berilish usullari, Grafni aylanib chiqish, graflarning biokomponenalari va daraxtlarda yurish algoritmlari haqida tasavvur va bilimga ega bo’lishi; – To`plamlar va ular ustida amallar, munosabatlar, relyatsion algebra, binar munosabatlarning ko`paytmasi, funksiya, maxsus binar munosabatlar, ekvivalentlik munosabati, qisman tartiblangan to`plamlar, mantiqiy bog`lovchilar, muloxazalar algebrasi, chinlilik jadvali, formula, qism formula, Graflar va ularning berilish usullari, Grafni aylanib chiqish, graflarning biokomponenalari va daraxtlarda yurish algoritmlariga oid masalalarni yechishni bilishi va ulardan foydalanish ko’nikmalariga ega bo’lishi; – talaba nazariy bilimlarni puxta o’zlashtirgan bo’lishi, mavzularning mohiyatini tushungan bo’lishi va amaliy masalalarni yechishda nazariy ma’lumotlarni tadbiq eta bilish malakasiga ega bo’lishi kerak.
