Pm yo’nalishi talabalari uchun mustaqil ta’lim uchun tavsiya etiladigan mavzular

PM yo’nalishi talabalari uchun mustaqil ta’lim uchun tavsiya etiladigan mavzular:
1. To‘liq va to‘g‘ri formula tushunchalari, ta’rifi.
2. Formulalarni chin bo‘ladigan satrlar to‘plami.
3. Funksiyalarning to’liq va to’liqmas sistemalari.
4. Yopiq formula. Tarkibida bir turdagi kvantor amali qatnashgan normal shakldagi formulalar uchun yechilish muammosi.
5. Mulohazalar algebrasining elementar matematika va fizikaga tadbiqlari.
6. Rele – kontakt sxemalari.
7. Mulohazalar hisobining keltirib chiqariluvchi formulalari bilan mulohazalar algebrasining umumqiymatli formulalari orasidagi bog’lanish.
8. Mulohazalar hisobi formulalari bilan mulohazalar algebrasi formulalari orasidagi bog’lanish.
9. Mulohazalar hisobining zidsizligi, to’liqligi, erkinligi tushunchalari.
10. Teng kuchli almashtirishlar yordamida formulani keltirilgan normal formaga aylantirish.
11. Keltirilgan normal formaga misollar.
12. Formula, qism formula. Formulalarning teng kuchliligi.
13. Matematik nazariya haqida tushuncha.
14. Birinchi tartibli til.
15. Matematik nazariyaning xossalari: zidsizlik, to’liqlik, yechilish muammolari.
16. To’liqsizlik haqidagi Gyodel teoremasi.
17. Matematik nazariya namunalari.
18. Formula, qism formula. Formulalarning teng kuchliligi.
19. Teng kuchli formulalar. Asosiy teng kuchli formulalar. Bajariluvchi formulalar. Aynan chin formula. Aynan yolg’on formula.
20. Polinomial formula.
21. Mukammal diz’yunktiv normal forma. Mukammal kon’yunktiv normal forma. 22. Bul funksiyalarining o‘zgaruvchilar bo‘yicha yoyilmasi.
23. Binar munosabatlar va ularning xossalari.
24. Munosabat tushunchasi.
25. Maxsus binar munosabatlar tushunchasi va ta’rifi.
26. Ekvivalentlik munosabati tushunchasi.
27. Tartiblangan to‘plamlar haqida ma’lumot.
28. Mantiqiy bog‘lovchilar. Chinlilik jadvali. Mantiqiy amallar.
29. Chinlik jadvali yordamida formulalarni ajrata olish. Tavtologiya tushunchasi. Tavtologiyalar.
30. Teng kuchli formulalar xossalari. Asosiy teng kuchliliklar va ularning isboti.