Insegnare la logica è difficile: gli studenti giungono da differenti aree disciplinari, hanno differenti interessi e spesso sono privi di nozioni logiche e matematiche di base. Unendo chiarezza espositiva e rigore scientifico, il manuale di Lorenzo Magnani e Rosella Gennari permette di rendere la logica comprensibile agli studenti di psicologia, gli algoritmi agli studenti di filosofia, gli aspetti più filosofici agli studenti di ingegneria e matematica. Dato il suo carattere non specialistico il libro si rivolge a un pubblico ampio, che comprende studenti ma anche insegnanti e studiosi. Grazie alle parti introduttive propedeutiche alla comprensione dei temi trattati nei vari capitoli, ai numerosi esempi esplicativi, alle note e brevi cenni storici, Manuale di logica è ideale sia per corsi di introduzione alla logica sia per quelli di intelligenza artificiale e psicologia cognitiva, e può essere un utile strumento anche nei licei e nelle scuole secondarie. Gli autori introducono alle aree fondamentali della logica classica: logica proposizionale, logica del primo ordine, sistemi formali, deduzione naturale, teorema di Gödel e sue conseguenze filosofiche, calcolo della risoluzione e logiche del senso comune, con implicazioni verso la filosofia e l'intelligenza artificiale. Inoltre, sono presenti delle appendici specificamente dedicate alla logica modale, alla logica sfumata e all'analisi non-standard.
Manuale di logica. Logica classica e del senso comune
| Titolo | Manuale di logica. Logica classica e del senso comune |
| Autori | Lorenzo Magnani, Rosella Gennari |
| Curatore | R. Dossena |
| Editore | Guerini Scientifica |
| Formato |
Libro: Copertina morbida |
| Pagine | 320 |
| Pubblicazione | 04/2022 |
| ISBN | 9788881074631 |
Libri dello stesso autore
Ingegnerie della conoscenza. Introduzione alla filosofia computazionale
Lorenzo Magnani
Marcos y Marcos