Libri UniversitariApri il catalogo

Logica e Algebra 2 – prof. Achille Frigeri, Emanuele Rodaro

Computer Science and Engineering · Politecnico di Milano · esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 5 CFU · canale unico

Libri del canale

Logica e Algebra 2 5 CFU

Testi consigliati (facoltativi)

Frixione – Introduzione alle logiche modaliVerificato sulla scheda ufficiale il 03/10/2026
Goldblatt – Logics of time and computationVerificato 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.

Apri nel catalogo: Computer Science and Engineering, tutte le materie e i canali ›

Testi d'esame di Logica e Algebra 2 del prof. Achille Frigeri, Emanuele Rodaro, canale unico, corso di laurea in Computer Science and Engineering (Laurea triennale), Politecnico di Milano, esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 5 CFU, a.a. 2026/2027. Libri adottati: Gabelli – Teoria delle Equazioni e Teoria di Galois; Lidl – Introduction to finite fields and their applications; Orlandelli – Corso di logica modale proposizionale; Frixione – Introduzione alle logiche modali; Goldblatt – Logics of time and computation.

Altre materie del prof. Frigeri, Rodaro

Vedi anche: Prof. Achille Frigeri · Prof. Emanuele Rodaro · Logica e Algebra 2 a Politecnico di Milano (tutti i canali)