Libri UniversitariApri il catalogo

Logica e Algebra 2 – Politecnico di Milano

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Achille Frigeri, Prof. Emanuele Rodaro 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 ›

Testi consigliati (facoltativi)

Gabelli – Teoria delle Equazioni e Teoria di GaloisCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Lidl – Introduction to finite fields and their applicationsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Orlandelli – Corso di logica modale proposizionaleCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Frixione – Introduzione alle logiche modaliCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Goldblatt – Logics of time and computationCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • J. M. Landsberg, Tensors: geometry and applications, American Mathematical Society Note: Per la parte di tensori.
  • Appunti e registrazioni disponibili su webeep

Argomenti del programma: Il corso tratta argomenti di algebra e di logica matematica che hanno applicazioni dirette all'informatica, ossia la teoria dei campi finiti (crittografia), rudimenti di complessità algebrica (prodotti di polinomi, e tensori per prodotti di matrici) e la logica modale e multimodale (in particolare, le logiche temporali, utilizzate nel model checking). Il corso è suddiviso in due parti.

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