1. Mantiq amallari: dizyunksiya,konyuksiya inkor

Ommaviylik. Har bir algoritm mazmuniga ko‘ra bir turdagi masalalarning barchasi uchun ham o‘rinli bo‘lishi kerak. YA’ni masaladagi boshlang‘ich ma’lumotlar qanday bo‘lishidan qat’iy nazar algorim shu xildagi har qanday masalani yechishga yaroqli bo‘lishi kerak. Masalan, ikki oddiy kasrning umumiy mahrajini topish algoritmi, kasrlarni turlicha o‘zgartirib bersangiz ham ularning umumiy mahrajlarini aniqlab beraveradi. Yoki uchburchakning yuzini topish algoritmi, uchburchakning qanday bo‘lishidan qat’iy nazar, uning yuzini hisoblab beraveradi.
Natijaviylik. Har bir algoritm chekli sondagi qadamlardan so‘ng albatta natija berishi shart. Bajariladigan amallar ko‘p bo‘lsa ham baribir natijaga olib kelishi kerak. Chekli qadamdan so‘ng qo‘yilgan masala yechimga ega emasligini aniqlash ham natija hisoblanadi. Agar ko‘rilayotgan jarayon cheksiz davom etib natija bermasa, uni algoritm deb atay olmaymiz.
Blok-sxemalarni tuzishda foydalaniladigan asosiy sodda geometrik figuralar quyidagilardan iborat:

Nоmi	Bеlgilаnishi	Bаjаrаdigаn vаzifаsi
Jаrаyon		Bir yoki bir nеchtа аmаllаrni bаjаrilishi nаtijаsidа mа’lumоtlаrning uzgаrishi
Qаrоr		Birоr shаrtgа bоglik rаvishdа аlgоritmning bаjаrilish yunаlishini tаnlаsh
SHаkl uzgаrtirish		Dаsturni uzgаrtiruvchi buyruk yoki buyruklаr turkumini uzgаrtirish аmаlini bаjаrish
Аvvаl аniqlаngаn jаrаyon		Оldindаn ishlаb chikilgаn dаstur yoki аlgоritmdаn fоydаlаnish
Kiritish Chiqаrish		Ахbоrоtlаrni kаytа ishlаsh mumkin bo’lgаn shаklgа utkаzish yoki оlingаn nаtijаni tаsvirlаsh
Displеy		EХMgа ulаngаn displеydаn ахbоrоtlаrni kiritish yoki chiqаrish
Хujjаt		Ахbоrоtlаrni kоgоzgа chiqаrish yoki kоgоzdаn kiritish
Ахbоrоtlаr оkimi chizigi		Blоklаr оrаsidаgi bоglаnishlаrni tаsvirlаsh
Bоglаgich		Uzilib qоlgаn ахbоrоt оkimlаrini ulаsh bеlgisi
Bоshlаsh Tugаtish		Ахbоrоtni kаytа ishlаshni bоshlаsh, vаktinchа yoki butunlаy tuхtаtish
Izох		Blоklаrgа tеgishli turli хildаgi tushuntirishlаr

94-savol. Qismiy rekursiv funksiyalar. Qismiy rekursiv funksiyalarni tyuring mashinalari yordamida hisoblash. Umumrekursiv funksiyalar.

Ta’rif. Agar g = f(xl,x2,...,xn) funksiyaning qiymatini hisoblovchi algoritm mavjud bo‘Isa, и holda и effektiv (samarali) hisoblanuvchifunksiya deb ataladi. Bu ta’rifda algoritm tushunchasi intuitiv ma’noda tushunilganligi sababli, effektiv hisoblanuvchi funksiya tushunchasi ham intuitiv tushuncha bo‘ladi. Ammo algoritm tushunchasidan effektiv hisoblanuvchi funksiya tushunchasiga o‘tishning o‘ziga xos ijobiy tomoni bor. Masalan, algoritm tushunchasiga qo‘yilgan hamma talablar (o'ziga xos xususiyatlari sifatida) rekursiv (qaytarish) funksiyalar majmuasi deb ataladigan hamma hisoblanuvchi funksiyalar majmuasi uchun bajariladi. Gyodel birinchi bo‘lib biror formal sistemada aniqlangan hamma sonli funksiyalar sinfini rekursiv funksiyalar sinfi sifatida ifodaladi. 1936-yilda Chyorch ham boshqa asoslarga suyanib rekursiv funksiyalar sinfini tasvirlagan edi.

1936-yilda A.Chyorch va S.Klini tomonidan bu ikkita sinf bir xil sinf
ekanligi isbotlandi, ya’ni har qanday Я -aniqlanuvchi funksiya