Libri UniversitariApri il catalogo

Goldblatt – Logics of time and computation

Libro adottato a Politecnico di Milano, a.a. 2026/2027 · 1 canale

«Goldblatt – Logics of time and computation» è adottato per Logica e Algebra 2 dai docenti Achille Frigeri e Emanuele Rodaro (Computer Science and Engineering – Politecnico di Milano).

Goldblatt – Logics of time and computationCerca su Amazon ›

Come lo indica il docente: R. Goldblatt, Logics of time and computation, CSLI, Anno edizione: 1992 Note: Per la parte di logica modale

Titolo
Logics of time and computation
Autori
Robert <1949-> Robert Goldblatt Goldblatt
Editore
Center for the study of language and information, 1992
ISBN
9780937073933

Chi lo adotta

Programma e testi di ogni canale

Logica e Algebra 2 – 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 computationquesto libroCerca 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.

Si studia insieme a