- Home
- Didattica
- I corsi di studio
- Corsi di laurea
FONDAMENTI DELL'INFORMATICA
Obiettivi formativi
Fornire le nozioni fondamentali e gli strumenti formali per studiare problemi trattabili e non trattabili con il calcolatore.
Prerequisiti
Analisi matematica 1, Fondamenti di programmazione.
Contenuti dell'insegnamento
Cenni introduttivi sul concetto di algoritmo, sulla rappresentazione
dell'informazione, e sull'architettura del calcolatore.
Linguaggi formali.
Espressioni regolari.
Automi a stati finiti.
Grammatiche generative.
Linguaggi liberi dal contesto.
Macchine di Turing.
Funzioni calcolabili e non.
Bibliografia
A. Dovier, R. Giacobazzi. Fondamenti dell'Informatica: Linguaggi Formali e Calcolabilità.
A. M. Pitts. Regular Languages and Finite Automata.
I. Mastroeni. Eserciziario per il corso ``Fondamenti dell'Informatica: Linguaggi Formali e Calcolabilità''.
U. Solitro. Linguaggi Formali, Computabilità e Complessità: Esercizi risolti, 2006.
A. Pettorossi. Automata Theory and Formal Languages, Aracne Editrice, 2006. ISBN: 88-548-0889-X.
A. Pettorossi. Elements of Computability, Decidability, and Complexity, Aracne Editrice, 2006. ISBN: 88-548-0682-X.
Metodi didattici
Altri insegnamenti
ANNO DI CORSO: 1
ANNO DI CORSO: 2
ANNO DI CORSO: 3

