teoria-dei-modelli: documenti, foto e citazioni nell'Enciclopedia Treccani

Sistemi, scienza e ingegneria dei

Enciclopedia del Novecento (1982)

Sistemi, scienza e ingegneria dei AArnaldo M. Angelini di Arnaldo M. Angelini SOMMARIO: 1. Premessa. □ 2. Considerazioni generali: a) applicazione della scienza dei sistemi agli esseri viventi; b) applicazione [...] e la ricostruzione nell'assieme originario. I metodi e gli strumenti impiegati dalla diakoptics sono la teoria dei modelli, la teoria dei grafi, la teoria delle reti interconnesse, che hanno rappresentato il punto di partenza in lavori che Krone ha ... Leggi Tutto

Edilizia e costruzioni

Enciclopedia del Novecento (1977)

Edilizia e costruzioni Konrad Wachsmann Elio Giangreco di Konrad Wachsmann e Elio Giangreco EDILIZIA E COSTRUZIONI Costruzioni in acciaio di Konrad Wachsmann sommario: 1. Introduzione. 2. Punti nello [...] delle variabili in gioco e che è tanto più interessante, anche se più onerosa, quanto più le condizioni del modello si avvicinano a quelle del prototipo. La teoria dei modelli, che si fonda sul principio di similitudine fisica fra il prototipo e il ... Leggi Tutto

CATEGORIA: ARCHITETTURA E URBANISTICA – EDILIZIA

Dalla scoperta dell'Antico all'archeologia moderna

Il Mondo dell'Archeologia (2002)

Dalla scoperta dell'Antico all'archeologia moderna Giovanni Rizza Premessa L'archeologia è una scienza storica che si distingue dalle altre discipline in quanto oggetto del suo studio sono i manufatti. [...] proposte della "Nuova Archeologia" un buon seguito ha trovato, soprattutto nell'ambito della ricerca preistorica, la teoria dei "modelli", utilizzati specialmente per la definizione di procedure atte a cogliere nel loro contesto, e quindi al massimo ... Leggi Tutto

CATEGORIA: TEMI GENERALI

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi Gabriele Lolli La teoria degli insiemi La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] in una struttura, che dipende dal teorema di Ramsey, ha portato a importanti applicazioni della teoria dei modelli in teoria degli insiemi; dati cardinali con proprietà di partizioni sufficientemente potenti, si vede che esistono classi ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA

INFORMAZIONE E COMPUTAZIONE QUANTISTICA: TEORIA

XXI Secolo (2010)

Informazione e computazione quantistica: teoria Mario Rasetti Al crocevia tra scienza e tecnologia La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] che i teoremi di Gödel comportano è l’esistenza di un’inesauribile molteplicità di modelli (nel senso della teoria dei modelli dei sistemi formali assiomatici) che la teoria degli insiemi assiomatica è in grado di fornire e con cui, proprio in virtù ... Leggi Tutto

logica

Enciclopedia della Matematica (2013)

logica logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] ad A. Tarski (1935) il merito di una precisa fondazione della metateoria semantica dei linguaggi formalizzati. Nasce con questo la teoria dei → modelli, branca della moderna logica matematica. Pur fallito, il programma hilbertiano lasciò però aperta ... Leggi Tutto

TAGS: INSIEME RICORSIVAMENTE ENUMERABILE – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA → PROBABILITÀ – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI

interpretazione

Dizionario di filosofia (2009)

interpretazione Il termine copre una molteplicità di usi, tutti più o meno riconducibili a un procedimento di decodifica di un testo (per es., della Bibbia), di un simbolo o anche di un comportamento [...] e logicaSecondo la formulazione originariamente proposta da Tarski negli anni Trenta del Novecento (correntemente nota come teoria dei modelli), in logica si intende per i. l’assegnazione di denotati o estensioni, appartenenti a un prefissato ... Leggi Tutto

fondamenti della matematica

Enciclopedia della Matematica (2017)

fondamenti della matematica fondamenti della matematica locuzione con la quale si indica, in senso lato, lo studio delle basi epistemologiche della logica e della matematica; in senso stretto, l’espressione [...] si riferisce a una branca della matematica costituita da uno specifico gruppo di discipline (teoria degli insiemi, teoria delle funzioni ricorsive, teoria dei modelli ecc.) ciascuna delle quali, in piena autonomia metodologica, trae la sua origine ... Leggi Tutto

TAGS: PRINCIPIO DEL TERZO ESCLUSO – GEOMETRIE NON EUCLIDEE – TEORIA DEGLI INSIEMI – TEORIA DEI MODELLI – FUNZIONI RICORSIVE

definibilita

Enciclopedia della Scienza e della Tecnica (2008)

definibilità Silvio Bozzi Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] per individui (in questo caso a∈DM è definibile se lo è {a}). Ricerche fondamentali della moderna teoria dei modelli studiano e classificano gli insiemi definibili o definibili con particolari modalità in strutture matematicamente significative. Per ... Leggi Tutto

CATEGORIA: LOGICA

categoricita

Enciclopedia della Scienza e della Tecnica (2008)

Categoricità Silvio Bozzi Concetto introdotto nel 1905 dal matematico Oscar Veblen e oggi al centro di gran parte dell’attuale teoria dei modelli. In termini generali, una teoria T formulata in un qualsiasi [...] , Ehud Hrushowski e altri. Numerosi e fondamentali sono i risultati che collegano la categoricità ad altre proprietà centrali (stabilità, minimalità, omogeneità ecc.) e sono applicati a teorie e problemi di interesse matematico. → Modelli, teoria dei ... Leggi Tutto

CATEGORIA: ALGEBRA