Libri UniversitariLibri di Elementi di Informatica Teorica – prof. Alessandro De Luca
Informatica · Università degli Studi di Napoli Federico II · 2º anno · 1º semestre · 6 CFU · canale unico
Libri del canale
Elementi di Informatica Teorica 6 CFU
Il docente indica 2 testi · da studiare tutti
Sipser – Introduzione alla teoria della computazioneDa 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
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Apri nel catalogo: Informatica, 2º anno, tutte le materie e i canali ›
Testi d'esame di Elementi di Informatica Teorica del prof. Alessandro De Luca, canale unico, corso di laurea in Informatica (Laurea triennale (L-31)), Università degli Studi di Napoli Federico II, 2º anno · 1º semestre · 6 CFU, a.a. 2026/2027. Libri adottati: Davis – And Languages; Sipser – Introduzione alla teoria della computazione.
Altre materie del prof. De Luca
- Encoding And Encryption · Informatica · 1º anno · 1º semestre · 6 CFU