Samarqand dalat universiteti


Download 0.6 Mb.
bet13/36
Sana09.01.2022
Hajmi0.6 Mb.
#258217
1   ...   9   10   11   12   13   14   15   16   ...   36
Bog'liq
1-qism

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.


Download 0.6 Mb.

Do'stlaringiz bilan baham:
1   ...   9   10   11   12   13   14   15   16   ...   36




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling