Libri UniversitariApri il catalogo

Theoretical Computer Science – prof. Matteo Pradella

Telecommunication Engineering · Politecnico di Milano · esame facoltativo · 5 CFU · canale unico

Libri del canale

Theoretical Computer Science 5 CFU

MPProf. Matteo Pradella Canale unico
Dino Mandrioli – Theoretical foundations of computer scienceVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Dino Mandrioli – Lecture notesVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›

Testi consigliati (facoltativi)

Dino Mandrioli – Mathematical logic for computer scienceVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
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.

Apri nel catalogo: Telecommunication Engineering, tutte le materie e i canali ›

Testi d'esame di Theoretical Computer Science del prof. Matteo Pradella, canale unico, corso di laurea in Telecommunication Engineering (Laurea triennale), Politecnico di Milano, esame facoltativo · 5 CFU, a.a. 2026/2027. Libri adottati: Dino Mandrioli – Theoretical foundations of computer science; Dino Mandrioli – Lecture notes; Dino Mandrioli – Mathematical logic for computer science.

Altre materie del prof. Pradella

Vedi anche: Prof. Matteo Pradella · Theoretical Computer Science a Politecnico di Milano (tutti i canali)