Corsi.LPBA1718 History
Show minor edits - Show changes to markup
- Tutte le informazioni saranno presto disponibili sulla piattaforma di e-learning ADA
- 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.
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 "Elementi di TEORIA dei LINGUAGGI FORMALI" (2017) di G. Semeraro
- Esercitazione
- Macchine astratte, traduttori, e macchine di Turing
- Traccia Appello 16 Novembre 2015 (download)
- Traccia Appello 2 Settembre 2015 (download)
- Traccia Appello 9 Giugno 2015 (download)
- 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)
I risultati delle prove d'esame sono disponibili in ESSE3.
Esercizi
Tracce tutoraggio anni precedenti:
- 31/08/2015
- 01/09/2015
Link Utili
- Testo "Elementi di TEORIA dei LINGUAGGI FORMALI"
- Presentazione dell'insegnamento
(:comment
:)
(:comment
:)
/* *Presentazione dell'insegnamento */
- Presentazione dell'insegnamento
- Presentazione dell'insegnamento
/* *Presentazione dell'insegnamento */
%*Presentazione dell'insegnamento
- Presentazione dell'insegnamento
- Presentazione dell'insegnamento
%*Presentazione dell'insegnamento
- *Presentazione dell'insegnamento
- Presentazione dell'insegnamento
- Presentazione dell'insegnamento
- *Presentazione dell'insegnamento
Linguaggi di Programmazione (Corso A)
CdL in Informatica - sede di Bari
A.A. 2017-2018
Docente:
Giovanni Semeraro
- Programma preliminare
- Presentazione dell'insegnamento
- Avvisi
- Modalità d'Esame
- Materiale Didattico
- Tracce d'Esame
- Risultati
- Tutoraggio
- Link Utili
Avvisi
- 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.
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 "Elementi di TEORIA dei LINGUAGGI FORMALI" (2017) di G. Semeraro
- Esercitazione
- Macchine astratte, traduttori, e macchine di Turing
Tracce d'Esame
- Traccia Appello 16 Novembre 2015 (download)
- Traccia Appello 2 Settembre 2015 (download)
- Traccia Appello 9 Giugno 2015 (download)
- 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
I risultati delle prove d'esame sono disponibili in ESSE3.
Tutoraggio
Esercizi
Tracce tutoraggio anni precedenti:
- 31/08/2015
- 01/09/2015
Link Utili
- Testo "Elementi di TEORIA dei LINGUAGGI FORMALI"