Resultats de la cerca

Una funció f A ⊑ ℕ n → ℕ és computable si, i només si, existeix un algorisme formal, com ara una màquina de Turing que la computa Quan diem, però, que una funció k -ària f A ⊑ ℕ k → ℕ és computable per mitjà d’una màquina de Turing OOO La idea és la següent a la cinta de la màquina colloquem n 1 + 1 uns seguits d’un zero, després d’n 2 + 1 uns seguits d’un zero,, després n k + 1 uns seguits d’un zero i colloquem la màquina en estat intern q 0 i amb el cap lector en el zero que hi ha al darrere dels darrers n k + 1 uns La resta de la cinta és plena de zeros El zero significa que a la cella…

És el desenvolupament modern del càlcul infinitesimal, elaborat durant els segles XVII i XVIII, que tenia com a principals problemes el de les quadratures determinació de la longitud d’una corba i de les àrees i volums de figures i el de la tangència traçat de tangents a corbes i superfícies Els coneixements que s’anaren acumulant sobre aquests temes formaren els càlculs integral i diferencial, cor d’aquesta disciplina matemàtica L’anàlisi matemàtica presenta els trets distintius de l’abstracció i generalitat dels seus mètodes, característics del rigor del raonament lògic És el resultat d’una…