Elementi di Informatica Teorica – Federico II
Università degli Studi di Napoli Federico II · Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione · tutti i canali con docenti e libri, a.a. 2026/2027
Prof. Alessandro De Luca Canale unico
Corso di laurea: Informatica · Laurea triennale (L-31) · 2º anno · 1º semestre · 6 CFU
Il docente indica 2 testi · da studiare tutti
Sipser – Introduzione alla teoria della computazioneCerca su Amazon ›Da studiare: Dal testo 1; Capitoli 1–4 — Calcolabilità (e nozioni preliminari): pagine 1–74 (dimostrazione del teorema 3.2 esclusa) e 78–84; Capitoli 5–6 — Macchine di Turing (cenni): pagine 129–130 (esclusa tabella 4.1), 145–147 (escluso teorema 1.1) e 153–154 (solo paragrafo 3 fino al teorema 3.1, dim. esclusa; Capitolo 9 — Linguaggi regolari: pagine 237–262, esclusa la dimostrazione dei lemmi 1 e 2 a pag. 245; Dal testo 2; Capitolo 2 — Grammatiche indipendenti dal contesto: pagine 103–124 (tranne: teorema 2.9, lemma 2.27) e 129–134Verificato sulla scheda ufficiale il 04/10/2026
Apri la scheda ufficiale ›Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.