Samarqand dalat universiteti

10-ma’ruza (2 soat): Predikat tushunchasi. Predikatlar ustida mantiqiy amallar. Umumiylik va mavjudlik kvantorlari. Formula tushunchasi. Formulaning qiymatini hisoblash.

11-ma’ruza (2 soat): Predikatlar mantiqi formulasining nomal shakli.Bajariluvchi va umumqiymatli formulalar. Yechilish muammosi.

12-ma’ruza (2 soat): Predikatlar mantiqining matematikaga tadbiqi. Aksiomatik predikatlar hisobi.

13-ma’ruza (2 soat): Algoritm tushunchasi va uning xa-rakterli xususiyatlari. Yechiluvchi va sanaluvchi to’plamlar. Algoritm tu-shunchasiga aniqlik kiritish.

14-ma’ruza (2 soat): Tyuring mashinalari. Tyuring mashinasida algoritmni realizasiya qilish. Tyuring mashinasi ustida amallar.

15-ma’ruza (2 soat): Algoritmlar nazariyasining asosiy gipotezasi. Markovning normal algoritmlari. Markov bo’yicha hisoblanuvchi funksiyalar.