Matematica
Il concetto di a. è una generalizzazione del concetto classico di funzione (➔ corrispondenza). Si parla di a. di un insieme P in un insieme Q, quando tra i due si stabilisce una corrispondenza [...] equipotenti e l’a. stabilisce tra gli elementi dell’uno e quelli dell’altro una corrispondenza biunivoca.
Tecnica
Nell’ingegneria informatica, un’a. è un programma o gruppo di programmi che svolge un insieme di funzioni proprie di uno specifico ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] difficili un computer Cray girava in background, per i più facili si usava un microcomputer).
Nella direzione opposta, l'informatica è stata una ricca fonte di ispirazione e di problemi per la combinatoria. Anche prima della costruzione dei computer ...
Leggi Tutto
traccia botanica T. fogliare Il fascio vascolare che congiunge il sistema vascolare della foglia con quello del caule; si estende dalla base della foglia fino al punto della stele nel quale si stacca da [...] dei suoni sulla colonna sonora.
Nei registratori magnetici, t. magnetica, lo stesso che pista magnetica; più in generale, in informatica, ognuna delle partizioni in cui sono suddivisi i dischi a lettura ottica, i floppy disk o i dischi rigidi.
In ...
Leggi Tutto
aritmetica
aritmètica [Der. del lat arithmetìca, dal gr. arithmós "numero"]. Parte della matematica concernente lo studio dei numeri, soprattutto dei numeri interi; il termine, per la prima volta usato [...] si incontrano nella definizione formale dell'a. v. Gödel, teorema di: III 53 c. ◆ [INF] A. a virgola mobile: nell'informatica e nei sistemi di codificazione numerica, metodo di rappresentazione dei numeri interi e frazionari partic. utile nel caso di ...
Leggi Tutto
macchina
màcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] per la m. analitica, a schede perforate, di C. Babbage, 1835: → calcolatrice. L'uso più astratto del termine ricorre, nell'informatica, in varie locuz., quali, per es.: (a) m. formali (o automi), sistemi formali che costituiscono modelli discreti del ...
Leggi Tutto
In una qualunque superficie generata dalla rotazione di una curva intorno a un asse fisso e a essa rigidamente collegato (superficie di rotazione), il cerchio descritto da un punto della curva generatrice, [...] proprio asse. I p. celesti sono perpendicolari all’asse del mondo e hanno i centri su di esso.
Informatica
Calcolo p. Procedure e algoritmi concepiti in modo da generare famiglie di operazioni indipendenti da eseguire simultaneamente con processori ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] delle discipline musicologiche, avvalendosi però anche dell’apporto di altre materie, dalla psicologia alla linguistica, dalla semiotica all’informatica, e articolandosi in una molteplicità di metodi e di approcci. L’ a. ermeneutica (H. Kretzchmar, A ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] in modo efficiente un linguaggio di programmazione di alto livello si può considerare uno dei grandi successi nella storia dell'informatica. Il primo compilatore Fortran fu scritto da Backus negli anni Cinquanta. Da allora centinaia di linguaggi di ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] . La modellistica computazionale è un settore di ricerca interdisciplinare, che si trova alla confluenza della matematica, dell'informatica e delle scienze applicate. La sua evoluzione è stata molto rapida negli anni recenti, grazie al vigoroso ...
Leggi Tutto
analisi
anàlisi [Der. del gr. análysis "scomporre in elementi"] [LSF] Scomposizione di un tutto, concreto o astratto, nelle parti che lo costituiscono, soprattutto a scopo di studio; si oppone a sintesi, [...] loro interrelazioni, allo scopo di renderlo più razionale ed efficiente (v. segnali, analisi dei); (b) in partic., nell'informatica, l'a. di un sistema è compiuta per affidarne l'elaborazione a un calcolatore elettronico; è una fase fondamentale nell ...
Leggi Tutto
informatica
informàtica s. f. [dal fr. informatique, comp. di informat(ion) e (automat)ique «informazione automatica», termine coniato da Ph. Dreyfus (1962)]. – L’insieme dei varî aspetti scientifici e tecnici che sono specificamente applicati...
informatico
informàtico agg. e s. m. [der. di informatica, per traduz. del fr. informatique come agg. e informaticien come sost.] (pl. m. -ci). – 1. agg. Relativo all’informatica: procedimenti, sistemi, mezzi i.; trattamento i. dei dati; documento...