9-amaliy mashg’ulot (2 soat): Qisqartirilgan DNShni aniqlashning sonli usullari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
10-amaliy mashg’ulot (2 soat): Tupikli DNShlarni aniqlash algoritmlari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
11-amaliy mashg’ulot (2 soat):Predikatlar ustida mantiqiy amallar. Chinlik sohalarini ifodalash usullari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
12-amaliy mashg’ulot (2 soat): Kvantorlar va ularning xossalari. Predikat formulalarining deyarli normal formasi. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
13-amaliy mashg’ulot (2 soat):Formulalarning umum qiymatliligini tekshirish amallari. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
14-amaliy mashg’ulot (2 soat): Kvantor amallarini ba’zi matematik ta’rif va tushunchalarini keltirib chiqarishga tatbiqi. Namunaviy misol va masala hamda uning yechimi. Amaliy topshiriqlarlar.
