Nassi-Shneiderman, diagramma di
Enciclopedia della Matematica (2013)
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 [...] programmazione procedurale. Il metodo è dovuto a due esperti statunitensi di informatica, teorica e applicata, I. Nassi e B. Shneiderman. Esso prevede una descrizione del flusso di istruzione in blocchi che possono essere contenuti uno nell’altro. I ...
Leggi Tutto
Church, Alonzo
Dizionario di filosofia (2009)
Church, Alonzo
Logico e matematico statunitense (Washington 1903 - Hudson, Ohio, 1995). Prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, insegnò dal 1967 matematica [...] ricerca, quali le relazioni con la logica combinatoria di Curry, le questioni di teoria dei tipi e il λ-calcolo, un calcolo di funzioni alla base del primo linguaggio di programmazione funzionale, il LISP. Da ricordare anche l’importante contributo ...
Leggi Tutto
Bohm-Jacopini, teorema di
Enciclopedia della Matematica (2013)
Bohm-Jacopini, teorema di
Böhm-Jacopini, teorema di stabilisce che ogni algoritmo può essere costruito utilizzando unicamente tre strutture (o schemi di controllo), cioè tre schemi aggregativi di istruzioni [...] sono sufficienti espressioni che rappresentino le tre strutture per scrivere e implementare qualsiasi programma. Nella pratica, tuttavia, i linguaggi di programmazione mettono a disposizione anche altre strutture. Per questo l’interesse del teorema è ...
Leggi Tutto
compilatore
Enciclopedia on line
In informatica, programma che traduce il codice sorgente (un altro programma) scritto in un linguaggio di programmazione di alto livello in codice oggetto o target (un terzo programma) scritto in un linguaggio [...] per ottenerne programmi eseguibili. Il processo inverso prende il nome di decompilazione e viene effettuato per mezzo di un decompilatore. possono essere parole chiave, operatori o nomi di variabili; l’analisi sintattica verifica la correttezza ...
Leggi Tutto
CATEGORIA:
PROGRAMMAZIONE E PROGRAMMI
BASIC
Enciclopedia on line
Sigla di Beginner’s all purpose symbolic Instruction code, linguaggio di programmazione ad alto livello, ideato nel 1963 da John Kemeny e Thomas Kurtz al Darthmouth College. Pensato per i principianti, [...] era votato più alla semplicità che alla potenza espressiva. Nel corso degli anni, ai concetti originari se ne sono aggiunti via via altri, rendendo il B. paragonabile agli altri linguaggi di programmazione. ...
Leggi Tutto
CATEGORIA:
PROGRAMMAZIONE E PROGRAMMI
programma
Enciclopedia on line
Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, di una linea di condotta da seguire, degli obiettivi a cui si mira e dei mezzi con cui si intende raggiungerli.
Economia
Nella [...] procedere alla costituzione della società stessa.
Informatica
Insieme coordinato e strutturato di istruzioni, codificato secondo un opportuno linguaggio di programmazione (➔ linguaggio), atte a risolvere un dato problema mediante un calcolatore. In ...
Leggi Tutto
Byron, Augusta Ada, contessa di Lovalace
Enciclopedia on line
Scienziata (n. Londra 1815 - m. 1852), figlia di George Gordon. Considerata la prima programmatrice di elaboratori, per il lavoro svolto sulla macchina ideata da Charles Babbage per calcolare i numeri [...] di Bernouilli. In suo onore è stato denominato ADA un linguaggio di programmazione. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
lambda
Enciclopedia on line
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] e anzi può essere usato per dare una definizione di computabilità di una funzione. In questo senso il l. calcolo è un modello di computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP ...
Leggi Tutto
CATEGORIA:
GRAMMATICA
–
TEMI GENERALI
–
ANTROPOLOGIA FISICA
–
MICROBIOLOGIA
–
FISICA MATEMATICA
–
FISICA NUCLEARE
–
LOGICA MATEMATICA
chiamata
Enciclopedia on line
Nel linguaggio informatico, c. di una subroutine (o a una subroutine): trasferimento dell’esecuzione di un programma a uno specificato entry point di una subroutine (➔ routine), definendo al contempo [...] argomenti, cioè dei parametri formali presenti nella subroutine stessa.
Sequenza di c. Sequenza di istruzioni, propria di ciascun linguaggio di programmazione, mediante la quale si specifica il valore degli argomenti della subroutine, si stabilisce ...
Leggi Tutto
CATEGORIA:
PROGRAMMAZIONE E PROGRAMMI
Bell Telephone Laboratories
Enciclopedia on line
Organizzazione statunitense di ricerca costituita nel 1925 come sussidiaria dell’AT&T (American Telephone and Telegraph) e dal 1996 assorbita dalla Lucent Technologies. Da ricerche (nei campi della [...] , il primo satellite per comunicazioni telefoniche Telstar, il sistema operativo Unix (inizialmente denominato Multics) e il linguaggio di programmazione C (➔ c.). Ben 11 ricercatori, nel corso della loro permanenza presso i B., hanno ricevuto il ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI