problema dell’arresto
Fabrizio Luccio
Primo esempio di problema indecidibile, cioè che non ammette alcun algoritmo di risoluzione. Il problema dell’arresto nacque nel 1936, sulla base di studi sugli [...] (A, A)=true se A(A) termina;
ARR(A, A)=false se A(A) non termina.
L’esistenza di ARR consentirebbe di definire il seguente algoritmo NEW che invoca ARR al suo interno:
NEW(A):
p=true;
while (p=true) do p=ARR (A, A);
la cui computazione termina se e ...
Leggi Tutto
Forma di condotta comunicativa atta a trasmettere informazioni e a stabilire un rapporto di interazione che utilizza simboli aventi identico valore per gli individui appartenenti a uno stesso ambiente [...] del settore, soprattutto dal punto di vista applicativo. Nel 1953 A. Liapounov propose un primo l. per la costruzione di algoritmi, ma tale risultato ebbe poca diffusione. Negli anni 1954-57 un gruppo guidato da J.W. Backus, dell’IBM, sviluppò ...
Leggi Tutto
computazione quantistica
Giulio Casati
Un computer quantistico è una macchina che elabora l’informazione e compie operazioni logiche in base alle leggi della meccanica quantistica. Esso opera cioè secondo [...] di calcolo straordinaria, non confrontabile con quella dei calcolatori classici. Per es., è già stato scoperto un algoritmo quantistico in grado di scomporre un numero in fattori primi con una velocità esponenziale rispetto al calcolatore classico ...
Leggi Tutto
Automazione
Alessandro Agnetis
Alberto Bemporad
Nell’automazione si fondono contenuti e metodologie che si sono sviluppate nella scienza dell’automatica e nella ricerca operativa grazie all’impiego [...] . I componenti fondamentali di un sistema di automazione (control system) sono i dispositivi di misurazione o sensori e un algoritmo di elaborazione. I primi consentono di conoscere, quantitativamente e in tempo reale, lo stato in cui si trova il ...
Leggi Tutto
arresto
arrèsto [Der. del lat. arrestare "fermare", comp. di ad- e restare] [LSF] Atto ed effetto del fermare, del contrastare; talora, sinon. di interdizione. ◆ [MCF] Altezza, o quota di a.: uno dei [...] il range che quelle particelle avrebbero in aria in condizioni normali e quello che esse hanno nel materiale considerato. ◆ [INF] Problema dell'a.: v. algoritmi, teoria degli: I 102 a. ◆ [PRB] Tempo di a. predicibile: v. processi di punto: IV 601 a. ...
Leggi Tutto
Imparare a generalizzare
Manfred Opper
(Neural Computing Research Group, Aston University Birmingham, Gran Bretagna)
Questo saggio fornisce un'introduzione alle teorie che mirano alla comprensione della [...] . In questo caso l'algoritrno di Rosenblatt non funziona, e il problema di trovare il minimo richiede l'utilizzo di algoritmi più complessi. L'errore di addestramento, cioè il numero di errori compiuti sull'insieme di addestramento, è di solito una ...
Leggi Tutto
La grande scienza. Bioinformatica
Anna Tramontano
Bioinformatica
La bioinformatica è una scienza multidisciplinare, al crocevia tra biologia, chimica, matematica, fisica e informatica, che analizza [...] appartenga a una regione con struttura a α-elica o a foglietto β. I valori di preferenza sono poi utilizzati in un algoritmo che, data la sequenza di una proteina, cerca di predire la posizione di α-eliche e filamenti β nella sua struttura. È ...
Leggi Tutto
sistemi real-time
Mauro Cappelli
Sistema operativo capace di reagire a eventi esterni (come un interrupt) con un tempo di risposta molto breve. Più precisamente, in un sistema real-time il tempo massimo [...] ambiente esterno è previsto un apposito strumento di misura temporale (real-time clock) e l’impiego di particolari algoritmi (scheduling algorithms). Le deadlines richieste possono essere soddisfatte in modo stringente (hard real-time) oppure su basi ...
Leggi Tutto
Fisico e informatico italiano (n. Napoli 1936). Conseguita la laurea in Fisica, ha sviluppato un grande interesse per la cibernetica e nel 1970 ha concluso il dottorato in Computer and Communication Sciences [...] edizione del 2011), negli anni T. ha indagato gli aspetti filosofici del rapporto mente-macchina e ha dimostrato un particolare interesse per gli algoritmi evolutivi, la modellistica computazionale di sistemi biologici e le reti neurali ricorrenti. ...
Leggi Tutto
Informatica umanistica
Giovanni Adamo
Tullio Gregory
Parte introduttiva
di Giovanni Adamo
L'espressione informatica umanistica è stata coniata all'inizio degli anni Novanta sul modello di locuzioni [...] (regio dissimilitudinis), in cui si rispecchia la complessità e ambiguità di ogni produzione culturale. È il rapporto fra gli algoritmi, con tutto il loro rigore formale, e la duttile realtà che sta innanzi allo storico.
La problematicità di questo ...
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...