Fondamenti dell’Informatica

Description

Il corso è strutturato in 2 parti. Automi e linguaggi formali (28h): Linguaggi e grammatiche, Automi a stati finiti e linguaggi regolari, Linguaggi liberi da contesto, forme normali e automi a pila, Classificazione di Chomsky (cenni). Calcolabilità (34h): Nozione intuitiva di algoritmo, Modelli formali per il calcolo: Macchine di Turing/funzioni ricorsive/programmi While, Tesi di Church, Goedelizzazione, Universalità e Teorema s-m-n, Problemi solubili e non: problema della terminazione, Metaprogrammazione: compliazione, interpretazione e specializzazione, Insiemi ricorsivi e r.e., Teoremi di Ricorsione e Teorema di Rice, Riducibilità funzionale: Insiemi completi, creativi e produttivi.

• TEORIA
• SBOBINATURE E REGISTRAZIONI
• APPUNTI PRESI IN AULA
• RISCRITTI A CASA
• INTEGRAZIONE CON LIBRO