Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Shopper rossa
Corso di logica. Introduzione al calcolo dei predicati - Dario Palladino - copertina
Corso di logica. Introduzione al calcolo dei predicati - Dario Palladino - copertina
Dati e Statistiche
Wishlist Salvato in 130 liste dei desideri
Corso di logica. Introduzione al calcolo dei predicati
18,70 €
-45% 34,00 €
18,70 € 34,00 €
Attualmente non disp.
Chiudi
Altri venditori
Prezzo e spese di spedizione
Libraccio
18,70 € + costi di spedizione
Usato
Aggiungi al carrello
Altri venditori
Prezzo e spese di spedizione
Altri venditori
Prezzo e spese di spedizione
Libraccio
18,70 € + costi di spedizione
Usato
Aggiungi al carrello
Chiudi

Tutti i formati ed edizioni

Chiudi
Corso di logica. Introduzione al calcolo dei predicati - Dario Palladino - copertina
Chiudi

Promo attive (0)

Descrizione


Lo studio della logica a livello universitario è sempre più diffuso, ma viene spesso affidato a testi di difficile lettura e di grandi dimensioni. Questo volume, rivolto a studenti sia di materie umanistiche sia scientifiche, è una guida introduttiva che coniuga una non comune chiarezza espositiva con il necessario rigore scientifico. Tutti i concetti e le tecniche di calcolo caratteristiche dell'indagine logica sono introdotti in modo graduale e illustrati con molteplici esempi e ogni capitolo è corredato da numerosi esercizi - tutti con risposta, spesso adeguatamente commentata - che consentono di consolidare le conoscenze acquisite.
Leggi di più Leggi di meno

Dettagli

2010
20 maggio 2010
Libro universitario
409 p., ill. , Brossura
9788843054220
Chiudi

Indice

Prefazione
Prefazione alla seconda edizione
Introduzione
La logica: inferenze e ragionamenti
1. Inferenze e proposizioni
2. Regole di inferenza a livello proposizionale
3. Regole di inferenza a livello predicativo
4. Inferenze e ragionamenti
Esercizi
Lettura 1. Deduzione, induzione, abduzione
1. Proposizioni semplici
Proposizioni semplici del primo tipo/Proposizioni semplici del secondo tipo/Variabili libere e vincolate/Descrizioni definite e predicati/Logica dei predicati del primo e del secondo ordine/Considerazioni conclusive sulle proposizioni semplici/In questo capitolo/Esercizi/Verifica le tue conoscenze/Lettura 2. Cenni di storia della logica
2. Proposizioni composte
I principali connettivi vero-funzionali/Altri connettivi vero-funzionali/Forme proposizionali/In questo capitolo/Esercizi/Verifica le tue conoscenze/Lettura 3. Un connettivo vero-funzionale più complesso
3. Logica proposizionale: tautologie
Tavole di verità delle forme proposizionali/Alcune tautologie notevoli/Verifica di tautologie con il metodo indiretto/In questo capitolo/Esercizi/Verifica le tue conoscenze/Lettura 4. Tavole di verità e algebra di Boole
4. Logica proposizionale: equivalenza, conseguenza logica e regole corrette
Equivalenza logica/Conseguenza logica/Correttezza delle regole logiche/In questo capitolo/Esercizi/Verifica le tue conoscenze/Lettura 5. Inferenze e regole di inferenza
5. Il linguaggio e le regole della logica dei predicati
Dalla logica proposizionale alla logica dei predicati/Il linguaggio della logica dei predicati/La semantica della logica dei predicati/Le quattro regole logiche fondamentali per i quantificatori/Alcune regole relative ai rapporti fra quantificatori e connettivi/In questo capitolo/Esercizi/Verifica le tue conoscenze/Lettura 6. Alcune considerazioni sulla logica dei predicati
6. Sillogismi
Sillogismi e loro rappresentazione insiemistica/Verifica della correttezza dei sillogismi/In questo capitolo/Esercizi/Verifica le tue conoscenze/Lettura 7. Logica delle classi e algebra di Boole
7. Logica dei predicati con identità
Gli elementi della logica dei predicati con identità/Quantificatori numerici/Complemento: identità, descrizioni definite e simboli di funzione/In questo capitolo/Esercizi/Verifica le tue conoscenze/Lettura 8. Identità e contesti intensionali
8. Il metodo degli alberi semantici per la logica proposizionale
Le regole per la costruzione dell’albero semantico/Verifica di tautologie/Verifica della relazione di conseguenza logica/In questo capitolo/Esercizi/Verifica le tue conoscenze/Lettura 9. Alberi semantici e algoritmi
9. Il metodo degli alberi semantici per la logica dei predicati
Le ulteriori regole per la costruzione dell’albero semantico/Verifica di validità di formule ben formate/Verifica della relazione di conseguenza logica a livello predicativo/Alberi che procedono all’infinito/ Le regole per la logica dei predicati con identità/In questo capitolo/Esercizi/Verifica le tue conoscenze/Lettura 10. Alberi semantici e decidibilità
10. Il calcolo della deduzione naturale
La logica come “motore inferenziale"/Le regole proposizionali del calcolo della deduzione naturale/Derivazioni del calcolo proposizionale/Regole e derivazioni del calcolo dei predicati/Regole e derivazioni del calcolo dei predicati con identità/Considerazioni sul calcolo della deduzione naturale/Conclusioni/In questo capitolo/Esercizi/Verifica le tue conoscenze/Lettura 11. Logica e teorie deduttive
Esercizi riassuntivi
Sezione 1 – Formalizzazione di proposizioni e formule
Sezione 2 – Esercizi e complementi di logica proposizionale
Sezione 3 – Esercizi su domini e interpretazioni
Sezione 4 – Sillogismi
Sezione 5 – I diagrammi di Venn
Sezione 6 – Esercizi di logica dei predicati
Sezione 7 – Esercizi vari
Sezione 8 – Cavalieri e furfanti
Soluzioni degli esercizi
Bibliografia

Valutazioni e recensioni

4,33/5
Recensioni: 4/5
(6)
Scrivi una recensione Scrivi una recensione
5
(2)
4
(4)
3
(0)
2
(0)
1
(0)

Recensioni pubblicate senza verifica sull'acquisto del prodotto.

Mattia
Recensioni: 4/5

Ottimo libro per iniziare lo studio della logica. Un po' oscuri gli ultimi due capitoli, avrei preferito una spiegazione migliore. Molto interessanti le aggiunte a fine capitolo che danno informazioni per approfondire lo studio anche dal punto di vista storico.

Leggi di più Leggi di meno
IRYNA
Recensioni: 4/5

Ottimo.

Leggi di più Leggi di meno
Alberto
Recensioni: 4/5

Libro valido, preciso, ben spiegato. Ricco di esempi e di esercizi risolti. L'ultimo capitolo sul calcolo logico (deduzione naturale alla Gentzen) non mi pare spiegato bene.

Leggi di più Leggi di meno
Chiudi

Recensioni

4,33/5
Recensioni: 4/5
Scrivi una recensione Scrivi una recensione
5
(2)
4
(4)
3
(0)
2
(0)
1
(0)

Recensioni pubblicate senza verifica sull'acquisto del prodotto.

Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi