Libri UniversitariDavis – And Languages
Libro adottato a Federico II, a.a. 2026/2027 · 1 canale
«Davis – And Languages» è adottato per Elementi di Informatica Teorica dal prof. Alessandro De Luca (Informatica – Federico II).
Davis – And LanguagesCerca su Amazon ›
Come lo indica il docente: M. Davis, R. Sigal, E. J. Weyuker: Computability, Complexity, and Languages (2nd ed.), Academic Press, 1994
Chi lo adotta
- Elementi di Informatica Teorica – Prof. Alessandro De Luca (canale unico)Informatica · Laurea triennale (L-31) · 2º anno · 1º semestre · 6 CFU
Programma e testi di ogni canale
Elementi di Informatica Teorica – 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.