Diskret matematika va matematik mantiq

18-mavzu. Asosiy teng kuchliliklar. Teng kuchli formulalarga doir
Teoremalar
Asosiy teng kuchliliklar. Kon'yunksiya, diz’yunksiya, inkor amallari qatnashgan mulohazalar. Kommutativlik, assotsiativlik va distributivlik qonunlari. Qaramaqarshilik, uchinchisini istisno qilish. idempotentlik va yutilish qonunlari.


19-mavzu. Formulalarning normal shakllari
Tavtologiya. Aynan yolg ‘on formula. Elementar kon’yunksiya va
diz'vunksiyalar. KNSh. DNSh. Kon ’vunktiv va diz 'yunktiv hadlar.


20-mavzu. Formulalarni tiklash
Formula. Funksiya. Chinlik jadvali. Formulani tiklash. qatorga yoyish. Chinlik jadvali vositasida formulaning MKNShini (MDNShini) topish. n ta
о'zgantvchili formulalar va elementar kon’yunksiyalar soni.


21-mavzu. Formulaning chinlik to'plami
Elemental mulohaza. Formula. Mantiqiy amallar. Chinlik to ‘plami. Mulohazalar algebrasi. To ‘plamlar algebrasi.
22-mavzu. Mulohazalar algebrasi funksiyalari. Bui algebrasi
Funksiya. Funksiyalar teng kuchliligi. 0 va 1 saqlovchi funksiyalar. n argumentli funksiyalar soni. Bir rangli superpozitsiya. Bui algebrasi.
23-mavzu. Mulohazalar hisobi formulasi
Mulohazalar hisobi. Mantiqiy bog 'lovchilar. Simmollar. Formula. Qismiy
formula Isbotlanuvch formula. Aksioma


24-mavzu. Mulohazalar algehrasi va mulohazalar hisobi orasidagi
Inuimsuhatlar
Mulohazalar hisobi formulosining qiymati. Mulohazalar hisobi formullar bilan mulohazalar algebrasi formullari orasidagi munosabatlar. Umumqiymatli formula. Aynan chin formula. Keltirib chiqarish haqidagi teorema.

III. Amaliy mashg‘ulotlari bo`yicha ko‘rsatma va tavsiyalar

Amaliy mashg‘ulotlar uchun quyidagi mavzular tavsiya etiladi:

1. 
   To'plamlar nazariyasining asosiy tushunchalari
   
2. 
   To‘plamlar ustida amallar
   
3. 
   To‘plamlar algebrasi
   
4. 
   Kortejlar
   
5. 
   Fazzi to'plamlar
   

6. Munosabatlar
7. Fazzi munosabatlar
8. Kombinatorika haqida umumiy tushunchalar
9. Asosiy kombinatsiyalar
10. Paskal uchburchagi. Nyuton binomi
11. Takrorli kombinatsiyalar
12. Fibonachchi sonlari
13. Bo'laklashlar kombinatorikasi
14. Hosil qiluvchi funksiyalar
15. Mulohaza. Mulohazalar ustida amallar
16. Formula va teng kuchlilik tuslumchalari
17. Tavtologiya, aynan yolg'on va bajariluvchi formulalar
18. Asosiy teng kuchliliklar. Teng kuchli formulalarga doir
teoremalar
19. Formulalarning normal shakllari
20. Formulalarni tiklash
21. Formulaning chinlik to'plam i
22. Mulohazalar algebrasi funksiyalari. Bui algebrasi
23. Mulohazalar hisobi formulasi
24. Mulohazalar algehrasi va mulohazalar hisobi orasidagi
Inuimsuhatlar
Amaliy mashg‘ulotlar multimedia qurulmalari bilan jihozlangan auditoriyada bir akademik guruhga bir professor-o‘qituvchi tomonidan o‘tkazilishi zarur. Mashg‘ulotlar faol va interfaktiv usullar yordamida o‘tilishi, mos ravishda munosib pedagogik va axborot texnologiyalar qo‘llanilishi maqsadga muvofiq.