Algoritmlar haqida tushunchalar va ularning xarakteristik xususiyatlari

---

1. 
Predikatlar va ular ustida mantiqiy amallar. Umumiylik va mavjudlik 
kvantori. Predikatlarning mantikiy Formulasi. Predikatlar mantiqiy 
formulasining kiymati. Predikatlar mantiqining teng kuchli formulalari.
2. 
Predikatlar formulasining normal shakli. Predikatlar mantiqining 
matematikaga tadbiki. Aksiomatik predikatlar hisobi haqida tushuncha.
3. 
Algoritmlar haqida tushunchalar va ularning xarakteristik xususiyatlari. 
Algoritm tushunchasiga aniqlik kiritish. Hisoblovchi funksiyalar.
4. 
Boshlang‘ich sinflarda algoritm tushunchasi. Boshlang‘ich sinflarga dair 
matematikadan algoritm tuzish va unga doir misollar.