Turan xalqaro universiteti


II. Asosiy nazariy qism (ma’ruza mashg’ulotlari)


Download 0.53 Mb.
Pdf ko'rish
bet2/6
Sana28.10.2023
Hajmi0.53 Mb.
#1729662
1   2   3   4   5   6
Bog'liq
Diskret ATI 2023-2024 (Sirtqi)

 
II. Asosiy nazariy qism (ma’ruza mashg’ulotlari) 
II.1. Fan tarkibiga quyidgi mavzular kiradi 
 
1-mavzu. To‘plamlar va ular ustida amallar. 
To„plamlar, birlashma, kesishma, universal to„plam, tartiblangan juftlik, dekart 
ko„paytma. 
2-mavzu. Munosabatlar. Binar munosabatlarning ko‘paytmasi. Funksiya. 
Munosabat, binar munosabat, munosabatlar ustida amallar, relyasion algebra. 
3-mavzu. Mantiqiy bog‘lovchilar Muloxazalar algebrasi. Chinlilik jadvali. 
Formula, qism formula. 
Mulohaza, mantiqiy amallar, formula, qism formula, Chinlilik jadvali. 
4-mavzu. Formulalarning teng kuchliligi. Mulohazalar algebrasining asosiy 
tengkuchliliklari. 
Teng kuchlilik, teng kuchli almashtirishlar, tavtologiya 
5-mavzu. Keltirilgan formulalar. Mantiqiy amallarning to‘liq sistemalari. 
Keltirilgan formulalar, mantiqiy amallar, to„liq sistema 
6-mavzu. Normal formalari. Mukammal diz’yunktiv va konyunktiv normal 
formalar. 



Diz‟yunkti normal formalar, kon‟yunktiv normal formalar. 
II.2Ma’ruza mavzularini taqsimlanishi 
№ 
mavzular 
Soati 

To„plamlar va ular ustida amallar. 


Munosabatlar. Binar munosabatlarning ko„paytmasi. Funksiya. 


Mantiqiy bog„lovchilar Muloxazalar algebrasi. Chinlilik jadvali. Formula, qism 
formula. 


Formulalarning teng kuchliligi. Mulohazalar algebrasining asosiy tengkuchliliklari. 


Keltirilgan formulalar. Mantiqiy amallarning to„liq sistemalari. 


Normal formalari. Mukammal diz‟yunktiv va konyunktiv normal formalar. 

Jami 
12 
soat 

Download 0.53 Mb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling