Libro adottato a Politecnico di Milano, a.a. 2026/2027 · 3 canali
«Dino Mandrioli – Lecture notes» è adottato per Theoretical Computer Science dal prof. Matteo Pradella (Geoinformatics Engineering, Music and Acoustic Engineering, Telecommunication Engineering – Politecnico di Milano).
Come lo indica il docente: Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, and Matteo Rossi, Lecture Notes on Monadic First- and Second-Order Logic on Strings, Anno edizione: 2019 Note: Unedited lecture notes; available for download in PDF format from the course WeBeep platform
Argomenti del programma: The course covers the following topics: 1. The models of Computer Science Automata (finite state and stack automata, Turing Machines) Grammars Use of mathematical logic for modeling systems and describing their properties: relations between logic, languages and automata. 2. Computation theory Power of the models of computation Church Thesis Undecidable problems Techniques for proving undecidability 3.
Argomenti del programma: The course covers the following topics: 1. The models of Computer Science Automata (finite state and stack automata, Turing Machines) Grammars Use of mathematical logic for modeling systems and describing their properties: relations between logic, languages and automata. 2. Computation theory Power of the models of computation Church Thesis Undecidable problems Techniques for proving undecidability 3.
Argomenti del programma: The course covers the following topics: 1. The models of Computer Science Automata (finite state and stack automata, Turing Machines) Grammars Use of mathematical logic for modeling systems and describing their properties: relations between logic, languages and automata. 2. Computation theory Power of the models of computation Church Thesis Undecidable problems Techniques for proving undecidability 3.
Libri Universitari