I risultati delle prove d'esame sono disponibili in ESSE3.

• Tabella dei simboli

• Presentazione dell'insegnamento

• Programma preliminare

• Programma preliminare

• Testo "Elementi di TEORIA dei LINGUAGGI FORMALI"

• Alcuni esercizi su linguaggi, grammatiche e pumping lemma per linguaggi context-free (capitoli 1-4 del libro "Elementi di TEORIA dei LINGUAGGI FORMALI" (2017) di G. Semeraro

• Alcuni esercizi su linguaggi, grammatiche e pumping lemma per linguaggi context-free (capitoli 1-4 del libro "Elementi di TEORIA dei LINGUAGGI FORMALI" di G. Semeraro

• Presentazione dell'insegnamento

• Programma preliminare

• Tutoraggio

Tutoraggio

• Traccia Appello 16 Novembre 2015 (download)
• Traccia Appello 2 Settembre 2015 (download)
• Traccia Appello 9 Giugno 2015 (download)

• Macchine astratte, traduttori, e macchine di Turing

A.A. 2016-2017

• Le prove in itinere svolte nell'a.a. 2016-17 hanno validità per l'intero anno accademico. Si ricorda che è obbligatorio effettuare per tempo (almeno 3 giorni prima) la prenotazione via ESSE3 all'appello che si intende sostenere. L'appello consta di una prova parziale (prova scritta) ed una prova orale. E' obbligatorio prenotarsi via ESSE3 ad entrambe le prove.

Linguaggi di Programmazione (Corso A)
CdL in Informatica - sede di Bari
A.A. 2015-2016




https://g.twimg.com/Twitter_logo_blue.png follow @LdP20152016






Docente:
Giovanni Semeraro

• Programma preliminare
• Presentazione dell'insegnamento
• Avvisi
• Modalità d'Esame
• Materiale Didattico
• Tracce d'Esame
• Risultati
• Tutoraggio (docente: dott. P. Basile)
• Link Utili

Avvisi

[30/03/2016] Martedì 05/04/2016 si terranno 3 ore di lezione straordinaria di Linguaggi di Programmazione (corso A), ore 15:30-18:30, in aula 4 - Palazzo aule.

[03/03/2016] Avviso inizio attività di tutorato. Sono fissati i primi due incontri di tutorato nei giorni: Lunedì 7 marzo (ore 10-13 in AULA 4 Dipartimento di MATEMATICA) e Martedì 8 marzo (ore 13-16 in AULA 4 Dipartimento di MATEMATICA)

Modalità d'Esame

L'esame consta di due prove: prova scritta e colloquio orale.

• Prova scritta - E' richiesta la soluzione di esercizi, l'enunciazione di definizioni e la dimostrazione di teoremi relativi all'intero programma dell'insegnamento.
• Colloquio orale - Discussione prova scritta e colloquio sull'intero programma dell'insegnamento.

Prenotazioni
Per sostenere le prove di ciascun appello occorre OBBLIGATORIAMENTE prenotarsi per tempo (consultare via ESSE3 l'intervallo di tempo in cui è possibile prenotarsi).

Le prenotazioni all'esame (scritto e orale) avvengono OBBLIGATORIAMENTE utilizzando il sistema ESSE3.







Materiale Didattico

• Evoluzione dei linguaggi di programmazione
• Linguaggi di programmazione e cenni alla semantica
• Tabella dei simboli
• Analizzatore lessicale
• Modello di un compilatore
• Alcuni esercizi su linguaggi, grammatiche e pumping lemma per linguaggi context-free (capitoli 1-4 del libro "Appunti di teoria dei linguaggi formali" di G. Semeraro
• Esercitazione
• [29/02/2016] Macchine astratte, traduttori, e macchine di Turing

Tracce d'Esame

• Prima prova di autovalutazione a.a. 2005-06 (download)
• Seconda prova di autovalutazione a.a. 2005-06 (download)
• Tracce Appelli Precedenti (download)
• Tracce prova scritta appelli 2004-2005 (download)
• Soluzione traccia scritta 13 luglio 2005 (download)
• Tracce prove scritte appelli 2005-2006 (download)

Risultati delle Prove

• [Corso A] Risultati prova scritta di Linguaggi di Programmazione del 07 Giugno 2016
• Risultati della seconda prova in itinere del 06 Giugno 2016
• Risultati della prima prova in itinere del 12 Aprile 2016

Tutoraggio (docente: dott. P. Basile)

Iscrizioni. Gli studenti interessati possono richiedere l'iscrizione al gruppo : https://groups.google.com/forum/#!forum/tutoraggio-linguaggi-inf2016

Calendario

• Maggio 2016: ogni Mercoledì h.14.00-17.00
• Giugno-Luglio 2016: Martedì e Giovedì h.14.00-17.00

Esercizi

Tracce tutoraggio anni precedenti:

• 31/08/2015
• 01/09/2015

Link Utili