Diskret tuzulmalar Mustaqil ish

13.
 
 
Mantiqiy to‘rlar. Mantiq to‘rlarini minimallashtirish usullari. Karno kartalari
14.
 
 
Predikatlar mulohazalar matematika modeli sifatida tadbiqi
15.
 
 
Qo‘shnilik va insidentlik matritsalari. Graflarning izomorfligi 
16.
 
 
Planar graflar. Tekis graflar haqida Eyler formulasi.
17.
 
 
Gomeomorfizm. Pontryagin-Kuratovskiy teoremasi 
18.
 
 
Graflarda turg‘unlik to‘plami. Grafning ichki va tashqi turg‘unliklari soni 
19.
 
 
Yo‘naltirilgan graf. Yo‘naltirilgan graf uchun qo‘shnilik matritsasi 
20.
 
 
Eng qisqa yo‘l topish algoritmlari 
21.
 
 
O’rmon. Daraxtlar. Daraxtlarning xossalari. Ostov daraxti. Minimal ostov 
daraxti. Ildiz daraxt. 
22.
 
 
Eng katta daraxt haqida, eng qisqa va eng uzun yo‘l haqida, tarmoqli 
rejalashtirish, kommunikatsiyalar turlari oqimi 

---

23.
 
 
Daraxtlarni Prufer usulida kodlash. Daraxtlarni ularning kodi bo‘yicha yasash 
24.
 
 
Kommivoyajer masalasi algoritmlarini o‘rganish, chuqurlik va eni bo‘yicha 
aylanib o‘tuvchi graflar, kommivoyajer masalasini yechish 
25.
 
 
Predikatlar algebrasi, mulohazalar hisobi formulasi tushunchalari 
26.
 
 
Mantiqiy bog‘lovchilar, qismiy formula, isbotlanuvchi formula, mulohazalar 
hisobining aksiomalar sistemasi 
27.
 
 
Algoritmik modellar. Algoritmning intuitive tushunchasi va uni aniqlash zarurati 
Izoh: Hurmatli talabalar tartib raqamingizdagi mavzuni tanlab tayyorlashingi 
lozim. Hajmi 15 sahifadan kam bo’lmasligi, 12 shrift, 1.25 interval, sahifaning 
o‘ng tomonidan 3, chap 2, yuqori va pastadan 2 cm va so‘z bosh(abzast) 1.25 bo‘sh 
joy qoldirilishi lozim.