Descrizione
Vol. in brossura 17 x 24 - Pag. 210 - Ed. 2002 - Cod. 3439
La logica costituisce un prerequisito per diverse discipline, ma non sempre i corsi di studi universitari le dedicano un insegnamento specifico completo. Quando le conoscenze logiche di base vengono impartite all'interno di corsi più ampi, non è facile scegliere un libro di testo introduttivo adatto, nonostante ne siano stati scritti molti. Infatti, i testi classici risultano troppo "difficili", essendo piuttosto tecnici e approfonditi. Nello stesso tempo, spesso i libri che si presentano come maggiormente intuitivi e facilmente assimilabili utilizzano tecniche poco standard, oppure soffrono di una certa inaccuratezza, che penalizza proprio il rigore formale cui dovrebbe portare lo studio della logica. Il primo obiettivo di questo libro è quello di portare a una comprensione del significato del linguaggio della logica classica (proposizionale e dei predicati). Accanto a una presentazione rigorosa della semantica formale della logica classica, viene dedicato ampio spazio alla rappresentazione logica di enunciati espressi in linguaggio naturale, compito in cui spesso si riscontra una notevole difficoltà. La comprensione del significato di un linguaggio non può prescindere dalla padronanza delle sue modalità d'uso. A questo scopo viene presentata la formalizzazione del ragionamento mediante il calcolo di deduzione naturale, dove il significato degli operatori logici è definito per mezzo delle regole che consentono di lavorare con essi. Il libro illustra inoltre i due metodi principali di dimostrazione automatica, il metodo dei tableaux e il metodo di risoluzione. Di quest'ultimo si presentano alcuni raffinamenti, tra cui la risoluzione SLD, che costituisce la base dei linguaggi di programmazione logica. L'ultimo capitolo del libro è dedicato agli informatici, per i quali è a volte più facile comprendere nozioni e definizioni astratte quando se ne vede un'implementazione. Il linguaggio utilizzato è Objective Caml. Nel capitolo vengono presentati anche alcuni programmi di utilità che si possono trovare in Internet e che possono servire a verificare la soluzione di alcuni dei numerosi esercizi proposti nel testo. Un'appendice, infine, contiene la soluzione di altri esercizi.
MARTA CIALDEA MAYER
E' professore associato presso la Facoltà di Ingegneria dell’Università degli Studi di Roma Tre, e docente dei corsi di Intelligenza Artificiale e Programmazione Funzionale. E' autore di numerosi articoli scientifici su temi di logica e pianificazione automatica e di un libro di divulgazione "Invito all'Intelligenza Artificiale", scritto in collaborazione con Luigi Carlucci Aiello e pubblicato da Franco Angeli.
Scheda Tecnica
INDICE
LA LOGICA PROPOSIZIONALE - LOGICA DEI PREDICATI - DEDUZIONE AUTOMATICA - IMPLEMENTAZIONE OCAML DI ALCUNI ALGORITMI - SOLUZIONI DI ALCUNI ESERCIZI
