sistema-formale_(matematica): documenti, foto e citazioni nell'Enciclopedia Treccani

Informatica teorica

Enciclopedia della Scienza e della Tecnica (2007)

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 [...] , sono state proposte adeguate metodologie per opera di Robert W. Floyd, Peter Naur e, in particolare, Hoare. Nel sistema formale proposto da Hoare (chiamato logica di Hoare o, a volte, semantica assiomatica) viene data particolare enfasi all'analisi ... Leggi Tutto

CATEGORIA: MATEMATICA APPLICATA – PROGRAMMAZIONE E PROGRAMMI

TAGS: PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – INSIEMI PARZIALMENTE ORDINATI – LINGUAGGI DI PROGRAMMAZIONE – RETI DI TELECOMUNICAZIONI – CALCOLATORI ELETTRONICI

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, [...] con tanta precisione che si può stabilire un algoritmo di verifica per le dimostrazioni. Definiremo teoria assiomatica formale un siffatto sistema formale. Come è stato mostrato da Alan Turing e ulteriormente chiarito da Emil Leon Post, l'insieme X ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

estensione

Dizionario delle Scienze Fisiche (1996)

estensione estensióne [Der. del lat. extensio -onis, dal part. pass. extensus di extendere (→ estensibile)] [LSF] (a) Con signif. concreto, dimensione geometrica in genere, e cioè, a seconda dei casi, [...] occupata da un determinato ente e anche la relativa misura. ◆ [FAF] (a) Di un termine, un concetto, un predicato, un sistema formale, e simili, è il contenuto di ciascuno di essi. (b) Con altra accezione, nella logica, la classe di tutti gli oggetti ... Leggi Tutto

CATEGORIA: ACUSTICA – BIOFISICA – FISICA MATEMATICA – RELATIVITA E GRAVITAZIONE – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

godelizzazione

Dizionario delle Scienze Fisiche (1996)

godelizzazione gödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logica matematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione [...] scelgono una volta per tutte più numeri interi a, b, c, d, ..., da farsi corrispondere ordinatamente ai vari segni del sistema formale, T; ciò fatto, si consideri un'espressione qualsiasi A di T; essa è costituita da una certa successione di segni di ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

realizzazione

Dizionario delle Scienze Fisiche (1996)

realizzazione realizzazióne [Atto ed effetto del realizzare "rendere reale, fare", da reale] [ALG] [FAF] Nella logica matematica è, talvolta sinon. di modello. ◆ [ELT] Nella teoria dei sistemi, la determinazione [...] i concetti indeterminati di una teoria su concetti specifici di una struttura in modo tale che tutti gli enunciati dimostrabili del sistema formale risultino asserzioni vere nella struttura: se una r. di questo genere esiste si dice anche che il ... Leggi Tutto

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

realizzabile

Dizionario delle Scienze Fisiche (1996)

realizzabile realizzàbile [agg. Der. di realizzare "che può essere realizzato" (→ realizzazione)] [ALG] [FAF] Sistema formale r.: → realizzazione: R. di una teoria formale. ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

sistema

Enciclopedia on line

sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] è stato talvolta concepito come un insieme articolato di programmi, norme e relazioni formali all’interno di una comunità educante. Ormai, però, l’approccio sistemico non si limita a considerare la struttura dei corsi di studio, i programmi ... Leggi Tutto

CATEGORIA: ANATOMIA MORFOLOGIA CITOLOGIA – SISTEMATICA E FITONIMI – TEMI GENERALI – CHIMICA FISICA – CHIMICA INORGANICA – FISICA MATEMATICA – METROLOGIA – OTTICA – ALGEBRA – ANATOMIA – ORGANISMI E ORGANIZZAZIONI INTERNAZIONALI – STORIA E FILOSOFIA DEL DIRITTO – METODI TEORIE E PROVVEDIMENTI – MONETAZIONE – DOTTRINE TEORIE E CONCETTI – FILOSOFIA DEL DIRITTO – METAFISICA – SCIENZE DELLA FORMAZIONE – SOCIOLOGIA – POLITOLOGIA – MECCANICA APPLICATA

TAGS: EQUAZIONI ALLE DERIVATE PARZIALI – FONDO MONETARIO INTERNAZIONALE – TEOREMA DI ROUCHÉ-CAPELLI – SISTEMA MONETARIO EUROPEO – ACCORDI DI BRETTON WOODS

sistema

Dizionario delle Scienze Fisiche (1996)

sistema sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] . teoria: VI 131 d. ◆ [ALG] [FAF] S. formale: una teoria deduttiva costituita solo dal suo linguaggio simbolico, dal suo , in altri paesi, nel-l'ambito tecnico): v. unità di misura, sistemi di: VI 409 d. ◆ [MTR] S. internazionale di unità di misura ... Leggi Tutto

CATEGORIA: TEMI GENERALI – ACUSTICA – ASTROFISICA E FISICA SPAZIALE – BIOFISICA – FISICA ATOMICA E MOLECOLARE – FISICA MATEMATICA – FISICA NUCLEARE – FISICA TECNICA – GEOFISICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – METROLOGIA – OTTICA – RELATIVITA E GRAVITAZIONE – STORIA DELLA FISICA – TERMODINAMICA E TERMOLOGIA – ALGEBRA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA – MECCANICA APPLICATA

matematica

Enciclopedia on line

Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] cifre e lo zero, attribuendo alle cifre stesse un valore di posizione. Tale sistema si incontra già in un trattatello del 4° o 5° sec. d.C dello status degli enti matematici, dall’intuizionismo al formalismo fino agli importanti risultati di K. Gödel ... Leggi Tutto

CATEGORIA: TEMI GENERALI – MATEMATICA APPLICATA – STORIA DELLA MATEMATICA – EPISTEMOLOGIA – METAFISICA

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – SISTEMA DI NUMERAZIONE POSIZIONALE – SISTEMA DI NUMERAZIONE DECIMALE – TEORIA DELLE RAPPRESENTAZIONI – PROBLEMA DEI QUATTRO COLORI

modello

Enciclopedia on line

In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui tali espressioni sono valide dove (b1′, b2′, ..., bp′) è una qualsiasi soluzione del sistema normale. Per il problema b) ci si basa sul confronto ... Leggi Tutto

CATEGORIA: ARCHITETTURA E URBANISTICA – SCULTURA – FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – ECOLOGIA – ALGEBRA – GEOMETRIA – LOGICA MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – DIRITTO PRIVATO – STORIA E FILOSOFIA DEL DIRITTO – METODI TEORIE E PROVVEDIMENTI – EPISTEMOLOGIA – FILOSOFIA DEL DIRITTO – FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE

TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM