Samarqand dalat universiteti

15-amaliy mashg’ulot (2 soat): Tyuring mashinasi yordamida algoritmlarni ifodalash va dasturlashtirish. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.

16-amaliy mashg’ulot (2 soat): Tyuring mashinalari ustida bajariladigan murakkab amallar.Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.

• 
  Mustaqil ta’lim mashg’ulotlairi mavzulari mazmuni va ularga ajratilgan soat
  

1-semestr (60 soat)

1-Mustaqil ish (2 soat): To’plamlar nazariyasining asosiy tushunchalari. To’plamlar ustida amallar. Asosiy tengkuchliliklar. To’plamlar algebrasi.

2-Mustaqil ish (2 soat): To’plamlar algebrasi bilan mulohazalar algebrasi o’rtasidagi munosabat.

3-Mustaqil ish (2 soat): Mukammal kon’yunktiv va diz’yunktiv normal shakllar. Formulalarning asosiy xossalari. Tengkuchlimas formulalar soni.

4-Mustaqil ish (2 soat): Funksiyalar tengkuchliligi. Funksiyalar superpozisiyasi. Bul algebrasi.

5-Mustaqil ish (2 soat): Mantiq algebrasidagi arifmetik amallarning xossalari.

6-Mustaqil ish (2 soat): 0 va 1 saqlovchi funksiyalarning xossalari.

7-Mustaqil ish (2 soat): O’z-o’ziga qo’shma funksiyalarning xossalari.

8-Mustaqil ish (2 soat): Monoton funksiyalarning xossalari.

9-Mustaqil ish (2 soat): Chiziqli funksiyalarning xossalari.

10-Mustaqil ish (2 soat): Funksional yopiq sinflar Bilan bogliq murakkab amallar

11-Mustaqil ish (2 soat): Funksional elementlar va ulardan sxemalar yasash.

12-Mustaqil ish (2 soat): Teskari bog’lanishi bo’lgan funksional elementlardan sxemalar yasash.

13-Mustaqil ish (2 soat): Kontaktli sxemalar va ularning sintezi. Kontakt sxemalarni minimallashtirish muammosi.

14-Mustaqil ish (2 soat): Diz’yunktiv normal shaklni soddalashtirishning trivial agoritmi.

15-Mustaqil ish (2 soat): Minimallashtirish masalasining geometrik tarzda qo’yilishi. Ikkilik kub va uning xossalari.

17-Mustaqil ish (2 soat): Qisqartirilgan diz’yunktiv normal shaklni yasashning Mak-Klaski usuli.

18-Mustaqil ish (2 soat): Qisqartirilgan diz’yunktiv normal shaklni yasashning Bleyk usuli.

19-Mustaqil ish (2 soat): Tupikli diz’yunktiv normal shakllarni geometrik asosda yasash usullari.

20-Mustaqil ish (2 soat): Tupikli diz’yunktiv normal shakllarni yasash algoritmi. Yadroviy kon’yunksiya.

21-Mustaqil ish (2 soat): Ayrim yagona tarzda hosil qilinadigan diz’yunktiv normal shakllar.

22-Mustaqil ish (2 soat): Predikatlar ustida mantiqiy amallar. Kvantor amallarining xossalari.

23-Mustaqil ish (2 soat): Predikatlar mantiqi formulasining qiymatini hisoblash, tengkuchli formulalarni isbotlash.

24-Mustaqil ish (2 soat): Predikatlar mantiqi formulasining normal shaklining xossalari.

25-Mustaqil ish (2 soat): Predikatlar mantiqida yechilish muammosi. Chekli sohalarda yechilish muammosi.

26-Mustaqil ish (2 soat): Tarkibida bir turdagi kvantor amali qatnashuvchi normal shakldagi formulalar uchun yechilish muammosi.

27-Mustaqil ish (2 soat): Matematik mulohazalarni predikatlar mantiqi formulasi ko’rinishida yozish. Qarama-qarshi tasdiqlarni tuzish.

28-Mustaqil ish (2 soat): Predikatlar mantiqidagi to’g’ri, teskari va qarama-qarshi teoremalar. Yetarli va zaruriy shartlar. Teskarisini (aksini) faraz qilish usuli bilan isbotlash. Aksiomatik predikatlar hisobi haqida.

29-Mustaqil ish (2 soat): Predikatlar mantiqida yetarli va zaruriy shartlar. Teskarisini (aksini) faraz qilish usuli bilan isbotlash.

30-Mustaqil ish (2 soat): Tyuring mashinasida murakkab algoritmni realizasiya qilish.