Libri di Luigia Carlucci Aiello

Il libro nasce dall’esperienza pluriennale di insegnamento da parte delle autrici nei corsi di Linguaggi e sistemi formali. Quasi tutti i capitoli sono stati testati durante lo svolgimento di vari corsi e raccolgono il feedback degli studenti. Molti degli esercizi proposti sono stati assegnati come esercizi d’esame. Il libro è di impianto teorico, non legato a tecnologie specifiche, destinate a diventare obsolete. Affronta tre argomenti principali: matematica discreta, logica, linguaggi formali e modelli di calcolo. In più contiene un’appendice con una veloce trattazione della calcolabilità e della complessità computazionale. Nell'edizione è compresa nel prezzo la piattaforma online MyLab, contenente la versione digitale del volume.

L'intelligenza artificiale è una disciplina molto giovane, tuttora circondata da discussioni di carattere filosofico e scientifico, da dispute attorno alla possibilità di attribuire a una macchina capacità di pensiero, alla valutazione dei risultati conseguiti, alle aspettative realistiche e alle disillusioni che hanno seguito le prime promesse. Per capire la natura di questi dibattiti e avere elementi di giudizio in proposito, è necessario conoscere quali sono gli oggetti di studio della disciplina, i problemi affrontati, le metodologie e i prodotti da essa forniti, qual è il suo rapporto con l'informatica.