Università degli Studi di Parma Facoltà di Scienze MM. FF. NN. Corso di Laurea in Informatica
Presentazione Il corso di laurea Scegliere Informatica Obiettivi formativi Sbocchi professionali Per saperne di più ... Insegnamenti Piano degli studi Corsi attivati Docenti Orario dei corsi Iscrizione esami Tesi di laurea Mailing list Documenti ufficiali Organi del CdL Regolamenti Archivio	Fondamenti dell'Informatica Docente Prof. Roberto Bagnara Collaboratore didattico Dott. Enea Zaffanella Programma del corso 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. Insiemi ricorsivi e ricorsivamente enumerabili. Complessità computazionale degli algoritmi. Testi consigliati A. Dovier, R. Giacobazzi, Fondamenti dell Informatica: Linguaggi Formali e Calcolabilità (ultimo aggiornamento: 24 settembre 2003). A. M. Pitts, Regular Languages and Finite Automata (errata corrige). Eserciziario I. Mastroeni, Eserciziario per il corso ``Fondamenti dell Informatica: Linguaggi Formali e Calcolabilità''. Mailing list Fondamenti-Informatica
Pagina a cura di Enea Zaffanella	[Pagina aggiornata il 06/10/2003, 12:20:17.]