Corso Di Logica Modale Proposizionale - Orlandelli Eugenio ; Corsi Giovanna | Libro Carocci 01/2019 - HOEPLI.it


home libri books ebook dvd e film top ten sconti 0 Carrello


Torna Indietro
ARGOMENTO:  LIBRI > FILOSOFIA > LOGICA

orlandelli eugenio ; corsi giovanna - corso di logica modale proposizionale

CORSO DI LOGICA MODALE PROPOSIZIONALE

;




Disponibilità: solo 1 copia disponibile, compra subito!

PREZZO
19,00 €
NICEPRICE
18,05 €
SCONTO
5%



SPEDIZIONE GRATIS
con corriere veloce per acquisti oltre 29,00 €.


Pagabile anche con App18 Bonus Cultura e Carta Docenti


Facebook Twitter Aggiungi commento


Dettagli

Genere:Libro
Lingua: Italiano
Editore:

Carocci

Pubblicazione: 01/2019





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

ISBN:

9788843095261

Condizione: Nuovo
Collana: STUDI SUPERIORI
Formato: Brossura
Pagine Arabe: 193






Utilizziamo i cookie di profilazione, anche di terze parti, per migliorare la navigazione, per fornire servizi e proporti pubblicità in linea con le tue preferenze. Se vuoi saperne di più o negare il consenso a tutti o ad alcuni cookie clicca qui. Chiudendo questo banner o proseguendo nella navigazione acconsenti all’uso dei cookie.

X