Samarqand dalat universiteti

Amaliy mashg’ulotlar mazmuni

Mulohaza. Mulohazalar ustida mantiqiy amallar. Namunaviy misol va masala hamda uning yechimi.

Amaliy topshiriqlarlar. Mantiq algebrasining funksiyalari va ularning xossalarini o’rganish. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Formulalarning normal shakllarini keltirib chiqarish jarayonini o’rganish. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Ikkitaraflama prinsipning mohiya-tini o’rganish va uning tatbiqlari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Monoton va chiziqli funksiyalar xossalarini o’rganish. Namunaviy

misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Funksiyalar sistemasining yopiqligini tahlil qilish. Post teoremasining tatbiqini o’rganish. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Funksional elementlar va ulardan sxemalar yasash. Kontaktli sxemalarni sintez qilish. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Qisqartirilgan DNShni aniqlash- ning klassik algoritmlari bo’yicha amaliyot. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Qisqartirilgan DNShni aniqlashning sonli usullari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Tupikli DNShlarni aniqlash algoritmlari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Predikatlar ustida mantiqiy amallar. Chinlik sohalarini ifodalash usullari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Kvantorlar va ularning xossalari. Predikat formulalarining deyarli normal formasi. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Formulalarning umum qiymatliligini tekshirish amallari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Kvantor amallarini ba’zi matematik ta’rif va tushunchalarini keltirib chiqarishga tatbiqi. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Tyuring mashinasi yordamida algoritmlarni ifodalash va dasturlashtirish. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar. Tyuring mashinalari ustida bajariladigan murakkab amallar.Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.

•