|
IV.Mustaqil ta’lim va mustaqil ishlar
|
| bet | 5/8 | | Sana | 19.05.2024 | | Hajmi | 137,5 Kb. | | #244314 |
Bog'liq Dishret matematika Fan dastur 2023IV.Mustaqil ta’lim va mustaqil ishlar
Mustaqil ta’lim uchun tavsiya etiladigan mavzular:
1. Muloxaza tushunchasi. Rostlik jadvallari.
2.Dizyunktiv va Konyunktiv normal formalar.
3.Mukammal dizyunktiv va konyunktiv normal formalar.
4.Mulohazalar hisobi.
5.Mulohazalar hisobida isbotlashlar.
6.To‘plamlar ustida amallar.
7.Dekart ko‘paytma. Munosabatlar va funksiyalar.
8.Munosabatlar va funksiyalar
9.Binar munosabati turlari. Ekvivalentlik munosabati.
10.Ekvivalentlik munosabati
11.Qisman tartiblangan to‘plamlar.
12.To‘plam buleani. Bul algebrasi. Bul algebrasi filtri
13.Bul algebrasi masalalari
14.Algebraik sistemalar.
15.Predikatlar va ular ustida amallar. Umumiylik va mavjudlik kvantorlari.
16.Umumiylik va mavjudlik kvantorlari haqida
17.Interpretatsiya va model tushunchalari.
18.Algebraik sistemada formulaning bajarilishi. Bajariluvchi formulalar.
19.Bajariluvchi formulalar.
20.Predikatlar algebrasidagi mantiqiy qonunlar.
21.Kompaktlik teoremasi
22.Predikatlar xisobining aksiomalari sistemasi. Birinchi tartibli nazariya.
23.Birinchi tartibli nazariya.
24.Predikatlar hisobida isbotlashlar.
25.Mulohazalar algebrasinig formulalari
26.Post teoremasi natijalari
27.Birinchi tartibli til.Mantiqiy aksiomalar. Xos aksiomalar Teorema
28.Keltirib chiqarish qoidalari Isbotlash tushinchasi
29.Chinlik jadvali
30.Pirs strelkalari
31.Sheffer shtrixi
32.Tavtalogiya haqida teoremalar
33.Tavtalogiya Formulalarining ekvivolentligi
34.Teng kuchli formulalar Keltirilgan formulalar
35.Asosiy teng kuchli formulalar yordamida misollar
36.Dezyungtiv va konyuntiv normal formulalar
37.Mukammal Dezyungtiv va konyuntiv normal formulalar
38.To’plamlarning dekart kupaytmalari
39.Predikatlar algebrasidayechilish muammolari
40.Mulohazalar mantiqi
41.Mulohazalar mantiqining tatbiqlari
42.Mulohazalar algebrasi formulalarning normal formalari
43.Mulohazalar algebrasi formulalarning normal formalari
44.Duallik prinsiplari
45.Predikatlar algebrasining formulalarini tatbiqi
46.Birinchi tartibli til. Xos aksiomalar. Keltirib chiqarish qoidalari. Isbotlash tushunchasi. Teorema.
47. Nazariya tilining interpretatsiyasi. Nazariyaning modeli. Izomorfizm
48.Birinchi tartibli nazariyada echilish, ziddiyatsizlik va to‘liqlik muammolari.
49.Formulalarning normal formalari.
50.Aynan yolg‘on formulalar. Bajariluvchi yoki rad etiluvchi formulalar.
Mustaqil o‘zlashtiriladigan mavzular bo‘yicha talabalar tomonidan referatlar tayyorlash va uni taqdimot qilish tavsiya etiladi.
|
|
| |
