Prof. Arturo Carpi

Università degli Studi di Perugia · Matematica e informatica · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Arturo Carpi

Hopcroft – Linguaggi e calcolabilità – Linguaggi Formali e Compilatori (Informatica, 2º anno · 2º semestre · 6 CFU)
Aho – Techniques and Tools – Linguaggi Formali e Compilatori (Informatica, 2º anno · 2º semestre · 6 CFU)
Grune – Parsing techniques – Linguaggi Formali e Compilatori (Informatica, 2º anno · 2º semestre · 6 CFU)
de – Teoria degli Automi Finiti – Linguaggi Formali e Compilatori (Informatica, 2º anno · 2º semestre · 6 CFU)
Silberschatz – Sistemi operativi – Sistemi Operativi con Laboratorio (Informatica, 2º anno · 2º semestre · 9 CFU)
Unix for Programmers and Users – Sistemi Operativi con Laboratorio (Informatica, 2º anno · 2º semestre · 9 CFU)
Robbins – PrenticeHall – Sistemi Operativi con Laboratorio (Informatica, 2º anno · 2º semestre · 9 CFU)
System programming with C and UNIX. A. Hoover, – Sistemi Operativi con Laboratorio (Informatica, 2º anno · 2º semestre · 9 CFU)
J.G.Brookshear e S.G.Kochan. Fondamenti di informatica e programmazione – Sistemi Operativi con Laboratorio (Informatica, 2º anno · 2º semestre · 9 CFU)
Toffalori – Teoria della computabilità e della complessità – Computability And Complexity (Informatica, 1º anno · 2º semestre · 6 CFU)
Hopcroft – Linguaggi e calcolabilità – Computability And Complexity (Informatica, 1º anno · 2º semestre · 6 CFU)
Davis – Computability and Unsolvability – Computability And Complexity (Informatica, 1º anno · 2º semestre · 6 CFU)
Michael Sipser – Introduction to the Theory of Computation – Computability And Complexity (Informatica, 1º anno · 2º semestre · 6 CFU)
Morris Mano – Tom Martin – Laboratorio Architettura degli Elaboratori (Programmazione e gestione di sistemi informatici, 1º anno · 1º semestre · 3 CFU)

Materie del prof. Arturo Carpi

Linguaggi Formali e Compilatori Canale unico

Corso di laurea: Informatica · Laurea triennale (L-31) · 2º anno · 2º semestre · 6 CFU

Perugia · Matematica e informatica · 6 CFU · apri nel catalogo · Informatica · 2º anno · 2º semestre ›

Il docente indica 4 testi · da studiare tutti

Hopcroft – Linguaggi e calcolabilità Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

Aho – Techniques and Tools Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

Grune – Parsing techniques Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

de – Teoria degli Automi Finiti Cerca su Amazon ›Verificato 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.

Sistemi Operativi con Laboratorio Canale unico

Corso di laurea: Informatica · Laurea triennale (L-31) · 2º anno · 2º semestre · 9 CFU

Perugia · Matematica e informatica · 9 CFU · apri nel catalogo · Informatica · 2º anno · 2º semestre ›

Il docente indica 5 testi · da studiare tutti

Silberschatz – Sistemi operativi Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

Manuale on-line del sistema operativo unix/linux (man).

Unix for Programmers and Users Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

Robbins – PrenticeHall Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

System programming with C and UNIX. A. Hoover,Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

J.G.Brookshear e S.G.Kochan. Fondamenti di informatica e programmazione Cerca su Amazon ›Verificato 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.

Computability And Complexity Canale unico

Corso di laurea: Informatica · Laurea magistrale (LM-18) · 1º anno · 2º semestre · 6 CFU

Perugia · Matematica e informatica · 6 CFU · apri nel catalogo · Informatica · 1º anno · 2º semestre ›

Il docente indica 4 testi · da studiare tutti

Toffalori – Teoria della computabilità e della complessità Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

Hopcroft – Linguaggi e calcolabilità Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

Davis – Computability and Unsolvability Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

Michael Sipser – Introduction to the Theory of Computation Cerca su Amazon ›Verificato 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.

Laboratorio Architettura degli Elaboratori Canale unico

Corso di laurea: Programmazione e gestione di sistemi informatici · Laurea triennale (L-P03) · 1º anno · 1º semestre · 3 CFU

Perugia · Matematica e informatica · 3 CFU · apri nel catalogo · Programmazione e gestione di sistemi informatici · 1º anno · 1º semestre ›

Il docente indica 1 testo

Morris Mano – Tom Martin Cerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026

Bacheca del docente: cosa indica di studiare

Ulteriore materiale distribuito dal docente

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Arturo Carpi per Linguaggi Formali e Compilatori?

Hopcroft – Linguaggi e calcolabilità; Aho – Techniques and Tools; Grune – Parsing techniques; de – Teoria degli Automi Finiti

Quali libri consiglia il prof. Arturo Carpi per Sistemi Operativi con Laboratorio?

Silberschatz – Sistemi operativi; Unix for Programmers and Users; Robbins – PrenticeHall; System programming with C and UNIX. A. Hoover,; J.G.Brookshear e S.G.Kochan. Fondamenti di informatica e programmazione

Quali libri consiglia il prof. Arturo Carpi per Computability And Complexity?

Toffalori – Teoria della computabilità e della complessità; Hopcroft – Linguaggi e calcolabilità; Davis – Computability and Unsolvability; Michael Sipser – Introduction to the Theory of Computation

Quali libri consiglia il prof. Arturo Carpi per Laboratorio Architettura degli Elaboratori?

Morris Mano – Tom Martin