Università degli Studi di Parma

il mondo che ti aspetta
  • english version

menu

FONDAMENTI DELL'INFORMATICA

COD. 07581
Insegnamento del corso di Laurea triennale (DM509) in INFORMATICA
Tipologia insegnamento: Caratterizzante

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

Docenti

Prof. BAGNARA Roberto
ANNO ACCADEMICO: 2008/2009
Anno di corso: 2
SEMESTRE: I° semestre
NUMERO CFU: 6
SSD: INFORMATICA (INF/01)
AMBITO: Formazione informatica
Ore di attivita' frontale: 48

Altri insegnamenti

ANNO DI CORSO: 1

ANNO DI CORSO: 2

ANNO DI CORSO: 3