indicizzazione
indicizzazione attribuzione di un codice identificativo a ogni elemento di un insieme discreto in modo tale che esso risulti ordinato. Tale codice è spesso un numero naturale, che viene [...] generica può essere indicata con {ai} sottintendendo che l’indice i vari nell’insieme N dei numeri naturali. In particolare, un procedimento di indicizzazione è adottato negli algoritmi di ricerca che agiscono con la modalità di ricerca ad albero. ...
Leggi Tutto
grafi, teoria dei
grafi, teoria dei settore della matematica che studia in modo formalizzato i grafi, riconducendo a un’unica teoria diversi problemi classici: dal problema dei → ponti di Königsberg [...] grafo). Poiché l’→ albero è un particolare grafo, la teoria dei grafi abbraccia anche questioni relative alla costruzione di algoritmi e strutture di dati. Da un punto di vista matematico i grafi sono oggi collegati alla combinatoria (la cosiddetta ...
Leggi Tutto
Lovasz
Lovász László (Budapest 1948) matematico ungherese. Da studente vinse per tre anni consecutivi le Olimpiadi internazionali di matematica. Dopo essere stato docente alla Yale University dal 2006 [...] informatiche della Eötvös Loránd University di Budapest. Le sue ricerche in matematica discreta, per le quali nel 1999 ha ricevuto il Premio Wolf, riguardano l’ottimizzazione combinatoria, gli algoritmi, la complessità e la teoria dei grafi. ...
Leggi Tutto
crittografia
crittografia o criptografia (dal greco kryptós, nascosto, e graphía, scrittura) sistema di scrittura e trasmissione cifrata delle informazioni interpretabile solo da chi conosca il particolare [...] è generata una chiave simmetrica con la quale si esegue la cifratura del messaggio o del documento utilizzando i veloci algoritmi di tipo simmetrico (per esempio des, idea, aes ecc.). Questa chiave è a sua volta cifrata attraverso la chiave pubblica ...
Leggi Tutto
L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] di tipo (a). Il paradigma delle soluzioni in 'forma chiusa' che allora si stabilì spinse in secondo piano lo stile numerico-algoritmico del tipo (b), uno stile che aveva caratterizzato la matematica europea dei secc. XV e XVI (e ancor più le varie ...
Leggi Tutto
Tarjan
Tarjan Robert Endre (Pomona, California, 1948) informatico statunitense e studioso di teoria dei grafi. Laureato in matematica (1969) presso il California Institute of Technology e in scienza [...] -Packard. Nel 1982 gli è stato conferito il Premio Nevanlinna per i suoi importanti contributi relativi alle strutture di dati e all’analisi degli algoritmi, il disegno dei quali deve avere a suo avviso, come preoccupazione prioritaria, l’efficienza. ...
Leggi Tutto
linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono [...] che si comportano come un piccolo programma in miniatura: elaborano dati e forniscono un risultato seguendo un determinato algoritmo. Sono definiti in un punto del programma e possono essere richiamati in altri punti. In corrispondenza della chiamata ...
Leggi Tutto
DSS
– Sigla di Decision support system, insieme di tutti i sistemi sviluppati per mezzo dell'informatica finalizzati a supportare il processo decisionale manageriale. Dal punto di vista informatico i [...] ottenere informazioni che vi sono contenute a livello potenziale (DSS data oriented); una seconda raggruppa quelli basati sugli algoritmi proposti dai metodi quantitativi per la descrizione di fenomeni il cui andamento è di rilevante interesse per il ...
Leggi Tutto
STRUTTURA
Natale Gucci
Mario Como
Roberto Capra
Paolo Zellini
(App. II, II, p. 923; III, II, p. 857; IV, III, p. 504)
Ingegneria civile. Strutture di acciaio. - Le più recenti applicazioni delle [...] H. Goldstine, A. Turing, J. Wilkinson e altri inaugurarono un nuovo tipo di ricerche sulla possibilità di definire algoritmi eseguibili in modo efficiente con un calcolatore. Il termine efficienza è cruciale e discriminante: fino alla metà degli anni ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] α′=βγiδ∈L per ogni i≥0.
Una conseguenza del lemma è la possibilità di decidere se il linguaggio L(A) accettato da un algoritmo finito A di n stati è vuoto, finito o infinito. Infatti L(A) deve contenere almeno una stringa α tale che
[4] formula ...
Leggi Tutto
algoritmista
s. m. [der. di algoritmo] (pl. -i). – Nome con cui sono indicati i seguaci, nell’Europa occidentale dei secoli 12°-13°, delle nuove regole di calcolo contenute nel trattato di al-Khuwārizmī: si distinguevano per l’abbandono dell’abaco...