Strutture, logica, linguaggi. Ediz. Mylab. Con Contenuto digitale per download e accesso on line - 9788891907844

Strutture, logica, linguaggi. Ediz. Mylab. Con Contenuto digitale per download e accesso on line: 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.
The book stems from the experience of teaching by the authors in the courses of languages and formal systems. Almost all the chapters have been tested while conducting various courses and collect feedback from students. Many of the exercises were assigned as examination exercises. The book is theoretical, not tied to specific technologies, destined to become obsolete. Addresses three main topics: discrete mathematics, logic, formal languages and models of computation. In addition it contains an appendix with a quick discussion of computability and computational complexity. In the Edition is included in the price of the online platform MyLab, containing the digital version of the book.