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 [...] È interessante osservare, tuttavia, che il rapporto tra l'informatica e i suoi fondamenti teorici non è sempre lineare come P ed NP è uno dei più importanti problemi aperti dell'informatica e, più in generale, della matematica. Esso infatti è incluso ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] l'analisi e la fisica nel secolo scorso. È troppo presto per valutare questa previsione di McCarthy. Ciò non impedisce di chiedersi se, negli sviluppi dell'i. dalle origini fino a oggi, esistano segni ...
Leggi Tutto
In informatica e in elettronica, denominazione di uso internazionale dell’operazione logica di inversione (o negazione): data una proposizione logica p, che può essere vera (true) o falsa (false), NOT(p)=false [...] se p=true e NOT(p)=true se p=false ...
Leggi Tutto
In informatica ed elettronica, denominazione internazionale, composta dalla N di NOT e da OR, dell’operazione di inversione (o negazione) della somma logica OR fra variabili booleane, della funzione corrispondente, [...] e anche del circuito che la realizza ...
Leggi Tutto
Informatica
Processo inverso
(reverse engineering) L’attività di analisi di un prodotto (hardware e/o software) e, più in generale, di un dispositivo, ottenuto mediante ingegnerizzazione, al fine di individuarne [...] i principi tecnologici utilizzati e il funzionamento interno e ricostruirne il progetto che ne era alla base. Per es., il reverse engineering del codice in linguaggio macchina di un programma permette ...
Leggi Tutto
In riferimento alla linguistica matematica, e in genere all’informatica, gli elementi f. del linguaggio, sono quelli più concreti e più facilmente analizzabili dell’espressione linguistica, quelli cioè [...] rappresentati dai segni dell’alfabeto o da altri codici, la posizione delle parole nella frase, la loro frequenza ecc., in opposizione a quelli più astratti e perciò meno facilmente traducibili in codici, ...
Leggi Tutto
Segno di punteggiatura (,) che indica pausa debole all’interno del periodo. informatica In informatica e nei sistemi di codificazione numerica, la rappresentazione in v. mobile (floating point) è un metodo [...] di rappresentazione dei numeri decimali nel quale un numero n risulta individuato da due gruppi x e y di cifre di estensione prefissata, detti mantissa ed esponente, tramite la relazione n=xby in cui b ...
Leggi Tutto
Insieme di procedimenti matematici atti a dare la soluzione di un dato problema.
Informatica
Sistemi di c. Complesso di unità periferiche con le quali e per mezzo delle quali un calcolatore, specialmente [...] , ciascuna selezionata in un’ampia gamma di prodotti delle varie case. Questo accentua, nell’organizzazione del lavoro informatico, il ruolo di coloro che devono saper progettare un sistema e trovare per ciascuna funzione il componente migliore ...
Leggi Tutto
Nel linguaggio scientifico e tecnico, diagrammi, strutture e programmi nella cui schematizzazione siano presenti linee chiuse o cicli.
In informatica, successione di operazioni che vengono eseguite ciclicamente [...] nello stesso ordine dal calcolatore, tipicamente con modifiche dei parametri e/o degli operandi a ogni iterazione, finché non sia soddisfatta una qualche condizione di uscita prefissata ...
Leggi Tutto
complessità Caratteristica di un sistema (perciò detto complesso), concepito come un aggregato organico e strutturato di parti tra loro interagenti, in base alla quale il comportamento globale del sistema [...] : alcuni tipici esempi sono i sistemi amorfi, i vetri di spin, le interfacce e le reti neurali.
Informatica
complessità C. computazionale Disciplina che studia la misura delle difficoltà incontrate nel risolvere le varie classi di problemi che ...
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...