Corsi.LINGTA1415 History
Hide minor edits - Show changes to markup
(:if false:)
(:ifend:)
(:if false:)
(:comment *'''[24 febbraio 15]''' Le lezioni avranno inizio il 2 marzo 2015.:)
- [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
(:ifend:)
(:*'''[24 febbraio 15]''' Le lezioni avranno inizio il 2 marzo 2015.:)
(:comment *'''[24 febbraio 15]''' Le lezioni avranno inizio il 2 marzo 2015.:)
- [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
(:*'''[24 febbraio 15]''' Le lezioni avranno inizio il 2 marzo 2015.:)
*'''[24 febbraio 15]''' Le lezioni avranno inizio il 2 marzo 2015.
- [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
- *[24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
*'''[24 febbraio 15]''' Le lezioni avranno inizio il 2 marzo 2015.
- [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
- *[24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
= *[24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015. =
- [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
= *[24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
= *[24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015. =
- [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
= *[24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
- Risultati prova 18-06-2015
(vedi risultati)
- Risultati prova 18-06-2015 (vedi risultati)
- [19 giugno 15] PUBBLICATI RISULTATI DELLA PROVA DEL 18-06
Risultati delle Prove Intermedie
Risultati Appelli e Prove Intermedie
https://docs.google.com/spreadsheets/d/1rEfsPXNHCG5UhWoVkqGbqBfKOZFm9hVeeR1sujgpXKw/pubhtml
(vedi risultati)
- Risultati prova 18-06-2015
https://docs.google.com/spreadsheets/d/1rEfsPXNHCG5UhWoVkqGbqBfKOZFm9hVeeR1sujgpXKw/pubhtml
- [16 giugno 15] PUBBLICATI RISULTATI DELLA II PROVA INTERMEDIA
- [3 giugno 15]
- [1 giugno 15]
- [3 giugno 15] II prova in itinere.
- [1 giugno 15] Esercizi per II prova in itinere.
- Risultati II prova in itinere (vedi risultati)
- [27 maggio 15]
- [27 maggio 15] Evoluzione dei linguaggi di programmazione.
- 5 - * Cenni alla programmazione orientata agli oggetti
- 4 - (Evoluzione dei Linguaggi di Programmazione)
- 4 - Evoluzione dei Linguaggi di Programmazione
- 3 - Tabella dei simboli \\\
- 3 - Tabella dei simboli
- 4 - (Evoluzione dei Linguaggi di Programmazione)
\\\
- 4 - Esempio di implementazione FSA (download)
- [25 maggio 15]
- [20 maggio 15]
- [25 maggio 15] Lo scanner. Tabella dei simboli.
- [20 maggio 15] Esercizi per la seconda prova in itinere.
- [21 maggio 15] La SECONDA prova in itinere si terrà il 3 giugno alle ore 10.00. La prova è riservata alle matricole dell'anno accademico 2014-2015 che hanno superato la prima prova. La prenotazione è già aperta sulla piattaforma Esse3.
- [18 maggio 15]
- [18 maggio 15] Il modello di compilatore. Esercizi su linguaggi regolari e su pumping Lemma per linguaggi regolari.
- 1 - Il modello di un compilatore
- 2 - Analizzatore lessicale
- 3 - Tabella dei simboli \\\
- [13 maggio 15]
- [13 maggio 15] Esercizi su linguaggi regolari e su pumping Lemma per linguaggi regolari.
- 2 - Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi (download) (Aggiornato il 10 dicembre 2012)
- 3 - Tracce esercizi sulla classificazione di linguaggi (download) (Aggiornato il 23 dicembre 2013)\\\
- [11 maggio 15]
- [11 maggio 15] Pumping Lemma per linguaggi regolari. Esercizi su linguaggi regolari.
- '''[10 maggio 15] PUBBLICATI RISULTATI DELLA I PROVA INTERMEDIA
- [10 maggio 15] PUBBLICATI RISULTATI DELLA I PROVA INTERMEDIA
- '''[10 maggio 15] PUBBLICATI RISULTATI DELLA I PROVA INTERMEDIA
- qui troverete i risultati delle due prove intermedie
- Risultati I prova in itinere (vedi risultati)
- [6 maggio 15]
- [6 maggio 15] Linguaggi regolari ed espressioni regolari. Teorema di Kleene. Algoritmi di conversione automi-grammatiche.
- 6 - Automi (download)
- 6 - Automi con esercizi (download)
- 7 - Linguaggi regolari con esercizi. (download)
- 6 - Automi (download)
- [4 maggio 15]
- [4 maggio 15] Automi a stati finiti deterministici e non deterministici. Esercizi.
- [29 aprile 15]
- [27 aprile 15]
- [22 aprile 15]
- [29 aprile 15] Esercizi su proprietà di chiusura.
- [27 aprile 15] Teoremi chiusura e relative dimostrazioni.
- [21 aprile 15] La lezione del 22 aprile non si terrà a causa di indisposizione del docente. '''
- [21 aprile 15] La lezione del 22 aprile non si terrà a causa di indisposizione del docente.
- [21 aprile 15] La lezione del 22 aprile non si terrà a causa di indisposizione del docente.
- [21 aprile 15] La lezione del 22 aprile non si terrà a causa di indisposizione del docente. '''
- [21 aprile 15] La lezione del 22 aprile non si terrà a causa di indisposizione del docente.
- [20 aprile 15] Gerarchia di Chomsky. Operazioni su Linguaggi. Chiusura di linguaggi.
- [20 aprile 15] Gerarchia di Chomsky. Operazioni su Linguaggi. Chiusura di classi di linguaggi.
- 5 - Grammatiche e Macchine con esercizi. (download)
- 5 - Grammatiche e Macchine con esercizi (download)
- 3 - Esempio di implementazione Macchina di Turing
(download)
- 3 - Esempio di implementazione Macchina di Turing (download)
- [20 aprile 15]
- [20 aprile 15] Gerarchia di Chomsky. Operazioni su Linguaggi. Chiusura di linguaggi.
(download)
(download)
- 4 - * Linguaggi CF, pumping lemma con esercizi. (download)
- 4 - Linguaggi CF, pumping lemma con esercizi. (download)
- 5 - Grammatiche e Macchine con esercizi. (download)
- 3 - Esempio di implementazione Macchina di Turing
(download)
- [15 aprile 15]
- [13 aprile 15]
- [15 aprile 15] Revisione della prima prova in itinere.
- [13 aprile 15]Prima prova in itinere: grammatiche, linguaggi, pumping lemma per linguaggi CF e Macchina di Turing.
- '''[10 aprile 15] In caso di inagibilità dell'aula del I anno a causa di lavori in corso, la prova in itinere si terrà in Aula Magna.
- [10 aprile 15] In caso di inagibilità dell'aula del I anno a causa di lavori in corso, la prova in itinere si terrà in Aula Magna.
- '''[10 aprile 15] In caso di inagibilità dell'aula del I anno a causa di lavori in corso, la prova in itinere si terrà in Aula Magna.
- [09 aprile 15] Le prenotazioni per la prima prova in itinere sono chiuse. Gli iscritti sono suddivisi in DUE turni. (vedi turni)
- qui troverete altri esercizi di preparazione alla prova scritta
- 1 - Tracce Esercizi per la prima prova in itinere (download)
- [26 marzo 15] La prova in itinere si terrà il 13 aprile alle ore 10.00. La prova è riservata alle matricole dell'anno accademico 2014-2015. La prenotazione va fatta tramite Esse3. Seguirà pubblicazione dei turni.
- [25 marzo 15]
- [23 marzo 15]
- [25 marzo 15] Esercizi su grammatiche e Pumping Lemma per Linguaggi Context-free.
- [23 marzo 15] Dimostrazione Pumping Lemma per Linguaggi Context-free con esercizi.
- [18 marzo 15]
- [18 marzo 15] Alberi di derivazione. Relazione tra altezza di un albero e lunghezza della sua frontiera. Pumping Lemma per Linguaggi Context-free (enunciato).
- 4 - * Linguaggi CF, pumping lemma con esercizi. (download)
- [16 marzo 15]
- [16 marzo 15] Grammatiche context-free e grammatiche context-sensitive. Esercizi.
- 3 - Grammatiche CF e grammatiche CS con esercizi. (download)
- [11 marzo 15]
- [11 marzo 15] Linguaggi e grammatiche: derivazioni, correttezza di una grammatica.
- [09 marzo 15]
- [09 marzo 15] Linguaggi e grammatiche: definizioni. Esercitazioni su MdT.
- 2 - Grammatiche e linguaggi (download)
- qui troverete altro materiale relativo alle esercitazioni
- 1 - Tracce esercizi su Macchine di Turing (download)
- 2 - Grammatiche e linguaggi: esercizi (download)
- [05 marzo 15] Pubblicata nuova versione delle diapositive 1 - Introduzione.
- [04 marzo 15]
- [04 marzo 15] Introduzione alle grammatiche: concetto intuitivo di grammatica, albero di derivazione. Il linguaggio delle parentesi ben formate.
- Macchine astratte, linguaggi di programmazione, Macchine di Turing, Introduzione alla teoria dei linguaggi formali (download)
- 1 - Introduzione: Macchine astratte, linguaggi di programmazione, Macchine di Turing, Introduzione alla teoria dei linguaggi formali (nuova versione del 05 marzo)
- [02 marzo 15]
- [02 marzo 15] Presentazione dell'insegnamento. Implementazione dei Linguaggi di Programmazione (LdP). Problemi, Macchine di Turing e LdP.
- Presentazione del corso (download)
Saranno rese disponibili le trasparenze utilizzate a lezione sulla teoria dei linguaggi formali
- Macchine astratte, linguaggi di programmazione, Macchine di Turing, Introduzione alla teoria dei linguaggi formali (download)
- altro materiale su implementazione dei linguaggi di programmazione e compilatori
Trasparenze utilizzate a lezione
Saranno rese disponibili solo le trasparenze utilizzate a lezione
Teoria dei linguaggi formali
Saranno rese disponibili le trasparenze utilizzate a lezione sulla teoria dei linguaggi formali
- altro materiale su implementazione dei linguaggi di programmazione e compilatori
- qui trovarete altri esercizi di preparazione alla prova scritta
- qui troverete altri esercizi di preparazione alla prova scritta
\\\
Linguaggi di Programmazione
CdL in Informatica e Comunicazione Digitale - Sede di TARANTO
A.A. 2014-15
Docente: Marco de Gemmis
- Programma Preliminare
- Avvisi
- Diario
- Modalità d'Esame
- Materiale Didattico
- Esercizi & Tracce d'Esame
- Risultati
- Link Utili
- [24 febbraio 15] Le lezioni avranno inizio il 2 marzo 2015.
- [3 giugno 15]
- [1 giugno 15]
- [27 maggio 15]
- [25 maggio 15]
- [20 maggio 15]
- [18 maggio 15]
- [13 maggio 15]
- [11 maggio 15]
- [6 maggio 15]
- [4 maggio 15]
- [29 aprile 15]
- [27 aprile 15]
- [22 aprile 15]
- [20 aprile 15]
- [15 aprile 15]
- [13 aprile 15]
- [25 marzo 15]
- [23 marzo 15]
- [18 marzo 15]
- [16 marzo 15]
- [11 marzo 15]
- [09 marzo 15]
- [04 marzo 15]
- [02 marzo 15]
- Appelli d'esame (al termine dell'insegnamento) - L'esame consta di una prova scritta che potrà essere articolata come segue: esecuzione di esercizi sulla teoria dei linguaggi formali, enunciazione di definizioni, dimostrazione di teoremi della teoria dei linguaggi formali, quesiti su linguaggi di programmazione e compilatori.
- Prove intermedie (durante l'insegnamento) - Sono previste due prove scritte intermedie, i cui argomenti sono gli stessi delle prove d'appello.
Valutazione ed esito delle prove
- Prova d'appello: valutazione in trentesimi. La prova è superata con un minimo di 18/30.
- Prove intermedie: valutazione in trentesimi. La prima prova intermedia è superata con un minimo di 16/30. Tale valutazione minima garantisce l'accesso alla seconda prova intermedia, che è superata con un minimo di 18/30. La valutazione COMPLESSIVA è la media delle valutazioni riportate nelle prove intermedie. L'esame è superato con una valutazione COMPLESSIVA minima di 18.
Validità delle prove
- La prova d'appello è valida solo per l'appello sostenuto (ovvero se si supera la prova scritta, non si può posticipare la verbalizzazione in un appello successivo).
- L'esito della prova in itinere è verbalizzato con il primo appello di giugno.
Prenotazioni
Per sostenere la prova di ciascun appello occorre prenotarsi OBBLIGATORIAMENTE mediante il sistema Esse3. Anche gli studenti che hanno superato le prove in itinere DEVONO prenotarsi per la verbalizzazione al primo appello di giugno.
Materiale utilizzabile durante le prove
Solo durante la prova scritta è consentita la consultazione di: tavola relativa alle proprietà di chiusura dei linguaggi ed elenco delle proprietà delle espressioni regolari.
Trasparenze utilizzate a lezione
Saranno rese disponibili solo le trasparenze utilizzate a lezione
Linguaggi di Programmazione e Compilatori
Materiale Esercitazioni
- qui troverete altro materiale relativo alle esercitazioni
Strumenti di Sviluppo
Siete liberi di usare l'ambiente di sviluppo C che preferite. L'ambiente usato come guida per le lezioni di laboratorio è:
Eclipse
Esercizi & Tracce d'Esame
- qui trovarete altri esercizi di preparazione alla prova scritta
Risultati delle Prove Intermedie
- qui troverete i risultati delle due prove intermedie
Altri Link Utili
\\\