L’articolo è stato aggiunto alla lista dei desideri
Consegna Sempre GRATIS nella Tua Libreria
Consegna Gratis su ordini online da 25€
LIBRO
E-mail
Facebook
LinkedIn
Twitter
WhatsApp
Corso di logica modale proposizionale
(0)
Cliccando su “Conferma” dichiari che il contenuto da te inserito è conforme alle Condizioni Generali d’Uso del Sito ed alle Linee Guida sui Contenuti Vietati. Puoi rileggere e modificare e successivamente confermare il tuo contenuto. Tra poche ore lo troverai online (in caso contrario verifica la conformità del contenuto alle policy del Sito).
Grazie per la tua recensione!
Tra poche ore la vedrai online (in caso contrario verifica la conformità del testo alle nostre linee guida). Dopo la pubblicazione per te +4 punti 
18,05 €
-5%
19,00 €
+180
punti
Venditore: Feltrinelli
(Altri 3 da 18,05 €)
Articolo acquistabile con Bonus Cultura 18app e Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Dati e Statistiche
Post sulla Community Fuori di libri
Salvato in 41 liste dei desideri
Post sulla Community Fuori di libri
Salvato in 41 liste dei desideri
Corso di logica modale proposizionale
Disponibilità immediata
18,05 €
-5%
19,00 €
18,05 €
19,00 €
-5%
Disp. immediata
Corso di logica modale proposizionale
Libri
Altri venditori
Prezzo e spese di spedizione
Venduto e spedito da Feltrinelli
18,05 €
Spedizione gratuita
disponibilità immediata
Venduto e spedito da Libreria Internazionale Romagnosi snc
19,00 €
+ 8,90 € Spedizione
disponibile in 3 giorni lavorativi
Venduto e spedito da Libreria Bortoloso
19,00 €
+ 6,30 € Spedizione
disponibile in 5 giorni lavorativi
Venduto e spedito da Libreria Nani
19,00 €
+ 6,50 € Spedizione
disponibile in 8 giorni lavorativi
Altri venditori
Prezzo e spese di spedizione
Venduto e spedito da Feltrinelli
18,05 €
Spedizione gratuita
disponibilità immediata
Venduto e spedito da Libreria Internazionale Romagnosi snc
19,00 €
+ 8,90 € Spedizione
disponibile in 3 giorni lavorativi
Venduto e spedito da Libreria Bortoloso
19,00 €
+ 6,30 € Spedizione
disponibile in 5 giorni lavorativi
Venduto e spedito da Libreria Nani
19,00 €
+ 6,50 € Spedizione
disponibile in 8 giorni lavorativi
Altri venditori
Prezzo e spese di spedizione
Tutti i formati ed edizioni
Promo attive (0)
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.
Leggi di più
Leggi di meno
Autore:
Editore:
Collana:
Anno edizione:
2019
In commercio dal:
13 giugno 2019
Tipo:
Libro universitario
Pagine:
193 p., Brossura
EAN:
9788843095261
Indice
Prefazione
Introduzione
1. Linguaggio e semantica
Linguaggio/Semantica/Schemi validi e non validi/Regole che conservano la validità/Che cos'è una logica modale normale?/Chiusura riflessiva e transitiva
2. Corrispondenza e non esprimibilità
Risultati di corrispondenza/Proprietà non esprimibili
3. Logiche normali
La logica K/Alcune estensioni di K/Validità/Modalità
4. Completezza via modello canonico
Proprietà di insiemi di formule/Modelli canonici/Completezza via canonicità
5. Corrispondenza vs completezza e incompletezza
Incompletezza/Strutture generali/Incompletezza di KVB
6. Modelli finiti e decidibilità
Nozioni preliminari/Filtrazione e modelli finiti
7. KW: la logica della dimostrabilità
Modalità in KW
8. Diagrammi per estensioni di K4.3
Diagrammi finiti per K4.3/Completezza per alcune estensioni di K4.3/Sulle estensioni di K4.3 che dimostrano T
9. Sequenti etichettati
Nozioni introduttive/Il calcolo G3.K/Alcune estensioni di G3.K/Elementi base di metateoria/Validità e completezza/Proprietà strutturali/Decidibilità/Identità e proprietà inesprimibili
Bibliografia
L'articolo è stato aggiunto al carrello
L’articolo è stato aggiunto alla lista dei desideri
