Mondadori Store

Trova Mondadori Store

Benvenuto
Accedi o registrati

lista preferiti

Per utilizzare la funzione prodotti desiderati devi accedere o registrarti

Vai al carrello
 prodotti nel carrello

Totale  articoli

0,00 € IVA Inclusa

Introduzione alle teoria dei linguaggi
Introduzione alle teoria dei linguaggi

Introduzione alle teoria dei linguaggi

by Gaetana Restuccia - Mariafortuna Paratore
pubblicato da Magika

8,50
10,00
-15 %
10,00
Disponibile.
17 punti carta PAYBACK
Aggiungi al carrello
Consegna gratuita con spesa totale superiore a 24€
facebook tweet linkedin google whatsapp
Aggiungi al carrello
Consegna gratuita con spesa totale superiore a 24€
facebook tweet linkedin google whatsapp

Nel calcolo dei predicati del primo ordine l'argomento centrale è il problema della soddisfacibilità di una formula o di un insieme di formule. Il principale scopo è dare criteri di soddisfacibilità ed algoritmi per la costruzione di un modello. In questa direzione, il linguaggio scelto sarà il protagonista, nel senso che la soddisfacibilità è strettamente legata al linguaggio considerato e, più il linguaggio sarà povero, più saranno le possibilità di avere formule valide o soddisfacibili. In questo lavoro si studiano due procedure logiche per la soddisfacibilità: la ricerca degli avatars di una formulae la ricerca dei testimoni di Henkin di una teoria. La prima procedura è un algoritmo utile a costruire un modello per la formula considerata, la seconda ha per finalità la dimostrazione del teorema di Gaodel sull'esistenza di un modello per ogni teoria non contraddittoria del 1° ordine. Nell'appendice si danno le definizioni fondamentali sul tipo di similarità di un linguaggio corredate da esempi, si introducono e si studiano i fondamentali linguaggiprovenienti dall'algebra e dalla geometria. Riterremo note le nozioni fondamentali del calcolo dei predicati del primo ordine.

Dettagli

Generi Lingue e Dizionari » Insegnamento e apprendimento delle lingue » Apprendimento linguistico

Editore Magika

Formato Libro

Pubblicato 12/03/2010

Lingua Italiano

Isbn o codice id 9788889525142

0 recensioni dei lettori  media voto 0  su  5

Scrivi una recensione per "Introduzione alle teoria dei linguaggi"

Introduzione alle teoria dei linguaggi
 

Accedi o Registrati  per aggiungere una recensione

usa questo box per dare una valutazione all'articolo: leggi le linee guida
torna su Torna in cima