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. [...] le dimensioni per l'archiviazione. Molti di questi algoritmi si basano su idee che rientrano nel campo degli automi finiti e dei linguaggi formali. Uno dei più famosi è il metodo di Ziv-Lempel che fattorizza l'input in blocchi x1x2…xn… dove xn è la ... Leggi Tutto

CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE

lògica matemàtica

Enciclopedia on line

lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] a essere affrontato in modo sistematico ricorrendo agli strumenti propri della logica matematica, in particolare a quei linguaggi formali che la ricerca logica aveva elaborato per scopi fondazionali. Nel 1931 Alfred Tarski darà la prima definizione ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA

semantica

Enciclopedia on line

semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] discende più direttamente da quella tarskiana è la s. classica a due valori (vero, falso). Un modello classico M per un linguaggio formale L è una coppia <I, D> costituita da una funzione d’interpretazione I e da un insieme non vuoto (finito ... Leggi Tutto

CATEGORIA: LINGUISTICA GENERALE – LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA GENERATIVA – TEORIA DEGLI INSIEMI – LOGICA INTUIZIONISTA

logica

Enciclopedia on line

Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] le regole logiche per costituire le dimostrazioni, il programma di Hilbert richiedeva inevitabilmente uno studio accurato dei linguaggi formali e la formalizzazione della logica. Inoltre, il programma di Hilbert segnò l’avvio di una branca importante ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL DIRITTO – LOGICA – ELETTRONICA

TAGS: PRINCIPIO DEL TERZO ESCLUSO – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI – CALCOLO DIFFERENZIALE

Tarski, Alfred

Enciclopedia on line

Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] sulla semantica dei linguaggi formali, precisando i concetti di verità e di conseguenza logica e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica formale. Vita e ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – LINGUAGGI FORMALI – METAMATEMATICA – SAN FRANCISCO

Dimostrazione, teoria della

Enciclopedia della Scienza e della Tecnica (2007)

Dimostrazione, teoria della Jean-Yves Girard La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] della correttezza e affidabilità ‒ le teorie matematiche si possono vedere come sistemi deduttivi definiti in opportuni linguaggi formali aventi un carattere puramente combinatorio, specificabile in termini di insiemi di assiomi e di regole di ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: FUNZIONE RICORSIVA PRIMITIVA – TEORIA DELLA DIMOSTRAZIONE – QUANTIFICATORE UNIVERSALE – LOGICA DEL PRIMO ORDINE – TEORIA DELLE CATEGORIE

La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia Ettore Casari La scuola di Leopoli-Varsavia Gli inizi La singolare vicenda intellettuale divenuta nota come 'Scuola [...] insiemi di successioni che le soddisfano), tuttavia dalle considerazioni di Tarski ben traspare il progetto generale: trasformare il discorso sui linguaggi formali, sulle strutture di cui questi parlano e sui rapporti attraverso cui appunto quei ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA

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 [...] è costituito da tutte le espressioni (termini) costruibili con i simboli di funzione e i simboli di variabile disponibili nel linguaggio. Formalmente, ogni simbolo di variabile x1,…,xn è un termine e, per ogni simbolo di funzione fi, con mi argomenti ... 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

Modelli, Teoria dei

Enciclopedia della Scienza e della Tecnica (2007)

Modelli, Teoria dei Silvio Bozzi Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] a essere affrontato in modo sistematico ricorrendo agli strumenti propri della logica matematica, in particolare a quei linguaggi formali che la ricerca logica aveva elaborato per scopi fondazionali. Nel 1931 Alfred Tarski darà la prima definizione ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEOREMA DI COMPATTEZZA – GRUPPO DI AUTOMORFISMI – TEORIA DELLA STABILITÀ – CLASSI D'EQUIVALENZA – GEOMETRIA ALGEBRICA