Mustaqil ta’lim mashgulotlari

5. «DISKRET MATEMATIKA VA MATEMATIK MANTIQ» FANIDAN MUSTAQIL ISH MAVZULARI

1. 
   Binar munosabatlar ustida amallar. Qisman tartiblangan to‘plamlar.
   
2. 
   Tupik normal formalar.
   
3. 
   Minimallashtiri muammosi.
   
4. 
   Boshqa aksiomatik nazariyalar.
   
5. 
   Deduksiya teoremasining tatbiqlari.
   
6. 
   Muxim yopiq sinflar va ularga doir lemmalar.
   
7. 
   Post teoremasi tatbiqlari.
   
8. 
   Cheklangan kvantorlar. Mantiqiy kvadrat.
   
9. 
   Formulalarning normal kanonik formalari. 10.Maxsus binar munosabatlar soni.
   

11.Fibonachchi sonlari. Katalana sonlari.

12.To‘plamlarning turli vakillari sistemasi.Transversal. 13.Kyonig va Berje graflari.

14.Graflarning bog‘liqligi. 15.Maksimal oqim topish masalasi. 16.Kommivoyajer masalasi

1.	Binar munosabatlar ustida amallar. Qisman tartiblangan to‘plamlar.	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	1,2hafta
2	Qisman tartiblangan to’plamlar. Tupik normal formalar.	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	3,4 hafta
3	Formula. Teng kuchli formulalar. Minimallashtiri muammosi.	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	5,6 hafta
4	Chinlik jadvali. Boshqa aksiomatik nazariyalar.	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	7,8 hafta
5	MKNSH va MDNSH. Deduksiya teoremasining tatbiqlari.	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	9,10 hafta
6	Bul funksiyalari soni. Muhim yopiq sinflar va ularga doir lemmalar.	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	11,12hafta
7	Post teoremasi tatbiqlari.	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	13,14 hafta
8	Cheklangan kvantorlar. Mantiqiy kvadrat.	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	15 hafta
9	Formulalarning normal kanonik formalari.	Referat, prezentatsiya, test, internet tizimi axborotlari	6	16 hafta
10	Maxsus binar munosabatlar soni.	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	17 hafta
11	Fibonachchi sonlari. Katalana sonlari.	Referat, prezentatsiya, test, internet tizimi axborotlari,masala, multimedia.	6	18 hafta
12	To‘plamlarning turli vakillari sistemasi.Transversal.	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	19 hafta
13	Kyonig va Berje graflari.	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	20 hafta
14	Graflarning bog‘liqligi.	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	21,22 hafta
15	Maksimal oqim topish masalasi	Referat, prezentatsiya, test, internet tizimi axborotlari, masala, multimedia.	6	23,24 hafta
16	Kommivoyajer masalasi	Referat, prezentatsiya, test, internet tizimi axborotlari	6	25 hafta