fondamenti di informatica teorica - Dipartimento di Matematica

34 downloads 190 Views 113KB Size Report
L'informatica teorica, diversamente da quella più basata su aspetti tecnici ed applicati, ... Vengono fornite nozioni sulle funzioni ricorsive, sulla teoria generale.
FONDAMENTI DI INFORMATICA TEORICA Prof Giulia Galbiati DIPARTIMENTO DI INGEGNARIA INDUSTRIALE E DELL”INFORMAZIONE Piano F tel. +39 0382-985360 fax +39 0382-985373 e-mail: [email protected] home page: http://mate.unipv.it/~galbiati Descrizion del corso A.A. 2013-2104

Prima lezione mercoledì 5 marzo ore 11 aula C29 (Dipt.Mat.) Prerequisiti: Esame :

un corso di programmazione una prova scritta/orale alla fne del corso.

L'informatica teorica, diversamente da quella più basata su aspetti tecnici ed applicati, è fortemente legata a domande fondamentali circa l'esistenza di soluzioni algoritmiche, i limiti fisici del calcolo automatico, le metodologie usate nel disegno degli algoritmi. In questo corso si introducono alcune delle tematiche più classiche della disciplina: linguaggi formali e gerarchia di grammatiche di Chomsky, automi a stati finiti e linguaggi regolari, macchine a registri, macchine di Turing e macchina di Turing universale. Vengono fornite nozioni sulle funzioni ricorsive, sulla teoria generale della calcolabilità, sulla teoria della complessità, sui problemi NP-completi nel contesto della teoria della trattabilità. Infine vengono dati alcuni cenni sulle classi di approssimabilità dei problemi della classe NPO.


Testo di riferimento: Giorgio Ausiello, Fabrizio D'Amore, Giorgio Gambosi. Linguaggi Modelli Complessità, Franco Angeli, 2003.

Inoltre: lucidi del corso scaricabili all'indirizzo: http://mate.unipv.it/~galbiati/corsi/fondamenti_inf_teoricaLucidi.html

Programma di massima del corso: Introduzione: alfabeti, parole, linguaggi Espressioni regolari Linguaggi formali e grammatiche di Chomsky Automi a stati fniti e linguaggi regolari Macchine di Turing Macchina di Turing Universale Macchine a registri Funzioni ricorsive Teoria generale della calcolabilità Teoria della complessità Teoria della trattabilità e problemi NP-completi