7-Mavzu. Deduksiya teoremasi. Hosilaviy keltirib chiqarish qoidalari.
Formulalar majmuasidan formula keltirib chiqarish. Ularning berilish usullari.
To’liqlik haqidagi teoremalar. Gyodelning to’liqlik teoremasi. To’liqlik haqida
Gyodel teoremasi. Mulohazalar hisobining ziddiyatli emasligi. Mulohazalar
hisobining to’laligi. Mulohazalar hisobi aksiomalari sistemasining erkinligi.
8-Mavzu. Predikatlar algebrasi va uning formulalari. Predikat (mantiqiy
funktsiya) tushunchasi. Predmetlar sohasi. O’zgarmas predmetlar va o’zgaruvchi
mulohazalar. Predikatlar mantiqining alfaviti. Elementar formulalar. Kvantorlar.
Tengkuchli formulalar. Asosiy tengkuchli formulalar.
9-Mavzu. To’la nazariyalar modellari. Bajariluvchi formulalar. Aynan chin
formula. Aynan yolgon formula. Formulaning normal shakli. Yechilish muammosi.
Chekli sohalarda yechilish muammosi. Yopiq formula.Tarkibida bir turdagi kvantor
amali qatnashgan normal shakldagi formulalar uchun yechilish muammosi.
Predikatlar hisobi aksiomalari.
10-Mavzu. Kombinatorika asoslari. ”Kaptar uyasi” prinspi. O’rin
almashtirishlar va kombinatsiyalar. Rekurrent munosabatlar. ”Kaptar uyasi”
prinspi. O’rin almashtirishlar va kombinatsiyalar. Rekurrent munosabatlar. Kiritish
chiqarish formulasi. To’la tartibsizliklar.
11-Mavzu. Graflar, tiplar, izomorfizm, bog’lanishlik, Eyler va Gamilton
graflari. Graf tushunchasi, tiplari, metrik munosabatlar, izomorfizm, bog’lanishlik,
insidentlik, sikl, zanjir, Eyler va Gamilton graflari.
12-Mavzu. Daraxtlar, ularni tatbiqlari. Daraxtlarda yurish. Tayanch
daraxtlar. Daraxtlar, ularni tatbiqlari. Daraxtlarda yurish. Tayanch daraxtlar.
Graflarni bo’yash, xromatik son, kodlash.
13-Mavzu. Algoritm tushunchasi. Hisoblanuvchanlik. Primitiv rekursiv
funksiyalar. Qisman rekursiv va rekursiv funksiyalar. Algoritm tushunchasi.
Hisoblanuvchanlik. Primitiv rekursiv funksiyalar. Qisman rekursiv va rekursiv
funksiyalar.
Do'stlaringiz bilan baham: |