Dino Mandrioli – Theoretical foundations of computer science
Libro adottato a Politecnico di Milano, a.a. 2026/2027 · 3 canali
«Dino Mandrioli – Theoretical foundations of computer science» è adottato per Theoretical Computer Science dal prof. Matteo Pradella (Geoinformatics Engineering, Music and Acoustic Engineering, Telecommunication Engineering – Politecnico di Milano).
Dino Mandrioli – Theoretical foundations of computer scienceCerca su Amazon ›
Come lo indica il docente: Dino Mandrioli, Carlo Ghezzi, Theoretical foundations of computer science, John Wiley & sons, Anno edizione: 1987, ISBN: 0-471-85918-4
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