Prof. Clelia De Felice

Università degli Studi di Salerno · Dipartimento di Informatica · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Clelia De Felice

Sipser – INTRODUZIONE ALLA TEORIA DELLA COMPUTAZIONE – Elementi di Teoria della Computazione (Informatica – sede di Fisciano, 3º anno · 2º semestre · 9 CFU)
Hopcroft – LINGUAGGI E CALCOLABILITÀ – Elementi di Teoria della Computazione (Informatica – sede di Fisciano, 3º anno · 2º semestre · 9 CFU)
Kenneth – DISCRETE MATHEMATICS AND ITS APPLICATIONS – Metodi Matematici per L'Informatica (Informatica – sede di Fisciano, 1º anno · 2º semestre · 6 CFU)
KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012 – Metodi Matematici per L'Informatica (Informatica – sede di Fisciano, 1º anno · 2º semestre · 6 CFU)
Sipser – INTRODUZIONE ALLA TEORIA DELLA COMPUTAZIONE – Strumenti Formali per la Bioinformatica (Informatica – sede di Fisciano, 1º anno · 1º semestre · 9 CFU)
Hopcroft – LINGUAGGI E CALCOLABILITÀ – Strumenti Formali per la Bioinformatica (Informatica – sede di Fisciano, 1º anno · 1º semestre · 9 CFU)
Gusfield – ALGORITHM ON STRINGS – Strumenti Formali per la Bioinformatica (Informatica – sede di Fisciano, 1º anno · 1º semestre · 9 CFU)
INTRODUCTION TO MACHINE LEARNING, LECTURE NOTES, MIT, 2019 – Strumenti Formali per la Bioinformatica (Informatica – sede di Fisciano, 1º anno · 1º semestre · 9 CFU)
IAN GOODFELLOW, YOSHUA BENGIO, AARON COURVILLE, DEEP LEARNING, – Strumenti Formali per la Bioinformatica (Informatica – sede di Fisciano, 1º anno · 1º semestre · 9 CFU)

Materie del prof. Clelia De Felice

Elementi di Teoria della Computazione Canale resto 0

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

Salerno · Dipartimento di Informatica · 9 CFU · apri nel catalogo · Informatica – sede di Fisciano · 3º anno · 2º semestre ›

Il docente indica 2 testi · da studiare tutti

Sipser – INTRODUZIONE ALLA TEORIA DELLA COMPUTAZIONE Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Hopcroft – LINGUAGGI E CALCOLABILITÀ Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

SLIDES DELLE LEZIONI DISPONIBILI SUL SITO DEL CORSO OSPITATO DA HTTPS://ELEARNING.INFORMATICA.UNISA.IT/

Argomenti del programma: MODELLI DI COMPUTAZIONE: AUTOMI FINITI DETERMINISTICI E NON DETERMINISTICI. ESPRESSIONI REGOLARI. PROPRIETÀ DI CHIUSURA DEI LINGUAGGI REGOLARI. TEOREMA DI KLEENE. PUMPING LEMMA PER I LINGUAGGI REGOLARI. [24 ORE] MACCHINA DI TURING DETERMINISTICA A NASTRO SINGOLO. IL LINGUAGGIO RICONOSCIUTO DA UNA MACCHINA DI TURING.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Metodi Matematici per L'Informatica A-C

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

Salerno · Dipartimento di Informatica · 6 CFU · apri nel catalogo · Informatica – sede di Fisciano · 1º anno · 2º semestre · canale A-C ›

Il docente indica 2 testi · da studiare tutti

Kenneth – DISCRETE MATHEMATICS AND ITS APPLICATIONS Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

TESTO DI CONSULTAZIONE E APPROFONDIMENTO

KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012 Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

SLIDES DELLE LEZIONI DISPONIBILI SUL SITO DEL CORSO OSPITATO DA HTTPS://ELEARNING.INFORMATICA.UNISA.IT/

Argomenti del programma: • ELEMENTI DI LOGICA (10 ORE): LOGICA PROPOSIZIONALE E SUE APPLICAZIONI, EQUIVALENZE PROPOSIZIONALI. • ELEMENTI DI LOGICA (12 ORE): PREDICATI E QUANTIFICATORI. •METODI E STRATEGIE DI DIMOSTRAZIONE (6 ORE). • CENNI SU INSIEMI, OPERAZIONI SU INSIEMI, FUNZIONI, CARDINALITÀ (4 ORE). • INDUZIONE E RICORSIONE (16 ORE): INDUZIONE, DEFINIZIONI RICORSIVE, INDUZIONE STRUTTURALE, ALGORITMI RICORSIVI.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Strumenti Formali per la Bioinformatica Canale unico

Corso di laurea: Informatica – sede di Fisciano · Laurea magistrale (LM-18) · 1º anno · 1º semestre · 9 CFU / esame facoltativo · 9 CFU

Salerno · Dipartimento di Informatica · 9 CFU · apri nel catalogo · Informatica – sede di Fisciano · 1º anno · 1º semestre ›

Il docente indica 5 testi · da studiare tutti

Sipser – INTRODUZIONE ALLA TEORIA DELLA COMPUTAZIONE Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Hopcroft – LINGUAGGI E CALCOLABILITÀ Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Gusfield – ALGORITHM ON STRINGS Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

INTRODUCTION TO MACHINE LEARNING, LECTURE NOTES, MIT, 2019 Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

IAN GOODFELLOW, YOSHUA BENGIO, AARON COURVILLE, DEEP LEARNING,Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

SLIDES DELLE LEZIONI DISPONIBILI SUL SITO DEL CORSO OSPITATO DA HTTPS://ELEARNING.INFORMATICA.UNISA.IT/
N.C. JONES, P.A. PEVZNER. AN INTRODUCTION TO BIOINFORMATICS ALGORITHMS. HTTP://BIOINFORMATICSALGORITHMS.COM

Argomenti del programma: PRIMA PARTE (40 ORE): STRINGHE E LINGUAGGI. AUTOMI FINITI DETERMINISTICI E NON DETERMINISTICI. ESPRESSIONI E LINGUAGGI REGOLARI. EQUIVALENZA E MINIMIZZAZIONE DI AUTOMI. GRAMMATICHE E LINGUAGGI LIBERI DAL CONTESTO. ALBERI SINTATTICI. AUTOMI A PILA. GRAMMATICHE REGOLARI. CENNI SULLA GERARCHIA DI CHOMSKY. CENNI SU RECENTI E RILEVANTI APPLICAZIONI DEI MODELLI DI COMPUTAZIONE.

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. Clelia De Felice per Elementi di Teoria della Computazione?

Sipser – INTRODUZIONE ALLA TEORIA DELLA COMPUTAZIONE; Hopcroft – LINGUAGGI E CALCOLABILITÀ

Quali libri consiglia il prof. Clelia De Felice per Metodi Matematici per L'Informatica?

Kenneth – DISCRETE MATHEMATICS AND ITS APPLICATIONS; KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012

Quali libri consiglia il prof. Clelia De Felice per Strumenti Formali per la Bioinformatica?

Sipser – INTRODUZIONE ALLA TEORIA DELLA COMPUTAZIONE; Hopcroft – LINGUAGGI E CALCOLABILITÀ; Gusfield – ALGORITHM ON STRINGS; INTRODUCTION TO MACHINE LEARNING, LECTURE NOTES, MIT, 2019; IAN GOODFELLOW, YOSHUA BENGIO, AARON COURVILLE, DEEP LEARNING,