
-
DISPONIBILITÀ IMMEDIATA
{{/disponibilitaBox}}
-
{{speseGratisLibroBox}}
{{/noEbook}}
{{^noEbook}}
-
Libro
-
-
SPEDIZIONE GRATUITA con corriere veloce per acquisti oltre 29,00 €
CORSO DI LOGICA MODALE PROPOSIZIONALE
orlandelli eugenio; corsi giovanna
19,00 €
18,05 €
{{{disponibilita}}}
Disponibilità Normalmente disponibile in 20 giorni
TRAMA
Le logiche modali rappresentano uno dei campi più ricchi e innovativi della logica contemporanea, e date le loro molteplici applicazioni filosofiche, matematiche e informatiche risultano tra gli strumenti formali più importanti. Il volume tratta gli aspetti fondamentali sia a livello sintattico che semantico delle logiche modali proposizionali e ne presenta vari teoremi di completezza attraverso la tecnica dei modelli canonici, quella dei diagrammi e quella dei calcoli di sequenti con etichette. Vengono inoltre discusse diverse proprietà metateoriche quali canonicità, decidibilità, proprietà del modello finito, finita assiomatizzabilità, esprimibilità modale di proprietà del primo o del secondo ordine. Il testo, senza presupporre conoscenze specifiche se non quella della logica proposizionale classica, fornisce agli studenti di filosofia, matematica e informatica gli strumenti essenziali per un corso introduttivo alle logiche modali e alla loro metateoria.ALTRE INFORMAZIONI
- Condizione: Nuovo
- ISBN: 9788843095261
- Collana: STUDI SUPERIORI
- Formato: Brossura
- Pagine Arabe: 193