Pearson Libri
Libri editi da Pearson pubblicati nella collana Informatica con argomento Logica
Prossime uscite della collana Informatica
Libri previsti in uscita su Unilibro.it:
- 9788848181617 Autodesk Revit 2027 per l'architettura
- 9788848137980 Autodesk 3DS Max 2019. Guida per architetti, progettisti e designer
Strutture, logica, linguaggi. Ediz. Mylab. Con Contenuto digitale per download e accesso online Carlucci Aiello Luigia Pirri Fiora - Pearson, 2018 - Informatica
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.