Matematica
Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo [...] dei dati in uscita (output) che, in questo caso, sono le cifre 0 o 1.
Proprietà fondamentali di un algoritmo
Effettività. Un a. deve essere effettivamente eseguibile da un esecutore, che diciamo automa; l’automa deve poter riconoscere cioè le ...
Leggi Tutto
Littlewood D.E.
Littlewood 〈lìtluud〉 D.E. [ALG] Regola di L.-Robinson: algoritmo per calcolare i polinomi di Schur relativi a prodotti tensoriali tra gruppi finiti. ...
Leggi Tutto
ricorsivo
ricorsivo [agg. Der. di ricorrere: (→ ricorrente)] [LSF] Sinon. di ricorrente. ◆ [ALG] [INF] Algoritmo, o procedimento o procedura, r.: algoritmo che è formulato con esplicito riferimento a [...] intero positivo n, è r. la procedura: n!=n✄(n-1)!; ...; 5!=5✄4!; ...; 2!=2✄1!; 1!=1; si contrapp. ad algoritmo iterativo (v. fig.). ◆ [ELT] Filtro non r.: v. immagini, elaborazione di: III 167 e. ◆ [ALG] [INF] Funzioni r. primitive: nella teoria ...
Leggi Tutto
riporto
ripòrto [Atto ed effetto del riportare "portare indietro, riferire", comp. di ri- e portare] [ALG] L'operazione, nell'algoritmo dell'addizione, per cui quando la somma delle cifre di un certo [...] ordine supera 9, le cifre oltre quelle delle unità sono spostate come ulteriore addendo sulla prima riga della colonna delle cifre di ordine immediatamente superiore; una regola analoga vale per la moltiplicazione ...
Leggi Tutto
euclideo
euclidèo [agg. Der. di Euclide] [ALG] [FAF] Qualifica di ente matematico o di sistema ipotetico-deduttivo che soddisfi i postulati di Euclide. ◆ [ALG] Algoritmo e. delle divisioni successive: [...] il massimo comun divisore di due numeri, e anche di due polinomi, attraverso un numero finito di operazioni di divisione: → algoritmo. ◆ [ALG] Connessione e.: v. connessione: I 725 f. ◆ [ALG] Geometria e.: quella basata sui postulati e gli assiomi di ...
Leggi Tutto
calcolabile
calcolàbile [agg. Der. di calcolo] [ALG] Funzione c.: funzione che può essere calcolata, per la quale pertanto esiste un procedimento effettivo (cioè un algoritmo) per determinare il suo [...] valore quando sia assegnato il suo argomento (o i suoi argomenti) ...
Leggi Tutto
indecidibile
indecidìbile [Comp. di in- neg. e decidibile "che non può essere deciso"] [ALG] [FAF] Teoria i.: quella per la quale non esiste nessun algoritmo mediante il quale sia possibile decidere [...] in un numero finito di passi, per ogni proposizione formulabile in essa, se sia vera o falsa; è tale, per es., l'intera aritmetica (v. Gödel, teorema di: III 53 c) ...
Leggi Tutto
Kronecker Leopold
Kronecker 〈króonekër〉 Leopold [STF] (Liegnitz 1823 - Berlino 1891) Prof. di matematica nell'univ. di Berlino (1883); socio straniero dei Lincei (1883). ◆ [ANM] [INF] Algoritmo di K.: [...] v. manipolazione algebrica: III 616 b. ◆ [ANM] Delta di K.: altro nome del simbolo di K. (v. oltre). ◆ [MCC] Flusso di K. sul toro bidimensionale: v. moto, costanti del: IV 121 c. ◆ [ANM] Foliazione di ...
Leggi Tutto
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] di calcolo numerico e lo spirito pratico. Il contributo essenziale degli Arabi è quel complesso di regole e di operazioni (algoritmo), che costituisce ciò che oggi si chiama l’a. elementare.
L’a. degli Arabi, penetrata in Europa essenzialmente per ...
Leggi Tutto
intrattabile
intrattàbile [agg. Comp. di in- neg. e trattabile "che non può essere trattato"] [ALG] [ANM] Problema i.: quello del quale non è noto alcun procedimento di risoluzione con un tempo di calcolo [...] che cresca al più come una potenza del numero n dei casi trattati dall'algoritmo e che quindi va risolto per approssimazione; per es., v. algoritmi, teoria degli: I 102 f. ...
Leggi Tutto
algoritmo
(ant. algorismo) s. m. [dal lat. mediev. algorithmus o algorismus, dal nome d’origine, al-Khuwārizmī, del matematico arabo Muḥammad ibn Mūsa del 9° sec. (così chiamato perché nativo di Khwarizm, regione dell’Asia Centrale)]. – 1....