Samarqand dalat universiteti

Mustaqil ta’lim mashg’ulotlairi mazmuni

To’plamlar nazariyasining asosiy tushunchalari. To’plamlar ustida amallar. Asosiy tengkuchliliklar. To’plamlar algebrasi. To’plamlar algebrasi bilan mulohazalar algebrasi o’rtasidagi munosabat. Mukammal kon’yunktiv va diz’yunktiv normal shakllar. Formulalarning asosiy xossalari. Tengkuchlimas formulalar soni. Funksiyalar tengkuchliligi. Funksiyalar superpozisiyasi. Bul algebrasi. Mantiq algebrasidagi arifmetik amallarning xossalari. 0 va 1 saqlovchi funksiyalarning xossalari. O’z-o’ziga qo’shma funksiyalarning xossalari. Monoton funksiyalarning xossalari. Chiziqli funksiyalarning xossalari. Funksional yopiq sinflar Bilan bogliq murakkab amallar. Funksional elementlar va ulardan sxemalar yasash. Teskari bog’lanishi bo’lgan funksional elementlardan sxemalar yasash. Kontaktli sxemalar va ularning sintezi. Kontakt sxemalarni minimallashtirish muammosi. Diz’yunktiv normal shaklni soddalashtirishning trivial agoritmi. Minimallashtirish masalasining geometrik tarzda qo’yilishi. Ikkilik kub va uning xossalari. Qisqartirilgan diz’yunktiv normal shaklni yasashning Mak-Klaski usuli. Qisqartirilgan diz’yunktiv normal shaklni yasashning Bleyk usuli. Tupikli diz’yunktiv normal shakllarni geometrik asosda yasash usullari. Tupikli diz’yunktiv normal shakllarni yasash algoritmi. Yadroviy kon’yunksiya. Ayrim yagona tarzda hosil qilinadigan diz’yunktiv normal shakllar. Predikatlar ustida mantiqiy amallar. Kvantor amallarining xossalari. Predikatlar mantiqi formulasining qiymatini hisoblash, tengkuchli formulalarni isbotlash. Predikatlar mantiqi formulasining normal shaklining xossalari. Predikatlar mantiqida yechilish muammosi. Chekli sohalarda yechilish muammosi. Tarkibida bir turdagi kvantor amali qatnashuvchi normal shakldagi formulalar uchun yechilish muammosi. Matematik mulohazalarni predikatlar mantiqi formulasi ko’rinishida yozish. Qarama-qarshi tasdiqlarni tuzish. 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. Predikatlar mantiqida yetarli va zaruriy shartlar. Teskarisini (aksini) faraz qilish usuli bilan isbotlash. Tyuring mashinasida murakkab algoritmni realizasiya qilish.