Fondamenti della matematicae teoria algoritmica dell'informazione
Enciclopedia della Scienza e della Tecnica (2007)
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] true, e
(in-set? (′ q) (′ (x y z)))
dà come risposta false. Qui l'apice ′(quote) interrompe l'elaborazione e introduce i dati non elaborati. Insomma, un programma in LISP non è un elenco di istruzioni che vengono eseguite, ma è un'espressione che dev ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
posizione
Dizionario delle Scienze Fisiche (1996)
posizione
posizióne [Der. del lat. positio -onis, dal part. pass. positus di ponere "porre"] [LSF] (a) Il luogo dove una cosa è posta, in relazione a punti di riferimento. (b) Il porre qualcosa, sia [...] la memoria di un calcolatore elettronico e che corrisponde all'unità elementare per la registrazione e l'elaborazione dei dati; (b) l'indirizzo che identifica la cella stessa. ◆ [ASF] P. di un astro: quella corrispondente alle sue coordinate celesti ...
Leggi Tutto
numerico
Dizionario delle Scienze Fisiche (1996)
numerico
numèrico [agg. (pl.m. -ci) Der. di numero] [ELT] [INF] Calcolatore n.: quello che opera su numeri, in contrapp. a calcolatore analogico, che opera su funzioni. ◆ [ANM] Calcolo n.: parte dell'analisi [...] FTC] [ELT] Controllo n.: sistema di controllo automatico che opera secondo un codice numerico. ◆ [MTR] Densità n.: il numero di dati enti (per es., molecole di un gas) a unità di volume, lo stesso che concentrazione. ◆ [ANM] Funzione n., o aritmetica ...
Leggi Tutto
corrispondenza
Dizionario delle Scienze Fisiche (1996)
corrispondenza
corrispondènza [Der. di corrispondente] [ALG] C. algebrica: quella fra i punti di due rette (complesse) distinte o coincidenti. ◆ [ANM] C. algebrica di indici m e n: se f(x,y)=0 è un'equazione [...] valore y' della y corrispondono m valori della x. ◆ [ANM] C. biunivoca, plurivoca e univoca: v. oltre: C. di insiemi. ◆ [ALG] C. di insiemi: dati due insiemi, A e A', è una relazione che associa a ogni elemento a∈D⊂A uno o più elementi a'∈I⊂A'; l ...
Leggi Tutto
standard
Dizionario delle Scienze Fisiche (1996)
standard
stàndard [s.ingl. standard 〈stèndëd〉, dal fr. ant. estendart "stendardo"] [LSF] Campione o modello di riferimento per una categoria di grandezze o anche, astrattamente, di una categoria di fenomeni: [...] ] [PRB] Deviazione s. o errore s.: è la radice quadrata della varianza di una serie di dati, che dà un'informazione sulla larghezza della distribuzione dei dati stessi: v. misure fisiche: IV 49 b. ◆ [FTC] [CHF] Forza elettromotrice s. di una cella a ...
Leggi Tutto
regressione
Enciclopedia on line
Geologia
Lo spostamento verso il mare della linea di costa. Questo fenomeno (opposto a quello della trasgressione) può verificarsi durante condizioni di stazionarietà o di sollevamento relativo del livello [...] = n1j+ … + nhj il numero complessivo delle unità in cui si osservano rispettivamente le modalità yi e xj. I dati possono essere scritti nella seguente tabella a doppia entrata (tabella di correlazione):
Per ogni j è individuata una distribuzione ...
Leggi Tutto
Micali, Silvio
Enciclopedia on line
Matematico italiano (n. Palermo 1954). Brillante allievo di C. Böhm, si è laureato in Matematica a La Sapienza di Roma (1978), prima di trasferirsi negli Stati Uniti e conseguire un dottorato in Informatica [...] a conoscenza zero” (di cui è co-ideatore), sulla firma digitale e in generale sulla sicurezza informatica. Per i contributi dati alla ricerca, nel 1993 ha vinto il Premio Gödel e nel 2007 è stato chiamato a far parte dell’Accademia Nazionale delle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
accumulatóre
Dizionario delle Scienze Fisiche (1996)
accumulatore
accumulatóre [agg. (f. -trice) e s.m. Der. del lat. accumulator -oris, da accumulare "ammucchiare" che è da cumulus "cumulo"] [LSF] Denomin. di dispositivi, di vario genere, atti a conservare, [...] o altro), opportunamente isolata per ridurre le perdite di calore verso l'esterno. ◆ [ELT] [INF] A. di dati: nella tecnica dei calcolatori elettronici, registro, contenente inizialmente un operando, in cui viene successiv. memorizzato il risultato di ...
Leggi Tutto
problema di Cauchy
Enciclopedia della Scienza e della Tecnica (2008)
problema di Cauchy
Francesco Calogero
Nel contesto delle equazioni differenziali di evoluzione, problema di determinare la soluzione corrispondente a un’assegnazione del dato iniziale. In alcuni casi [...] problema di Cauchy è ‘ben posto’. Per es., il problema di Cauchy è ben posto per l’equazione lineare iperbolica
con dati iniziali
dove le funzioni u0(x), u1(x) sono assegnate e ben definite per ogni valore della variabile indipendente x; laddove ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
supporto
Dizionario delle Scienze Fisiche (1996)
supporto
suppòrto [Der. del fr. support, dal lat. supportare "sopportare, reggere", comp. di sub- "sotto" e portare "portare"] [LSF] Che serve per reggere qualcosa, concret. o figuratamente. ◆ [FTC] [...] , ecc. ◆ [ELT] [INF] S. d'informazione: nella tecnica dei calcolatori elettronici, mezzo fisico su cui sono registrati dati o informazioni, in genere, codificati (spec. nastri o dischi magnetici e listati di stampanti). ◆ [MCC] S. di spinta ...
Leggi Tutto