Основные логические функции

TATU Samarkand filiali talabalari uchun Diskret strukturlar fanidan yakuniy nazorat uchun Savollar va misollar


Savollar:
1 topshiriq
. Toʼplam tushunchasi, toʼplam elementlari.
2. Toʼplamga tegishlilik tushunchasi.
3. Universal toʼplam. Boʼshtoʼplam. Chekli (cheksiz) toʼplamlar. Xos toʼplam.
4. Toʼplamlarning berilish usullari va ularustida amallar
5. To’plam va uning elementi. Chekli va cheksiz to’plamlar.
6. To’plamlar kesishmasi.
7. To’plamlarning birlashmasi.
8. To’plamlar kesishmasi va birlashmasi qonunlari.
9. Qism to’plamning to’ldiruvchisi.
10. To’plamlarni sinflarga ajratish tushinchasi.
11. To’plamlarning dekart ko’paytmasi.
12. Munosabatlar.
13. Binar munosabatlar va ularning matritsasi.
14. Munosabatlarturlari.
15. Ekvivalent munosabatilar
16. Akslantirishlar (syur’ektiv, in’ektiv)
17.Kambinato’rikaning yig’indi qoidasi
18. Ko’paytirish qoidasi
19. O ’rinlashtirish
20. O'rinalmashtirish
21. G ruppalashlar
22. Takrorlanuvchi o’rinalmashtirishlar
23. Kombinatorik masalalar


2 topshiriq

1. 
   Sodda va murakkab mulohazalar
   
2. 
   Mulohaza oʼzgaruvchilari. Asosiy mantiqiy bogʼliqliklar
   
3. 
   Konʼyunktsiya, dizʼyunktsiya, inkor, implikatsiya, ekvivalentlikamallar
   
4. 
   Mulohazalar algebrasi funksiyalari.
   
5. 
   Formulalarning tengkuchliligi.
   
6. 
   Funksiyalar superpozitsiyasi
   
7. 
   Bulalgebrasi
   
8. 
   Aynan chin, aynan yolg‘on va bajariluvchi formulalar
   
9. 
   Teng kuchlimas formulalar soni
   
10. 
    Formulani qatorga yoyish
    
11. 
    Formulaning chinlik to‘plami
    
12. 
    Asosiy mantiqiy amallarning chinlik to‘plamlari
    
13. 
    Chinlik to‘plami tushunchasining qo‘llanilishi
    
14. 
    Bul funksiyalarini berilish usullari.
    
15. 
    Bul funksiyalari soni.
    
16. 
    Elementar bul funksiyalar
    
17. 
    Formulalarning normal shakllari.
    
18. 
    Diz’yunktiv va kon’yunktiv normal shakllar.
    
19. 
    Formulalarning mukammal normal shakllari.
    
20. 
    Mantiq algebrasidagi ikkitaraflamalik qonuni.
    
21. 
    Mantiq algebrasidagi arifmetikamallar.
    
22. 
    Jegalkin ko’phadi.
    
23. 
    Mantiq algebrasidagi monoton funksiyalar
    

3 tоpshiriq

1.Tupikli va minimal DNSh ni yasashusullari.
2.Tengkuchli formulalar.
3.Tupikli va minimal DNSh ni yasash algoritmlari.
4.Aynan chin, aynan yolqon va bajariluvchi formulalar.
5.Graflar nazariyasining asosiy tushunchalari.
6.Asosiy tengkuchliliklar.
7.Tuplamlar nazariyasining asosiy tushunchalari.
8.Teng kuchli formulalarga doir teoremalar.
9.Umumiylik va mavjudlikk kvantorlari.
10.DNSh.
11.KNSh.
12.MDNSh.
13.MKNSh.
14.Formulalarning asosiy xossalari.
15.Formulaning normalshakli.
16.Tengkuchlimas formulalar soni.
17.Graflar nazariyasi
18.Formulani normalshakliga keltirish.
19.Funksiyalar tengkuchliligi.
20.Bajariluvchi formulalar.
21.Funksiyalar superpozitsiyasi.
22.Eyler va Gamilton sikllari.
23.Bul algebrasi
24.Mantiq algebrasidagi ikkitaraflama qonun.
25.Aynanyolg‘on, aynan chin, bajariluvchi formula.
26.Chiziqli funksiyalar.
27.Grafning asosiy tushunchalar.
28.Monoton funksiyalar
29.Graflar nazariyasi asosiy ta’riflari.
30.To‘liq funksiyalar sistemasi.
31.Grafning geometric interpretatsiyasi.
32.Funksional yopiqklasslar.
33.Grafning berilishi usullari.
34.Post teoremasi.
35.Qo‘shnilik va qo‘shmalik matritsasi.
36.Funksional elementlar va ulardan sxemalar yasash.
37.Graflar ustida amallar.
38.Rele-kontaktli sxemalar.
39.Kontakt sxemalarni minimallashtirish muammosi.
40.Marshrutlar va zanjirlar.
41.Minimizatsiyalash masalasining qo‘yilishi.
42.Graflar xakida tushuncha.
43.DNSh ni soddalashtirishvatupikli DNSh.
44.Qisqartirilgan DNSh.
45.Grafda radius va diametrni topishmasalasi.
46.Qisqartirilgan DNSh ni yasash algoritmlari.
47.Eyler graflari. Gamilton graflari.
48. Muloxaza ustida mantiqiy amallar.
49. Grafda Gamilton siklini izlash algoritmi.