Turan xalqaro universiteti

 
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. 

---

3 
Diz‟yunkti normal formalar, kon‟yunktiv normal formalar. 
II.2. Ma’ruza mavzularini taqsimlanishi 
№ 
mavzular 
Soati 
1 
To„plamlar va ular ustida amallar. 
2 
2 
Munosabatlar. Binar munosabatlarning ko„paytmasi. Funksiya. 
2 
3 
Mantiqiy bog„lovchilar Muloxazalar algebrasi. Chinlilik jadvali. Formula, qism 
formula. 
2 
4 
Formulalarning teng kuchliligi. Mulohazalar algebrasining asosiy tengkuchliliklari. 
2 
5 
Keltirilgan formulalar. Mantiqiy amallarning to„liq sistemalari. 
2 
6 
Normal formalari. Mukammal diz‟yunktiv va konyunktiv normal formalar. 
2 
Jami 
12 
soat