Iz latinščine compŭtus je račun račun ali izračun . Izračuni omogočajo prikaz statističnih podatkov ali rezultatov glasovanja. Na primer: "Zadnji vnos ni bil zabeležen v računalniški plošči", "Začasni izračuni odražajo široko zmago uradnega kandidata", "Glede na uradno štetje, ima naša ekipa tri točke vodstva" .

Pojem računanja se uporablja tudi v okviru računalniške teorije, veje matematike, ki je specializirana za temeljne zmožnosti računalnikov . Ti stroji so odgovorni za uporabo matematičnih modelov za izračune.

Teorija računalništva se je začela razvijati z namenom, da bi našli univerzalno metodo, ki bi rešila vse matematične probleme. Na ta način so se znanstveniki začeli ukvarjati z algoritmi (vnaprej zapisani nizi urejenih in končnih navodil, ki omogočajo izvajanje aktivnosti v zaporednih korakih).

Prav v zvezi s prej omenjeno teorijo se imenujejo izračunljive funkcije. Še posebej so vse tiste funkcije, ki jih je predmet študija in analize prvega. Poleg tega je treba poudariti, da imajo posebnost, da jih je mogoče izračunati z uporabo tako imenovanega Turingovega stroja.

Ta naprava ni nič drugega kot sistem, ki temelji na uporabi tabele pravil in simbolov, ki so manipulirani in ki so nameščeni na določen trak.

Težavo, ki jo predstavljajo te izračunljive funkcije, smo skozi zgodovino zelo analizirali, rezultat te izjave pa je ugotovil, da se, ko se reši problem, povezan z njimi, z njegovim izračunom izvede reševanje tega, kar se izvaja. znan je kot problem funkcije.

Posebej bi morali ugotoviti, da so lahko te funkcije dveh vrst. Tako so po eni strani izračunljivi tisti, ki so razviti s pomočjo Boolovega operaterja.

Po drugi strani pa bi bile delno izračunljive funkcije tiste, v katerih je pomembna recesivno združevanje.

Uporabljen za računanje, algoritem postane funkcija, ki pretvori vhodne podatke (ki so del problema) v izhodne podatke (rešitev tega problema) .

Eno glavnih vprašanj računalniške teorije je torej izračunljivost . Ta koncept analizira meje reševanja problemov z algoritmi. Če problema ni mogoče rešiti z računanjem, to pomeni omejitev za računanje.

Poleg vsega tega je treba opozoriti, da je teorija izračunljivosti zelo povezana s prej omenjenim Turingovim strojem. Tako se veliko njihovega dela opravi na podlagi tega, kakšne probleme lahko reši to ali formalizem, ki mu je pripet.

Nazadnje, cerkveni izračun je nabor izračunov, ki določajo, kdaj je dan velikonočnega vstajenja in drugih premičnih verskih praznikov.