Michael Sipser – Introduzione alla teoria della computazione

Libro adottato a Trieste, a.a. 2026/2027 · 3 canali

«Michael Sipser – Introduzione alla teoria della computazione» è adottato per Computabilità, Complessità e Logica dal prof. Adriano Peron (Intelligenza Artificiale e Data Analytics – sede di Trieste – Trieste); per Computabilità, Complessità e Logica (Statistica per l'Assicurazione e Business Analytics – sede di Trieste, Matematica – sede di Trieste – Trieste).

Come lo indica il docente: [1] Michael Sipser, Introduzione alla teoria della computazione, Apogeo. Per la parte di Logica: [2] Mordechai Ben-Ari: Mathematical Logic for Computer Science (3rd ed.), Springer, 2013. (per un testo in italiano si veda anche) [3] Daniele Mundici, Logica-Metodo breve, Springer, 2011

Chi lo adotta

• Computabilità, Complessità e Logica – Prof. Adriano Peron (canale unico)Intelligenza Artificiale e Data Analytics – sede di Trieste · Laurea triennale (L-31) · 2º anno · 1º semestre · 9 CFU
• Computabilità, Complessità e Logica – docente non ancora indicato (canale unico)Statistica per l'Assicurazione e Business Analytics – sede di Trieste · Laurea triennale (L-41) · 3º anno · 1º semestre
• Computabilità, Complessità e Logica – docente non ancora indicato (canale unico) a.a. 2025/2026Matematica – sede di Trieste · Laurea triennale (L-35) · 3º anno · 1º semestre · 9 CFU

Programma e testi di ogni canale