| FONDAMENTI DI INFORMATICA
(obiettivi)
OBIETTIVI FORMATIVI: acquisizione di conoscenze relative ai concetti fondanti dell'informatica e della teoria degli algoritmi, con particolare riferimento alla loro analisi, alla teoria degli automi e dei linguaggi formali, alla calcolabilità e alla complessità computazionale. CONOSCENZA E CAPACITÀ DI COMPRENSIONE: acquisizione di conoscenze di tecniche di analisi che inducano una capacità di comprensione approfondita dei problemi e dei procedimenti risolutivi; CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: abbiano capacità di applicare la conoscenza e comprensione acquisite al fine di individuare i punti critici dei problemi allo scopo di progettare soluzioni quanto più efficienti possibile; AUTONOMIA DI GIUDIZIO: abbiano la capacità di raccogliere e interpretare i dati ritenuti utili a derivare giudizi autonomi circa la effettiva risolubilità/irrisolubilità di problemi; ABILITÀ COMUNICATIVE: l’utilizzo di linguaggio logico e formalismo porterà ad una capacità di comunicare con elevato grado di chiarezza informazioni, idee, problemi e soluzioni a interlocutori specialisti e non specialisti; CAPACITÀ DI APPRENDIMENTO: sviluppo di capacità di approfondire autonomamente gli argomenti trattati, che è prerogativa necessaria alla possibilità di intraprendere con successo il percorso magistrale.
|
|
Codice
|
8066834 |
|
Lingua
|
ITA |
|
Tipo di attestato
|
Attestato di profitto |
| Modulo: MODULO II
(obiettivi)
OBIETTIVI FORMATIVI: acquisizione di conoscenze relative ai concetti fondanti dell'informatica e della teoria degli algoritmi, con particolare riferimento alla loro analisi, alla teoria degli automi e dei linguaggi formali, alla calcolabilità e alla complessità computazionale. CONOSCENZA E CAPACITÀ DI COMPRENSIONE: acquisizione di conoscenze di tecniche di analisi che inducano una capacità di comprensione approfondita dei problemi e dei procedimenti risolutivi; CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: abbiano capacità di applicare la conoscenza e comprensione acquisite al fine di individuare i punti critici dei problemi allo scopo di progettare soluzioni quanto più efficienti possibile; AUTONOMIA DI GIUDIZIO: abbiano la capacità di raccogliere e interpretare i dati ritenuti utili a derivare giudizi autonomi circa la effettiva risolubilità/irrisolubilità di problemi; ABILITÀ COMUNICATIVE: l’utilizzo di linguaggio logico e formalismo porterà ad una capacità di comunicare con elevato grado di chiarezza informazioni, idee, problemi e soluzioni a interlocutori specialisti e non specialisti; CAPACITÀ DI APPRENDIMENTO: sviluppo di capacità di approfondire autonomamente gli argomenti trattati, che è prerogativa necessaria alla possibilità di intraprendere con successo il percorso magistrale.
|
|
Codice
|
M-4749 |
|
Lingua
|
ITA |
|
Tipo di attestato
|
Attestato di profitto |
|
Crediti
|
6
|
|
Settore scientifico disciplinare
|
INF/01
|
|
Ore Aula
|
48
|
|
Ore Studio
|
-
|
|
Attività formativa
|
Attività formative di base
|
|
|
|
| Modulo: MODULO I
(obiettivi)
OBIETTIVI FORMATIVI: acquisizione di conoscenze relative ai concetti fondanti dell'informatica e della teoria degli algoritmi, con particolare riferimento alla loro analisi, alla teoria degli automi e dei linguaggi formali, alla calcolabilità e alla complessità computazionale. CONOSCENZA E CAPACITÀ DI COMPRENSIONE: acquisizione di conoscenze di tecniche di analisi che inducano una capacità di comprensione approfondita dei problemi e dei procedimenti risolutivi; CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: abbiano capacità di applicare la conoscenza e comprensione acquisite al fine di individuare i punti critici dei problemi allo scopo di progettare soluzioni quanto più efficienti possibile; AUTONOMIA DI GIUDIZIO: abbiano la capacità di raccogliere e interpretare i dati ritenuti utili a derivare giudizi autonomi circa la effettiva risolubilità/irrisolubilità di problemi; ABILITÀ COMUNICATIVE: l’utilizzo di linguaggio logico e formalismo porterà ad una capacità di comunicare con elevato grado di chiarezza informazioni, idee, problemi e soluzioni a interlocutori specialisti e non specialisti; CAPACITÀ DI APPRENDIMENTO: sviluppo di capacità di approfondire autonomamente gli argomenti trattati, che è prerogativa necessaria alla possibilità di intraprendere con successo il percorso magistrale.
|
|
Codice
|
M-4748 |
|
Lingua
|
ITA |
|
Tipo di attestato
|
Attestato di profitto |
|
Crediti
|
6
|
|
Settore scientifico disciplinare
|
INF/01
|
|
Ore Aula
|
48
|
|
Ore Studio
|
-
|
|
Attività formativa
|
Attività formative di base
|
Canale Unico
|
Docente
|
GAMBOSI GIORGIO
(programma)
Introduzione al corso: algoritmi, problemi, modelli di calcolo. Caratteristiche elementari dei linguaggi. Grammatiche di Chomsky e loro gerarchia. Generazione ed accettazione di linguaggi. Riconoscimento di linguaggi: automi. Automi a stati finiti deterministici e non deterministici; equivalenza tra essi. Relazioni tra automi a stati finiti e grammatiche di tipo 3 (regolari). Pumping lemma per i linguaggi regolari. Proprietà di chiusura dei linguaggi regolari. Predicati decidibili sui linguaggi regolari. Espressioni regolari e loro equivalenza con gli automi a stati finiti e con le grammatiche regolari. Minimizzazione di automi a stati finiti.. Linguaggi context free - Grammatiche di tipo 2: forme ridotte e forme normali (Chomsky, Greibach). Propreità di chiusura dei linguaggi CF. Decidibilità di predicati su linguaggi CF. Pumping lemma per i linguaggi context free. Automi a pila e linguaggi context free. Automi a pila deterministici. Ambiguità e sua indecidibilità. L'algoritmo CYK. Analisi sintattica in un compilatore, linguaggi LL(k) e LR(k) (cenni).
 G. Ausiello, F. D'Amore, G. Gambosi, L. Laura "Linguaggi, Modelli, Complessità" nuova edizione. Franco Angeli, 2014. ISBN 978-88-917-0553-2. Dispense a cura del docente disponibili sul sito del corso.
|
|
Date di inizio e termine delle attività didattiche
|
- |
|
Modalità di erogazione
|
Tradizionale
|
|
Modalità di frequenza
|
Non obbligatoria
|
|
Metodi di valutazione
|
Prova scritta
Prova orale
|
|
|
|