INFORMATICA

Enciclopedia Italiana - IV Appendice (1979)

INFORMATICA Paolo Ercoli Alberto Marini Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] il sì o per il no; e ancora è provata l'esistenza di linguaggi ricorsivamente enumerabili non ricorsivi. Quest'ultima asserzione costituisce una forma astratta del teorema di Gödel che stabilisce che ogni sistema assiomatico consistente e adeguato a ... Leggi Tutto

TAGS: LINGUAGGIO DI PROGRAMMAZIONE – TEORIA DELL'OTTIMIZZAZIONE – TEORIA DELLA COMPUTABILITÀ – ELABORATORE ELETTRONICO – PROBLEMA DELL'ARRESTO

COMPLESSITA'

Enciclopedia Italiana - VI Appendice (2000)

Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] neri. L'induzione ha incontestabilmente un valore euristico, ma non ha valore di prova assoluta. Il teorema di incompletezza di K. Gödel mostra, d'altronde, che un sistema deduttivo formalizzato non può trovare in se stesso la dimostrazione assoluta ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: SENSIBILITÀ ALLE CONDIZIONI INIZIALI – TEORIA SINTETICA DELL'EVOLUZIONE – MEZZI DI COMUNICAZIONE DI MASSA – CORRISPONDENZA BIUNIVOCA – EQUAZIONE DIFFERENZIALE

Cibernetica

Enciclopedia del Novecento (1975)

Cibernetica Ernest H. Hutten di Ernest H. Hutten Cibernetica sommario: 1. Introduzione storica. 2. L'epistemologia delle macchine. 3. La struttura informativa delle macchine. 4. Sistema, processo, informazione [...] o della decisione (Gödel). La nozione metamatematica di costruttività porta al problema di trovare un procedimento che , come quella di Gelernter che dimostra teoremi di geometria, non è altro che una serie di programmi di calcolatore. Essa revisiona ... Leggi Tutto

CATEGORIA: CIBERNETICA E INTELLIGENZA ARTIFICIALE

TAGS: INTELLIGENZA ARTIFICIALE – APPROSSIMAZIONE NUMERICA – RIVOLUZIONE INDUSTRIALE – EQUAZIONI DIFFERENZIALI – PROGRAMMAZIONE LINEARE

La grande scienza. Automi e linguaggi formali

Storia della Scienza (2003)

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. [...] per ogni x∈S si abbia xn+1=xn. Allora il teorema di Schützenberger afferma che un linguaggio razionale è star-free se e soltanto non compaiono, e cioè nella logica formale. Dai lavori di Kurt Gödel degli anni Trenta era noto che la teoria logica degli ... Leggi Tutto

CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE

Automi e linguaggi formali

Enciclopedia della Scienza e della Tecnica (2007)

Automi e linguaggi formali Dominique Perrin La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] tale che per ogni x∈S si abbia xn=xn. Il teorema di Schützenberger afferma che un linguaggio razionale è star-free se e vista a loro estraneo, della logica formale. Dai lavori di Kurt Gödel degli anni Trenta del Novecento era noto che la teoria ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: LINGUAGGIO LIBERO DAL CONTESTO – SISTEMI DI EQUAZIONI LINEARI – LINGUAGGIO DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – RELAZIONE DI EQUIVALENZA

macchina

Dizionario delle Scienze Fisiche (1996)

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 [...] m. formali (o automi), sistemi formali che costituiscono modelli discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic., m. di Turing (v. Gödel, teorema di: III 56 f); (b) teoria delle m., lo studio delle analogie ... Leggi Tutto

CATEGORIA: BIOFISICA – ELETTROLOGIA – FISICA ATOMICA E MOLECOLARE – FISICA DEI PLASMI – FISICA MATEMATICA – FISICA NUCLEARE – FISICA TECNICA – MECCANICA – MECCANICA QUANTISTICA – TEMI GENERALI – TERMODINAMICA E TERMOLOGIA – STATISTICA E CALCOLO DELLE PROBABILITA

logica

Dizionario delle Scienze Fisiche (1996)

logica lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] non quella dei predicati, mentre quella che analizza pure la quantificazione dei predicati è detta l. del secondo ordine: v. Gödel, teorema di: III 54 e. ◆ [FAF] L. enunciativa: lo stesso che l. proposizionale (v. oltre). ◆ [ALG] [FAF] L. formale, o ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

aritmètica

Dizionario delle Scienze Fisiche (1996)

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 [...] che 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 ... Leggi Tutto

CATEGORIA: ALGEBRA – TEMI GENERALI

complessita

Dizionario delle Scienze Fisiche (1996)

complessita complessità [Der. di complesso] [FAF] (a) L'essere complesso, il fatto di costituire un sistema di più parti o elementi interdipendenti in relazione funzionale fra di loro; (b) specific., [...] per simulare il comportamento del sistema: v. Gödel, teorema di: III 58 a. ◆ [MCS] C. algoritmica: v. caos: sviluppi recenti: VI 619 f. ◆ [MCS] C. assoluta di una successione: una possibile misura della c. di una successione (v. oltre): v. entropia e ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – TEMI GENERALI – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA – MECCANICA APPLICATA

stringa

Dizionario delle Scienze Fisiche (1996)

stringa stringa [Der. dell'ingl. string "cordoncino"] [ELT] [INF] Nella tecnica dei calcolatori elettronici, sequenza finita di caratteri alfanumerici registrata in memoria che rappresenta dati in forma [...] codificata: s. alfabetica, di soli caratteri alfabetici, s. di bit, di numeri binari, ecc. ◆ [ALG] S. casuale: v. Gödel, teorema di: III 58 a. ◆ [ASF] S. cosmica: v. cosmologia primordiale: I 803 d. ◆ [RGR] S. relativistica: lo stesso che corda ... Leggi Tutto

CATEGORIA: ASTROFISICA E FISICA SPAZIALE – FISICA MATEMATICA – FISICA NUCLEARE – RELATIVITA E GRAVITAZIONE – TEMI GENERALI – ALGEBRA – ELETTRONICA