Linguaggi di Programmazione + Laboratorio
CdL in Informatica - sede di Bari
A.A. 2011-2012
Docenti:
Giovanni Semeraro
Pasquale Lops
- Programma Preliminare
- Avvisi
- Modalità d'Esame
- Materiale Didattico
- Tracce d'Esame
- Risultati
- Tutoraggio
- Link Utili
- [27 febbraio 2012] Inizio del corso
- [7 marzo 2012] Gli studenti interessati a prendere parte alla sperimentazione delle attività didattiche tramite l'utilizzo di un tablet Android sono pregati di inviare una e-mail al docente del corso per prendere accordi.
- [30 marzo 2012] Le lezioni sono sospese dal 2 al 13 aprile.
- [26 aprile 2012] Causa sedute di laurea, la lezione di Linguaggi di Programmazione di venerdì 27/04/2012 si terrà in Aula A (Dip. Informatica, piano terra) orario 09:00-11:00 anzichè in Aula II (Palazzo Aule).
- [5 settembre 2012] Tutorato Linguaggi di Programmazione + Laboratorio (CdS Informatica). Si comunica che le lezioni del secondo ciclo di tutorato avranno luogo i giorni:
- 14 settembre 2012 dalle ore 10 alle ore 12
- 21 settembre 2012 dalle ore 10 alle ore 13 in Aula A Piano Terra Dip. di Informatica.
- [19 settembre 2012] La prova orale prevista per il 20/09/2012 ore 9.30 è spostata al 25/09/2012 ore 15.
- [27 settembre 2012] La prova orale prevista per il 28/09/2012 ore 9.30 è spostata al 1/10/2012 ore 15.
- [08 ottobre 2012] Nella sezione Tutoraggio è stato pubblicato lo svolgimento dei 13 esercizi svolti durante il tutorato di settembre 2012.
- [31 ottobre 2012] Tutorato Linguaggi di Programmazione + Laboratorio (CdS Informatica). Si comunica che le lezioni del terzo ciclo di tutorato avranno luogo i giorni:
- 21 novembre 2012 dalle ore 16:00 alle ore 19:00 in Aula A Piano Terra Dip. di Informatica;
- 23 novembre 2012 dalle ore 17:00 alle ore 19:00 in Aula A piano Terra Dip. di Informatica.
Modalità d'Esame
L'esame consta di due prove: prova scritta e colloquio orale.
- Prova scritta - E' richiesta la soluzione di esercizi sulla teoria dei linguaggi formali, l'enunciazione di definizioni e la la dimostrazione di teoremi della teoria dei linguaggi formali.
- Colloquio orale - Discussione sulle esercitazioni di laboratorio e colloquio su tutto il programma svolto durante il corso.
Prenotazioni
Per sostenere le prove di ciascun appello occorre OBBLIGATORIAMENTE prenotarsi.
Le prenotazioni all'esame (scritto e orale) avvengono OBBLIGATORIAMENTE mediante l'uso del sistema ESSE3.
Materiale Didattico
Introduzione
- Lezione 1 (27/02/2012) - Introduzione (Aggiornato il 01 Marzo 2012)
- Lezione 2 (29/02/2012) - Macchine Astratte (Pubblicato il 01 Marzo 2012)
- Lezione 3 (02/03/2012) - Capitolo 1 (Pubblicato il 01 Marzo 2012)
Grammar Reader
- Dispensa (Pubblicato il 22 Marzo 2012)
- Codice Sorgente (Pubblicato il 22 Marzo 2012)
- Esercizi proposti (Pubblicato il 22 Marzo 2012)
- Approfondimenti per il laboratorio (Pubblicato il 22 Marzo 2012)
Automi Riconoscitori e Analizzatore Lessicale
- Implementazione di automi riconoscitori in C (dispensa+codice) (Pubblicato il 15 Maggio 2012)
- Analizzatore Lessicale (Pubblicato il 15 Maggio 2012)
- Implementazione di uno scanner (dispensa+codice+file di test) (Pubblicato il 15 Maggio 2012)
- Tabella dei simboli (Pubblicato il 15 Maggio 2012)
Introduzione ai Linguaggi di Programmazione e ai Compilatori
- Il Modello di un Compilatore (Pubblicato il 15 Maggio 2012)
- Evoluzione dei Linguaggi (Pubblicato il 15 Maggio 2012)
- Linguaggi di Programmazione e Cenni alla Semantica (Pubblicato il 15 Maggio 2012)
Strumenti di Sviluppo
- Ambiente di Sviluppo DevC++ 4 (download)
- Prima prova di autovalutazione a.a. 2005-06 (download)
- Seconda prova di autovalutazione a.a. 2005-06 (download)
- Tracce Appelli Precedenti (download)
- Tracce di laboratorio appelli 2005-2006 (download)
- Tracce di laboratorio appelli 2004-2005 (download)
- Soluzioni Tracce di laboratorio appello 20 giugno 05 (traccia 2) (download)
- Soluzioni Tracce di laboratorio appello 11 luglio 05 (traccia 1) (download)
- Soluzioni Tracce di laboratorio appello 11 luglio 05 (traccia 2) (download)
- Tracce prova scritta appelli 2004-2005 (download)
- Soluzione traccia scritta 13 luglio 2005 (download)
- Tracce prove scritte appelli 2005-2006 (download)
- Risultati I prova in itinere del 30 Aprile 2012
- Risultati II prova in itinere del 4 Giugno 2012
- Risultati prova scritta del 4 Giugno 2012
- Risultati prova scritta del 27 Giugno 2012
- Risultati prova scritta del 6 Luglio 2012
- Risultati prova scritta del 18 Settembre 2012
- Risultati prova scritta del 26 Settembre 2012
- Risultati prova scritta del 19 Novembre 2012
- Risultati prova scritta del 12 Febbraio 2013
- Risultati prova scritta del 27 Marzo 2013
- AVVISI
- Tutorato Linguaggi di Programmazione + Laboratorio (CdS Informatica) [31 ottobre 2012]
Si comunica che le lezioni del terzo ciclo di tutorato avranno luogo i giorni:- 21 novembre 2012 dalle ore 16:00 alle ore 19:00 in Aula A Piano Terra Dip. di Informatica;
- 23 novembre 2012 dalle ore 17:00 alle ore 19:00 in Aula A piano Terra Dip. di Informatica.
- Tutorato Linguaggi di Programmazione + Laboratorio (CdS Informatica) [31 ottobre 2012]
- ESERCITAZIONI
- ESERCIZI SVOLTI
- Esercizi svolti sul Pumping Lemma per Linguaggi Regolari
- Esercizio 1 (Pubblicato il 08 ottobre 2012)
- Esercizio 2 (Pubblicato il 08 ottobre 2012)
- Esercizio 3 (Pubblicato il 08 ottobre 2012)
- Esercizio 4 (Pubblicato il 08 ottobre 2012)
- Esercizio 5 (Pubblicato il 08 ottobre 2012)
- Esercizio 6 (Pubblicato il 08 ottobre 2012)
- Esercizio 7 (Pubblicato il 08 ottobre 2012)
- Esercizio 8 (Aggiornato causa refuso il 31 ottobre 2012)
- Esercizio 9 (Pubblicato il 08 ottobre 2012)
- Esercizio 10 (Pubblicato il 08 ottobre 2012)
- Esercizio 11 (Pubblicato il 08 ottobre 2012)
- Esercizio 12 (Pubblicato il 08 ottobre 2012)
- Esercizio 13 (Pubblicato il 08 ottobre 2012)