Libri UniversitariApri il catalogo

Theoretical Computer Science – Politecnico di Milano

Politecnico di Milano · Scuola di Ingegneria Civile, Ambientale e Territoriale · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Matteo Pradella Canale unico

Corso di laurea: Geoinformatics Engineering · Laurea triennale · esame facoltativo · 5 CFU

Politecnico di Milano · Scuola di Ingegneria Civile, Ambientale e Territoriale · 5 CFU · apri nel catalogo · Geoinformatics Engineering · 1º semestre ›

Dino Mandrioli – Theoretical foundations of computer scienceCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Dino Mandrioli – Lecture notesCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Testi consigliati (facoltativi)

Dino Mandrioli – Mathematical logic for computer scienceCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

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.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Prof. Matteo Pradella Canale unico

Corso di laurea: Music and Acoustic Engineering · Laurea triennale · esame facoltativo · Music Engineering · 5 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 5 CFU · apri nel catalogo · Music and Acoustic Engineering · 1º semestre ›

Dino Mandrioli – Theoretical foundations of computer scienceCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Dino Mandrioli – Lecture notesCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Testi consigliati (facoltativi)

Dino Mandrioli – Mathematical logic for computer scienceCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

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.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Prof. Matteo Pradella Canale unico

Corso di laurea: Telecommunication Engineering · Laurea triennale · esame facoltativo · 5 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 5 CFU · apri nel catalogo · Telecommunication Engineering · 1º semestre ›

Dino Mandrioli – Theoretical foundations of computer scienceCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Dino Mandrioli – Lecture notesCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Testi consigliati (facoltativi)

Dino Mandrioli – Mathematical logic for computer scienceCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

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.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.