Din computetul latin, calculul este un cont sau un calcul . Calculele permit reflectarea statisticilor sau rezultatul votului. De exemplu: "Ultima intrare nu a fost înregistrată în panoul calculatorului", "Calculul provizoriu reflectă un triumf amplu al candidatului oficial", "Potrivit contabilității oficiale, echipa noastră are un avantaj în trei puncte" .

Noțiunea de calcul este folosită și în cadrul teoriei computerelor, ramura matematicii care se specializează în capacitățile fundamentale ale computerelor . Aceste mașini sunt responsabile pentru utilizarea modelelor matematice pentru a face calcule.

Teoria computerelor a început să se dezvolte cu intenția de a găsi o metodă universală care să rezolve toate problemele matematice. În acest fel, oamenii de știință au început să lucreze cu algoritmi (seturi pre-scrise de instrucțiuni ordonate și finite care fac posibilă desfășurarea unei activități în pași succesivi).

Exact în legătură cu teoria menționată mai sus sunt numite funcții computabile. În special, acestea sunt toate acele funcții care fac obiectul studiului și analizei de către cele dintâi. În plus, trebuie de asemenea remarcat faptul că acestea au particularitatea că ele pot fi calculate utilizând așa-numita mașină Turing.

Acest dispozitiv nu este altul decât un sistem care se bazează pe utilizarea unei tabele de reguli și simboluri care sunt manipulate și care sunt plasate pe o anumită bandă.

Dificultatea prezentată de aceste funcții computabile a fost foarte analizată de-a lungul istoriei și rezultatul acestei declarații vine să determine că atunci când o problemă legată de ele este rezolvată, prin calculul ei, se realizează rezolvarea a ceea ce se efectuează. este cunoscut ca o problemă de funcționare.

Mai exact, ar trebui să stabilim că aceste funcții pot fi de două tipuri. Astfel, pe de o parte, există calculatoarele care sunt cele dezvoltate folosind un operator boolean.

Și, pe de altă parte, ar exista funcții parțial computerizate care sunt cele în care o grupare recesivă are importanță.

Aplicată la calcul, algoritmul devine o funcție care transformă datele de intrare (care face parte dintr-o problemă) în datele de ieșire (soluția la această problemă) .

Una dintre principalele întrebări ale teoriei computerelor este prin urmare computabilitatea . Acest concept analizează limitele de rezolvare a problemelor prin algoritmi. Atunci când o problemă nu poate fi rezolvată printr-un calcul, presupune o limită pentru calcul.

În plus față de toate acestea, trebuie remarcat faptul că teoria computabilității este foarte asemănătoare cu mașina menționată Turing. Astfel, o mare parte din munca lor se face pe baza problemelor care pot rezolva aceasta sau formalismele care sunt atașate la ea.

Calculul eclesiastic, în final, este setul de calcule care se fac pentru a determina când este ziua Paștelui Învierii și a altor sărbători religioase mobile.