Libri di Orlandelli
Bibliografia di Orlandelli: tutti i libri in vendita online pubblicati nella collana Studi Superiori
Prossime uscite della collana Studi Superiori
Libri previsti in uscita su Unilibro.it:
- 9788843084814 Metodi quantitativi della ricerca sociale
- 9788843070190 Paleantropologia. Un'introduzione
- 9788843055258 Lineamenti di contabilità economica nazionale
- 9788829038633 Scrivere di audiovisivi
- 9788829038244 Storia tecnica dell'arte. Materiali e metodi della pittura e della scultura (secc. V-XIX)
- 9788829038237 Quattro città nel vicino Oriente
- 9788829038220 Verga
- 9788829038213 Genere e media digitali
- 9788829038206 Sociologia dell'innovazione...
- 9788829038190 Teoria sociale applicata
Corso di logica modale proposizionale Orlandelli Eugenio Corsi Giovanna - Carocci, 2019 - Studi Superiori
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.