|
“Diskret matematika va matematik mantiq” fanidan kurs ishi mavzulari
Kurs ishini bajarish uchun ko`rsatmalar:
- Familiyasi guruh jurnalida turgan nomeriga mos mavzu tanlanadi.
- Mavzuda keltilgan reja namuna uchun talaba uni o`zgartirishi, unga yangi paragraflar
qo`shishi yoki olib tashlashi mumkin.
- Ish hajmi 17 – 20 betdan kam bo`lmasligi, qo`lyozma bo`lishi lozim.
- Ishni nazariy qismini misollar orqali to`ldirishi lozim.
- [ . . . ] – foydalanish mumkin bo`lgan adabiyotlar ro`yxati.
- Har bir ishda kirish va xulosa qismi, foydalanilgan adabiyotlar ro`yxati bo`lishi lozim.
- Ishni oxirgi topshirish muddati 28.06.2020 yil.
1.
1. Tо‘plamlar va ular ustida amallar. [ 7, 5, 13
,14, 15]
Reja
a) To`plam haqida tushuncha.
b)
To`plamlar ustida amallar.
c)
To`plamlar ustida amallar xossalari.
2. Binar munosabatlar.[ 16, 4, 5, 13,
14, 15 ]
Reja
a) Munosabat haqida tushuncha.
b) Binar munosabatlar ustida amallar.
c) Binar munosabatlar ustida amallar xossalari.
3. Maxsus binar munosabatlar.Ekvivalentlik munosabati. [16, 4, 5, 13,
14, 15 ]
Reja
a) Binar munosabat tushunchasi.
b) Maxsus binar munosabatlar.
c) Ekvivalentlik munosabati.
4.Mulohazalar ustida amallar. [ 7, 2, 4, 5, 13,
14, 15]
Reja
a) Mulohaza tushunchasi.
b)
Mulohazalar ustida amallar.
c)
Mulohazalar ustida amallar xossalari.
5. Tengkuchli formulalar. [ 7, 2, 4, 5, 13,
14, 15]
Reja
a) Mulohazalar algebrasida formula tushunchasi.
b) Mulohazalar algebrasida tengkuchli almashtirishlar.
c) Mulohazalar algebrasida tengkuchli formulalar.
6. Mulohazalar algebrasi formulasining normal shakllari. [ 7, 2, 4, 5, 13,
14, 15]
Reja
a) Mulohazalar algebrasi formulasi.
b)
Mulohazalar algebrasi formulasining normal shakllari.
c)
Mukammal DNSH va KNSH.
7. Mulohazalar hisobi. [ 7, 2, 4, 5, 13,
14, 15]
Reja
a) Mulohazalar hisobi tushunchasi.
b)
Mulohazalar hisobining aksiomalar sistemasi.
c)
Mulohazalar hisobida keltirib chiqarishlar.
8. Deduksiya teoremasi. [ 7, 2, 4, 5, 13,
14, 15]
Reja
a) Mulohazalar hisobi.
b)
Deduksiya teoremasi.
c)
Deduksiya teoremasi tatbiqlari.
9. Mulohazalar hisobining ziddiyatli emasligi,tо‘liqligi va uni aksiomalari sistemasining
erkinligi. [ 7, 2, 4, 5, 13,
14, 15]
Reja
a) Mulohazalar hisobi.
b) Mulohazalar hisobining ziddiyatli emasli.
c) Mulohazalar hisobining to`liqligi.
d) Mulohazalar hisobining aksiomalari sistemasining erkinligi.
10. Bul funksiyalari [ 7, 2,3, 4, 5, 13,
14, 15]
Reja
a) Bul funksiyasi tushunchasi.
b)
Bul funksiyalarini berilish usullari.
c)
Elementar Bul funksiyalari.
11. Ikki tomonlamalik (qo`shmalik) prinsipi. [7, 2,3, 4, 5, 13,
14, 15]
Reja
a) Ikki tomonlama (qo`shma) funksiya tushunchasi.
b)
Ikki tomonlamalik prinsipi.
c)
Ikki tomonlamalik prinsipi tatbiqlari.
12. Bul funksiyalarining о‘zgaruvchilar bо‘yicha yoyilmasi. [ 7, 2,3, 4, 5, 13,
14, 15]
Reja
a) Bul funksiyasi tushunchasi.
b)
Bul funksiyalarini o`zgaruvchilari bo`yicha yoyish.
c)
Bul funksiyasini MKNSH va MDNSH ko`rishlarida ifodalash.
13. Jegalkin kо‘phadi. [ 7, 2,3, 4, 5, 13,
14, 15]
Reja
a) Mulohazalar algebrasida arifmetik amallar.
b) Jegalkin ko`phadi.
c) Jegalkin ko`phadining tatbiqlari.
14. Funksiyalar sistemasining tо‘liqligi va yopiqligi. [ 7, 2,3, 4, 5, 13,
14, 15]
Reja
a) Funksiyalar sistemasini to`liqligi tushunchasi.
b)
Funksiyalar sistemasining yopiqligi tushunchasi.
c)
Funksiyalar sistemasini to`liqligi va yopiqligiga misollar.
15. Muhim yopiq sinflar. Post teoremasi. [ 7, 2,3, 4, 5, 13,
14, 15]
Reja
a) Yopiq sinf tushunchasi.
b)
Muhim yopiq sinflar.
c)
Post teoremasi.
16. Predikat (mantiqiy funksiya) tushunchasi. [ 7, 2, 4, 5, 13,
14, 15]
Reja
a) Predikat tushinchasi.
b) Predikat mantiqi tushunchasini maktab matematika kursida berilishi.
c) Xulosa
17.Predikatlar ustida amallar. [7, 2, 4, 5, 13,
14, 15]
Reja
a) Predikat tushunchasi.
b)
Predikatlar ustida amallar.
c) Predikatlar ustida amallar xossalari
18. Predikatlar mantiqi tengkuchli formulalari. [ 7, 2, 4, 5, 13,
14, 15]
Reja
a) Predikatlar mantiqi formulasi tushunchasi.
b)
Predikatlar mantiqi tengkuchli formulalari.
c)
Predikatlar mantiqi tengkuchli formulalariga misollar.
19. Predikatlar mantiqi formulasi normal shakllari. [ 7, 2, 4, 5, 13,
14, 15]
Reja
a) Predikat mantiqi formulasi.
b) Predikatlar mantiqi formulasi normal shakllari.
c) Predikatlar mantiqi formulasining normal shakllariga misollar.
20. Predikatlar mantiqida yechilish muammosi. [ 7, 2, 4, 5, 13,
14, 15]
Reja
e)
a) Predikatlar hisobi.
f) Mulohazalar hisobining ziddiyatli emasli.
g) Mulohazalar hisobining to`liqligi.
21. Predikatlar hisobining aksiomalari sistemasi. [ 7, 2, 4, 5, 13,
14, 15]
Reja
a) Predikatlar hisobi tushunchasi.
b) Predikatlar hisobining aksiomalar sistemasi.
c) Predikatlar hisobida keltirib chiqarishlar.
22. Predikatlar hisobida umumiylik va mavjudlik kvantorlarini kiritish qoidalari. [ 7, 2, 4, 5, 13,
14, 15]
Reja
a) Predikatlar hisobi.
b) Predikatlar hisobida umumiylik kvantorini kiritish qoidasi.
c) Predikatlar hisobida mavjudlik kvantorini kiritish qoidasi.
23. Predikatlar hisobining ziddiyatsizlik, tо‘liqlilik va erkinlik muammolari. [ 7, 2, 4, 5, 13,
14,
15]
Reja
a) Predikatlar hisobi.
b) Predikatlar hisobining ziddiyatli emasli.
c) Predikatlar hisobining to`liqligi.
d) Predikatlar hisobining aksiomalari sistemasining erkinligi.
24.Algoritmlar nazariyasi. [ 7, 2,3, 4, 5,
14, 15]
Reja
a) Algoritm tushunchasi.
b)
Algoritmlar nazariyasi.
c) Xulosa.
24. T`yuring mashinasi. [ 7, 2,3, 4, 5,
14, 15]
Reja
a) Algoritmlar nazariyasi.
b) T`yuring mashinasi.
c) T`yuring mashinasiga misollar.
25. Rekursiv funksiyalar. [ 7, 2,3, 4, 5,
14, 15]
Reja
a) Algoritmlar nazariyasi.
b) Rekursiv funksiyalar.
c) Rekursiv funksiyaga misollar.
Do'stlaringiz bilan baham: | 
