linguaggio C++
Mauro Cappelli
Linguaggio di programmazione orientato agli oggetti inventato da Bjarne Stroustrup, ricercatore dei Bell Labs, nei primi anni Ottanta e commercializzato nel 1985 da AT&T. [...] . È in corso di sviluppo una nuova versione dello standard. Il C++ ha riscosso un notevole successo ed è oggi impiegato in numerose applicazioni, grazie alle sue caratteristiche di chiarezza, realismo, efficienza, flessibilità.
→ Informaticateorica ...
Leggi Tutto
semantica
Silvio Bozzi
Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] insiemistiche; possiamo così interpretare le teorie in categorie come i topos di prefasci o fasci ottenendo risultati che non hanno corrispettivo se ci si limita a interpretazioni puramente insiemistiche.
→ Informaticateorica; Logica matematica ...
Leggi Tutto
Gentzen, Gerhard Karl Erich
Matematico tedesco (Greifswald, Pomerania, 1909 - Praga 1945). Allievo di H. Weyl presso l’univ. di Gottinga, dal 1943 insegnò nell’univ. di Praga. È stato uno dei più importanti [...] dell’aritmetica. Il suo teorema di eliminiazione del taglio è alla base dell’interazione tra la logica e l’informaticateorica. Tra i suoi lavori si segnalano i saggi Untersuchungen über das logische Schliessen I-II (in Mathematische Zeitschrift ...
Leggi Tutto
Wigderson
Wigderson Avi (Haifa 1956) matematico israeliano. Nel 1983, ha conseguito il dottorato di ricerca presso la Princeton University, dove insegna. È un’autorità riconosciuta nei diversi campi [...] delle scienze informaticheteoriche. Il suo principale campo di ricerca è la teoria della complessità computazionale, in cui ha dato importanti contributi per i quali ha ottenuto, nel 1994, il Premio Nevanlinna. Si è occupato anche di crittografia, ...
Leggi Tutto
taglio, eliminazione del
taglio, eliminazione del in logica, e in particolare nel calcolo dei → sequenti, possibilità di non utilizzare la regola del taglio (→ taglio, regola del) in una dimostrazione. [...] in cui non si faccia uso di tale regola, rendendo così le deduzioni del calcolo dei sequenti assimilabili a procedure algoritmiche e stabilendo un legame fra la teoria della dimostrazione e l’informaticateorica (→ Curry-Howard, isomorfismo di). ...
Leggi Tutto
Curry-Howard, isomorfismo di
Curry-Howard, isomorfismo di corrispondenza fra dimostrazioni logiche e programmi informatici che si assume come nesso fra la logica e l’informaticateorica. In base a tale [...] isomorfismo, ogni prova della logica intuizionista corrisponde a un termine del λ-calcolo semplicemente tipato, che a sua volta può essere pensato come un programma. L’esecuzione di questo programma corrisponde ...
Leggi Tutto
Informatica umanistica
Andrea Bozzi
La definizione dell’informatica umanistica come disciplina nella quale interagiscono la scienza dell’informazione, l’utilizzo di sistemi di calcolo e il vasto universo [...] molto generali, trattandosi di un sistema di particolare complessità teorica e tecnica, si può dire che la struttura di anche una sola parola) che egli ha trascritto. Il sistema informatico mette, inoltre, a disposizione un campo della base dati nel ...
Leggi Tutto
informatica archeologica
informàtica archeològica locuz. sost. f. – Disciplina recente e in continua evoluzione che promuove lo sviluppo di procedure e metodologie d’indagine formalizzate per acquisire, [...] applicazioni pratiche e correnti di pensiero dell’archeologia teorica, rivolgendo particolare attenzione alla formalizzazione e alla sul campo alle indagini di laboratorio, l’informatica si propone come una piattaforma integrata per gestire ...
Leggi Tutto
televisione Sistema di telecomunicazione destinato alla trasmissione immediata a distanza, per mezzo di un cavo elettrico o di un radiocollegamento, di immagini non permanenti di oggetti fissi o in movimento; [...] fissata in pratica pari a circa il 75 % di quella teorica.
Perché la trasmissione delle immagini avvenga con una risoluzione non della radiodiffusione, delle telecomunicazioni e dell’informatica. Le comunicazioni diventano multimediali e viene ...
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 [...] in altri (per es., nei Passeriformi canori).
Informatica
Un l. è un sottoinsieme dell’insieme delle 1959 J. McCarthy progettò il l. LISP. Nonostante l’interesse teorico, tale l., basato sul concetto matematico di funzione e sulla possibilità ...
Leggi Tutto
complessita
complessità s. f. [der. di complesso1]. – 1. L’esser complesso (nelle varie accezioni dei sign. 1 e 2 di quest’agg.): c. di una questione, di un ragionamento, di una costruzione teorica; c. di un atto giuridico; esaminare una situazione...
tecnico
tècnico agg. e s. m. (f. -a) [dal lat. technĭcus, gr. τεχνικός, der. di τέχνη «arte»] (pl. m. -ci). – 1. agg. a. Relativo alle applicazioni e realizzazioni pratiche di un’arte, di una scienza o di una disciplina, di un’attività: nozioni...