Prof. Matteo Pradella

Politecnico di Milano · Scuola di Ingegneria Civile, Ambientale e Territoriale · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Matteo Pradella

Dino Mandrioli – Theoretical foundations of computer science – Theoretical Computer Science (Geoinformatics Engineering, esame facoltativo · 5 CFU)
Dino Mandrioli – Lecture notes – Theoretical Computer Science (Geoinformatics Engineering, esame facoltativo · 5 CFU)
Dino Mandrioli – Mathematical logic for computer science – Theoretical Computer Science (Geoinformatics Engineering, esame facoltativo · 5 CFU)
Graham Hutton – Programming in Haskell – Principles Of Programming Languages (Computer Science and Engineering, esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 5 CFU)
Norman Ramsey – Programming Languages – Principles Of Programming Languages (Computer Science and Engineering, esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 5 CFU)
Shriram Krishnamurthi – Application and Interpretation – Principles Of Programming Languages (Computer Science and Engineering, esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 5 CFU)

Materie del prof. Matteo Pradella

Theoretical Computer Science 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 ›

Il docente indica 3 testi · da studiare tutti

Dino Mandrioli – Theoretical foundations of computer science Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Dino Mandrioli – Lecture notes Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Testi consigliati (facoltativi)

Dino Mandrioli – Mathematical logic for computer science Cerca 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.

Principles Of Programming Languages Canale unico

Corso di laurea: Computer Science and Engineering · Laurea triennale · esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 5 CFU

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

Il docente indica 3 testi · da studiare tutti

Testi consigliati (facoltativi)

Graham Hutton – Programming in Haskell Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Norman Ramsey – Programming Languages Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Shriram Krishnamurthi – Application and Interpretation Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: 1) Motivations and Preliminaries 2) Basic Abstraction Mechanisms Variables, Binding, and Scoping Expressions and statements Procedures and recursion Macros Parameter Passing: call by value, by reference, and by name Types: basic data types; pointers; dynamic and stating type checking; type inference; parametric polymorphism Exception Handling - issues and variants 3) Main Programming Paradigms Introduction: the…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Principles Of Programming Languages 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 ›

Il docente indica 3 testi · da studiare tutti

Testi consigliati (facoltativi)

Graham Hutton – Programming in Haskell Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Norman Ramsey – Programming Languages Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Shriram Krishnamurthi – Application and Interpretation Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Theoretical Computer Science 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 ›

Il docente indica 3 testi · da studiare tutti

Dino Mandrioli – Theoretical foundations of computer science Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Dino Mandrioli – Lecture notes Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Testi consigliati (facoltativi)

Dino Mandrioli – Mathematical logic for computer science Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Theoretical Computer Science 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 ›

Il docente indica 3 testi · da studiare tutti

Dino Mandrioli – Theoretical foundations of computer science Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Dino Mandrioli – Lecture notes Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Testi consigliati (facoltativi)

Dino Mandrioli – Mathematical logic for computer science Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Matteo Pradella per Theoretical Computer Science (Geoinformatics Engineering, canale unico)?

Dino Mandrioli – Theoretical foundations of computer science; Dino Mandrioli – Lecture notes; Dino Mandrioli – Mathematical logic for computer science

Quali libri consiglia il prof. Matteo Pradella per Principles Of Programming Languages (Computer Science and Engineering, canale unico)?

Graham Hutton – Programming in Haskell; Norman Ramsey – Programming Languages; Shriram Krishnamurthi – Application and Interpretation

Quali libri consiglia il prof. Matteo Pradella per Principles Of Programming Languages (Music and Acoustic Engineering, canale unico)?

Graham Hutton – Programming in Haskell; Norman Ramsey – Programming Languages; Shriram Krishnamurthi – Application and Interpretation

Quali libri consiglia il prof. Matteo Pradella per Theoretical Computer Science (Music and Acoustic Engineering, canale unico)?

Dino Mandrioli – Theoretical foundations of computer science; Dino Mandrioli – Lecture notes; Dino Mandrioli – Mathematical logic for computer science

Quali libri consiglia il prof. Matteo Pradella per Theoretical Computer Science (Telecommunication Engineering, canale unico)?

Dino Mandrioli – Theoretical foundations of computer science; Dino Mandrioli – Lecture notes; Dino Mandrioli – Mathematical logic for computer science