Bohm-Jacopini, teoremadiBöhm-Jacopini, teoremadi stabilisce che ogni algoritmo può essere costruito utilizzando unicamente tre strutture (o schemi di controllo), cioè tre schemi aggregativi di istruzioni [...] programmazione mettono a disposizione anche altre strutture. Per questo l’interesse del teorema è soprattutto teorico e la sua importanza, dal punto di vista storico, risiede nell’aver contribuito all’evoluzione della programmazione, ponendo le basi ...
Leggi Tutto
Böhm, Corrado. – Matematico e informatico italiano (Milano 1923 - Roma 2017). Laureatosi nel 1946 in ingegneria elettronica presso il Politecnico di Losanna, ha conseguito il dottorato in matematica al [...] programmazione sulla macchina di Turing è nato, in collaborazione con G. Jacopini, il teoremadiBöhm-Jacopini (1966). Tra i suoi contributi più importanti vi è il cosiddetto teorema della separazione, detto anche teoremadi B., di grande rilevanza ...
Leggi Tutto
algoritmo
algoritmo procedimento sistematico di calcolo, oggi per lo più destinato a essere eseguito da un automa esecutore quale un computer. Il termine deriva dal nome latinizzato del matematico di [...] ƒn−1 = ƒn−2 + ƒn−3 e così via, fino a giungere ai valori di ƒ1 e ƒ2, che sono assegnati e uguali a 1.
Lo schema dell’algoritmo è la nozione di operazione e di procedura calcolabile, è la teoria della → ricorsività (teoremadi → Böhm-Jacopini). ...
Leggi Tutto
controllo, schema di
controllo, schema di espressione che indica gli schemi costruttivi che sono alla base degli algoritmi. Ogni algoritmo, infatti, può essere costruito utilizzando delle strutture di [...] fino a ... fai e il ciclo ripeti ... finché ... (→ ciclo).
Il teoremadi → Böhm-Jacopini stabilisce che ogni algoritmo può essere scritto utilizzando unicamente tre schemi di controllo: sequenza, alternativa e ciclo; questi tre schemi sono alla base ...
Leggi Tutto
BohmBöhm Corrado (Milano 1923) logico italiano. Dopo gli studi in ingegneria elettronica e in matematica a Losanna e Zurigo, ha lavorato nell’area della computer science, presso il Consiglio nazionale [...] cui si afferma che ogni algoritmo può essere implementato utilizzando tre sole strutture: la sequenza, la selezione alternativa e il ciclo (→ Böhm-Jacopini, teoremadi). Successivamente ha insegnato logica matematica presso l’università La Sapienza ...
Leggi Tutto
JacopiniJacopini Giuseppe (Genova 1936 - Roma 2001) matematico e informatico teorico italiano. Ha contribuito allo sviluppo e alla diffusione dell’informatica in Italia. Si laureò in matematica a Roma [...] li portò, nel 1966, a dimostrare un importante teorema (→ Böhm-Jacopini, teoremadi), che costituisce il fondamento teorico delle metodologie di programmazione strutturata. Nello stesso periodo Jacopini aveva raggiunto un risultato teorico ancora più ...
Leggi Tutto
Nassi-Shneiderman, diagramma di
Nassi-Shneiderman, diagramma di metodo grafico di rappresentazione di un algoritmo impiegato in particolare qualora si voglia esprimere l’algoritmo in un linguaggio di [...] non sono collegati fra loro con simboli di interconnessione, come accade nei diagrammi di flusso, ma risultano giustapposti gli uni agli altri. Le strutture di controllo previste (→ Böhm-Jacopini, teoremadi) sono:
• la sequenza, rappresentata con ...
Leggi Tutto
diagramma di flusso
diagramma di flusso o flow chart, schema iconico che visualizza i passi logici che si devono eseguire per risolvere un problema. Più precisamente, si tratta di un metodo per rappresentare [...] e le condizioni da verificare; i blocchi sono collegati tra loro secondo le strutture di controllo della sequenza, dell’alternativa e del ciclo (→ Böhm-Jacopini, teoremadi).
I collegamenti logici ed esecutivi tra le operazioni e le condizioni sono ...
Leggi Tutto
Informatica: salto nel vuoto?
Corrado Böhm
Il titolo del saggio è solo in apparenza fantasioso e, pertanto, occorre in qualche modo chiarirlo. Il salto nel vuoto si riferisce al senso di spaesamento [...] con il teoremadi incompletezza, che ammetteva l’esistenza diteoremi ‘veri’ ma non dimostrabili. Questo teorema non è applicata odierna. Già in un articolo di Giuseppe Jacopini (Macchina universale di von Neumann ad unico comando incondizionato, ...
Leggi Tutto
Pascal
Pascal linguaggio di programmazione di alto livello formulato all’inizio degli anni Settanta a Zurigo dall’informatico svizzero N. Wirth e che prende il nome dal matematico e filosofo francese [...] poter essere eseguito;
• linguaggio strutturato, perché usa i tre schemi di controllo (della sequenza, dell’alternativa e del ciclo; → Böhm-Jacopini, teoremadi) per costruire gli algoritmi, rendendo la programmazione più vicina al linguaggio umano ...
Leggi Tutto