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; [...] una nuova metodica di indagine che si contrappone alla tradizionale tendenza a ridurre il complesso al semplice. In matematica e in informaticateorica, teoria della c., studio degli algoritmi in base ai quali possono essere sviluppati i programmi ...
Leggi Tutto
computabile
computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica [...] . più concreto si dicono computabili quelle funzioni che, in linea di principio, possono essere calcolate con un elaboratore adeguatamente programmato; la teoria della computabilità (o della ricorsività) studia i limiti teorici di tale possibilità. ...
Leggi Tutto
elementare
agg. [dal lat. mediev. elementaris, lat. tardo elementarius]. – 1. a. Che ha natura di elemento o che si riferisce a un elemento: sostanze, corpi e., che non si possono scomporre, semplici; [...] quelli che costituiscono le basi della conoscenza; i principî e. di una costruzione teorica; nozioni e. di musica, di disegno, di geografia, d’informatica, ecc.; insegnare, apprendere le regole e. del gioco. Nell’ordinamento scolastico, insegnamento ...
Leggi Tutto
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 [...] t. del genio, di meteorologia, di informatica; ruolo t.-amministrativo, ruolo t.-operativo; nella oggi più com.) di colorista. Con senso generico, e in contrapp. ai teorici, oppure ai professionisti, e in qualche caso ai politici: oggi c’è più ...
Leggi Tutto
istruzione
istruzióne (ant. instruzióne) s. f. [dal lat. instructio -onis, der. di instruĕre: v. istruire]. – 1. a. L’attività, l’opera svolta per istruire attraverso l’insegnamento (o anche, in qualche [...] un’azione diretta sullo spirito più che sull’intelletto); i. teorica, pratica; i. letteraria, scientifica, tecnica, professionale; i. modo di far funzionare un apparecchio. c. In informatica, elemento della programmazione con cui si richiede al ...
Leggi Tutto
lìnea s. f. [dal lat. linea, der. di linum «lino2»; propr. «filo di lino»]. – 1. a. Ente geometrico che si estende nel senso della sola lunghezza, e che può essere matematicamente definito indipendentemente [...] Oriente e Occidente. b. Con riferimento all’informatica, linea di trasmissione dati, quella destinata a iure e de facto); analogam., con un agg., in l. generale, in l. teorica, e sim. 9. Antica unità di misura di lunghezza pari a circa 1/144 ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi e dei processi per la rappresentazione dell'informazione...
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla nozione di calcolo. Nasce la teoria della...