Samarqand dalat universiteti
Amaliy mashg’ulotlar mazmuni
Download 0.6 Mb.
|
1-qism
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. Download 0.6 Mb. Do'stlaringiz bilan baham: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling