L’articolo è stato aggiunto alla lista dei desideri
LIBRO
E-mail
Facebook
LinkedIn
Twitter
WhatsApp
Corso di logica modale proposizionale
(1)
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: IBS
(Altre 1 offerte da 18,05 €)
Articolo acquistabile con Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Dati e Statistiche
Salvato in 54 liste dei desideri
Salvato in 54 liste dei desideri
Corso di logica modale proposizionale
Disponibilità immediata
18,05 €
-5%
19,00 €
18,05 €
19,00 €
-5%
Disp. immediata
Altre offerte vendute e spedite dai nostri venditori
Libri
Corso di logica modale proposizionale
Altri venditori
Prezzo e spese di spedizione
Nuovo
disponibilità immediata
Venduto e spedito da
IBS
disponibilità immediata
Spedizione Gratis
-5%
19,00 €
18,05 €
Nuovo
disponibilità in 11 giorni lavorativi
Venduto e spedito da
Libreria Bortoloso
5/
5
(302 opinioni)
disponibilità in 11 giorni lavorativi
5/
5
(302 opinioni)
Spedizione 6,30 €
19,00 €
Altri venditori
Prezzo e spese di spedizione
Nuovo
disponibilità immediata
Venduto e spedito da
IBS
disponibilità immediata
Spedizione Gratis
-5%
19,00 €
18,05 €
Nuovo
disponibilità in 11 giorni lavorativi
Venduto e spedito da
Libreria Bortoloso
5/
5
(302 opinioni)
disponibilità in 11 giorni lavorativi
5/
5
(302 opinioni)
Spedizione 6,30 €
19,00 €
Altri venditori
Prezzo e spese di spedizione
Tutti i formati ed edizioni
Promo attive (1)
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
5/5
5
(1)
4
(0)
3
(0)
2
(0)
1
(0)
Scrivi una recensione
Recensioni pubblicate senza verifica sull'acquisto del prodotto.
Leonardo
11 dicembre 2019
La logica modale, per la sua versatilità, è uno degli argomenti più studiati dalla logica contemporanea. Questo testo, uno dei pochi in lingua italiana, è l'ideale per muovere i primi passi in una disciplina interessante e che si impone, per i filosofi e non solo, come irrinunciabile.
Leggi di più
Leggi di meno
Recensioni
5/5
Scrivi una recensione
5
(1)
4
(0)
3
(0)
2
(0)
1
(0)
Recensioni pubblicate senza verifica sull'acquisto del prodotto.
L'articolo è stato aggiunto al carrello
Informazioni e Contatti sulla Sicurezza dei Prodotti
Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da IBS, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.ibs.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.
Per informazioni sulla sicurezza dei prodotti, contattare complianceDSA@feltrinelli.it
L’articolo è stato aggiunto alla lista dei desideri
