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

Modelli canonici di Herbrand e modelli numerabili
Modelli canonici di Herbrand e modelli numerabili

Modelli canonici di Herbrand e modelli numerabili

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

Il modello di Herbrandt è un modello standard che permette di dimostrare teoremi importanti in Logica dei Predicati, quando non si possa disporre di un esempio concreto di modello per la soddisfacibilità di una formula, è di solito infinito,ossia con supporto (insieme universo) di cardinalità infinita, se nella formula considerata compare almeno una funzione di Skolem. Ciò non diminuisce tuttavia la sua importanza, poichè è possibile trovare basi di Herbrand per la soddisfacibilità. Infatti esempi di formule non valide si trovano di solito prendendo in esame insiemi di supporto di piccola cardinalità (2 elementi). Nel Capitolo 1 di questo lavoro si studia il modello di Herbrandt e la proprietà del modello numerabile, in connessione col modello di Herbrandt. Il Capitolo 2 è dedicato allo studio dei tableaux infiniti della logica dei predicati ed alla loro modellizzazione matematica con grafi infiniti.Il risultato cruciale è che la logica fornisce una nuova classe di grafi il cui studio è molto interessante dal punto di vista matematico.

Dettagli

Generi Scienza e Tecnica » Matematica » Opere divulgative

Editore Magika

Formato Brossura

Pubblicato 12/03/2010

Pagine 24

Lingua Italiano

Isbn o codice id 9788889525159

0 recensioni dei lettori  media voto 0  su  5

Scrivi una recensione per "Modelli canonici di Herbrand e modelli numerabili"

Modelli canonici di Herbrand e modelli numerabili
 

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