annealing
annealing 〈ënìlin〉 [s.ingl. "ricottura", usato in it. come s.m.] [FSD] Tecnica per la quale → ricottura. ◆ [PRB] [MCS] A. simulato (ingl. simulated a.): algoritmo per la ricerca dei minimi [...] per funzioni analitiche e numeriche che consente di determinare, con probabilità tendente a 1, il minimo assoluto senza dover effettuare tutti i possibili confronti; si basa sul principio di accettare ...
Leggi Tutto
Adleman, Leonard Max
Adleman, Leonard Max. – Informatico teorico e biologo statunitense (n. San Francisco 1945). Nel 1977, con Ron Rivest e Adi Shamir, ideò l’algoritmo di criptatura a chiave pubblica [...] RSA (dalle iniziali dei tre nomi) – usato per es. nelle transazioni del commercio elettronico e nelle e-mail – per il quale nel 2002, insieme ai colleghi, ricevette il premio Turing dell’ACM (Association ...
Leggi Tutto
Berlekamp Elwyn Ralph
Berlekamp 〈bèrlëkemp〉 Elwyn Ralph [STF] (n. Dover, Ohio, 1940) Prof. di matematica e scienza dei calcolatori nell'univ. di Berkeley (1971). ◆ [ANM] [INF] Algoritmo di B.: v. manipolazione [...] algebrica: III 616 b ...
Leggi Tutto
crittoanalisi
crittoanalisi settore disciplinare che, a partire da un testo cifrato, studia i metodi di decrittazione, cioè di ricostruzione del testo originale, senza conoscere né l’algoritmo né la [...] chiave utilizzati per cifrarlo (→ crittografia) ...
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
Calcolatori
LLew Kowarski
di Lew Kowarski
SOMMARIO: 1. Definizioni e storia: a) i calcolatori come dispositivi numerici; b) i calcolatori come dispositivi elettronici; c) stadi dello sviluppo storico. [...] troverà che un dato problema può essere affrontato e risolto in molti modi diversi, espressi da diversi algoritmi. Una volta scelto e perfezionato un algoritmo conveniente - ciò che resta tuttora compito di un essere umano e non di una macchina - si ...
Leggi Tutto
teoria indecidibile
teoria indecidibile in logica, teoria formalizzata in un sistema formale S per la quale non per ogni formula ben formata a di S esiste un algoritmo di calcolo che riesce a stabilire [...] se a è un teorema della teoria oppure no, vale a dire se a è o non è dimostrabile nel sistema formale dato. Esempi di teorie indecidibili sono l’aritmetica formalizzata dagli assiomi di → Peano e la teoria ...
Leggi Tutto
procedura
procedura in generale il termine è utilizzato come sinonimo di metodo di calcolo, finito e decidibile. In informatica, il termine è utilizzato per indicare un algoritmo attivato da un programma [...] negli altri lemmi di quest’opera, il simbolo ≔ per distinguerlo dal simbolo di uguaglianza. Tuttavia nella scrittura degli algoritmi in linguaggio di progetto si utilizza una scrittura semiformalizzata e spesso si utilizza il simbolo di uguale per ...
Leggi Tutto
pseudocasuale
pseudocasuale [agg. Comp. di pseudo- e casuale] [PRB] Numeri p.: numeri che appaiono come derivanti da un campionamento casuale, ma che sono in realtà generati da un algoritmo deterministico: [...] v. Montecarlo, metodo: IV 105 b ...
Leggi Tutto
automa universale
automa universale espressione utilizzata per indicare un automa in grado di calcolare i valori di una qualsiasi funzione calcolabile. In teoria della calcolabilità è sinonimo di → algoritmo. [...] L’esempio fondamentale di automa universale è quello introdotto da A.M. Turing (→ Turing, macchina di) ...
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....