2.2. Amaliy mashg’ulotlarning reja-topshiriqlari va o’quv-uslubiy materiallari
|
|
|
2.2.1.
|
Mulohaza. Mulohazalar ustida mantiqiy amallar. Namunaviy misol va masala hamda uning yechimi.
Amaliy topshiriqlar.
|
|
|
2.2.2.
|
Mantiq algebrasining funksiyalari va ularning xossalarini o’rganish. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.3.
|
Formulalarning normal shakllarini keltirib chiqarish jarayonini o’rganish. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.4.
|
Ikkitaraflama prinsipning mohiya-tini o’rganish va uning tatbiqlari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.5.
|
Monoton va chiziqli funksiyalar xossalarini o’rganish. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.6.
|
Funksiyalar sistemasining yopiqligini tahlil qilish. Post teoremasining tatbiqini o’rganish. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.7.
|
Funksional elementlar va ulardan sxemalar yasash. Kontaktli sxemalarni sintez qilish. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.8.
|
Qisqartirilgan DNShni aniqlash- ning klassik algoritmlari bo’yicha amaliyot. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.9.
|
Qisqartirilgan DNShni aniqlashning sonli usullari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.10.
|
Tupikli DNShlarni aniqlash algoritmlari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.11.
|
Predikatlar ustida mantiqiy amallar. Chinlik sohalarini ifodalash usullari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.12.
|
К Kvantorlar va ularning xossalari. Predikat formulalarining deyarli normal formasi. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.13.
|
Formulalarning umumqiymatliligini tekshirish amallari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.14.
|
Kvantor amallarini ba’zi matematik ta’rif va tushunchalarini keltirib chiqarishga tatbiqi. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.15
|
Tyuring mashinasi yordamida algoritmlarni ifodalash va dasturlashtirish. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
|
2.2.16.
|
Tyuring mashinalari ustida bajariladigan murakkab amallar.Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
|
|
