SWAP - Semantic Web Access and Personalization Research Group

Corsi.LINGTA1011 History

Hide minor edits - Show changes to output

February 28, 2012, at 08:16 AM EST by 193.204.187.86 -
Added lines 25-26:

*'''[28 febbraio 2012]''' Per poter sostenere l'appello di marzo 2012 è necessario prenotarsi mediante l'apposito servizio previsto dall'Area Riservata agli Studenti del sito dei Corsi di Studio in Informatica. Inoltre, va comunicato al docente mediante posta elettronica in quale anno accademico si è seguito il corso, al fine di poter organizzare al meglio le prove.
January 20, 2011, at 11:40 AM EST by 193.204.187.86 -
Added lines 25-26:

*'''[20 gennaio 2011]''' [[https://spreadsheets.google.com/pub?key=0AjJaohDI9K7SdHRwYkF1VTY0Z2NsYlBDVzFaeGNiRWc&hl=en&single=true&gid=0&output=html|Pubblicati risultati delle prove in itinere]]
January 18, 2011, at 08:00 AM EST by 192.167.60.151 -
Added lines 56-57:

*'''[18 gennaio 11]''' II prova in itinere.
January 18, 2011, at 07:59 AM EST by 192.167.60.151 -
Changed line 26 from:
to:
*'''[18 gennaio 2011]''' Le lezioni sono terminate.
January 13, 2011, at 09:31 AM EST by 193.204.187.86 -
Changed lines 28-30 from:
*'''[13 gennaio 2011]''' [[https://spreadsheets.google.com/pub?key=0AjJaohDI9K7SdG5LRnlua01VbXVham43V2lmT2pWM1E&hl=en&single=true&gid=0&output=html|Pubblicato calendario della II prova in itinere]] \\\

to:
*'''[13 gennaio 2011]''' [[https://spreadsheets.google.com/pub?key=0AjJaohDI9K7SdG5LRnlua01VbXVham43V2lmT2pWM1E&hl=en&single=true&gid=0&output=html|Pubblicato calendario della II prova in itinere]]
January 13, 2011, at 09:21 AM EST by 193.204.187.86 -
Added lines 25-30:



*'''[13 gennaio 2011]''' [[https://spreadsheets.google.com/pub?key=0AjJaohDI9K7SdG5LRnlua01VbXVham43V2lmT2pWM1E&hl=en&single=true&gid=0&output=html|Pubblicato calendario della II prova in itinere]] \\\

January 13, 2011, at 07:31 AM EST by 193.204.187.86 -
Added lines 52-55:

*'''[12 gennaio 11]''' La tabella dei simboli. Evoluzione dei linguaggi ad alto livello. Esercizi di preparazione alla II prova in itinere.

*'''[11 gennaio 11]''' Il modello di compilatore. L'analizzatore lessicale. Esercizi di preparazione alla II prova in itinere.
January 10, 2011, at 05:40 AM EST by 193.204.187.86 -
Changed lines 26-35 from:
*'''[23 dicembre2010]''' Pubblicata dispensa di esercizi per la preparazione alla II prova in itinere.

*'''[22 dicembre2010]''' Le lezioni riprenderanno il giorno 11 gennaio 2010.

*'''[22 dicembre2010]''' Pubblicati risultati della I prova in itinere.

*'''[15 dicembre2010]''' La prossima esercitazione di laboratorio è fissata per il giorno 21 dicembre.

*'''[15 dicembre2010]''' La seconda prova in itinere si terrà in due turni: primo turno il giorno 18 gennaio alle ore 9,30, secondo turno stesso giorno alle ore 11,30. La prenotazione si effettua durante le lezioni.
to:
*'''[10 gennaio 2011]''' Le lezioni riprenderanno domani secondo calendario.

*'''[23 dicembre 2010]''' Pubblicata dispensa di esercizi per la preparazione alla II prova in itinere.

*'''[22 dicembre 2010]''' Le lezioni riprenderanno il giorno 11 gennaio 2010.

*'''[22 dicembre 2010]''' Pubblicati risultati della I prova in itinere.

*'''[15 dicembre 2010]''' La prossima esercitazione di laboratorio è fissata per il giorno 21 dicembre.

*'''[15 dicembre 2010]''' La seconda prova in itinere si terrà in due turni: primo turno il giorno 18 gennaio alle ore 9,30, secondo turno stesso giorno alle ore 11,30. La prenotazione si effettua durante le lezioni.
Added lines 152-161:

'''[+Linguaggi di Programmazione e Compilatori+]'''

* [[http://www.di.uniba.it/~lops/linguaggi/ModelloCompilatoreStampati.pdf|Il modello di un compilatore]] [--(Pubblicato il 10 Gennaio 2011)--]\\\

* [[http://www.di.uniba.it/~lops/linguaggi/Analizzatore_lessicale_stampati.pdf|Analizzatore lessicale]] [--(Pubblicato il 10 Gennaio 2011)--]\\\

* [[http://www.di.uniba.it/~lops/linguaggi/TabellaSimboli.pdf|Tabella dei simboli]] [--(Pubblicato il 10 Gennaio 2011)--]\\\

* [[http://www.di.uniba.it/~lops/linguaggi/EvoluzioneLinguaggi.zip|Evoluzione dei linguaggi]] [--(Pubblicato il 10 Gennaio 2011)--]\\\
December 23, 2010, at 06:43 AM EST by 193.204.187.86 -
Changed line 165 from:
* Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/esercizi-parte2.pdf|(download)]] [--(Aggiornato il 15 novembre 2010)--]\\\
to:
* Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/esercizi-parte2.pdf|(download)]] [--(Aggiornato il 23 dicembre 2010)--]\\\
December 23, 2010, at 06:40 AM EST by 193.204.187.86 -
Changed lines 69-71 from:
*'''[17 novembre 10]''' Esercizi su pumpung lemma. Esercizi di preparazione alla 1a prova in itinere. Ambiguità di grammatiche context-free (Cap 4).

*'''[16 novembre 10]''' Linguaggi liberi da contesto: dimostrazione del pumping lemma + esercizi (Cap. 4).
to:
*'''[17 novembre 10]''' Esercizi di preparazione alla 1a prova in itinere. Ambiguità di grammatiche context-free (Cap 4).

*'''[16 novembre 10]''' Esercizi (Cap. 4).

*'''[11 novembre 10]''' Linguaggi liberi da contesto: dimostrazione del pumping lemma + esercizi (Cap. 4).
December 23, 2010, at 06:33 AM EST by 193.204.187.86 -
Changed line 26 from:
*'''[22 dicembre2010]''' Pubblicata dispensa di esercizi per la preparazione alla II prova in itinere.
to:
*'''[23 dicembre2010]''' Pubblicata dispensa di esercizi per la preparazione alla II prova in itinere.
December 23, 2010, at 06:32 AM EST by 193.204.187.86 -
Added lines 26-27:
*'''[22 dicembre2010]''' Pubblicata dispensa di esercizi per la preparazione alla II prova in itinere.
Added line 163:
* Tracce esercizi su automi, linguaggi regolari, operazioni sui linguaggi [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/esercizi-parte2.pdf|(download)]] [--(Aggiornato il 15 novembre 2010)--]\\\
December 22, 2010, at 08:55 AM EST by 192.167.60.151 -
Added lines 27-28:

*'''[22 dicembre2010]''' Pubblicati risultati della I prova in itinere.
December 22, 2010, at 08:35 AM EST by 192.167.60.151 -
Added lines 165-167:

[[https://spreadsheets.google.com/pub?key=0AjJaohDI9K7SdHlvMmJsM0xCVm8ydktxRFY5STU3TFE&hl=en&single=true&gid=0&output=html|Risultati I prova in itinere]] [--(Pubblicato il 22 Dicembre 2010)--]\\\
December 22, 2010, at 07:22 AM EST by 192.167.60.151 -
Added lines 26-27:
*'''[22 dicembre2010]''' Le lezioni riprenderanno il giorno 11 gennaio 2010.
Added lines 46-49:

*'''[22 dicembre 10]''' Esercizi su linguaggi regolari (Cap. 7). Discussione I prova in itinere.

*'''[21 dicembre 10]''' Pumping lemma per linguaggi regolari. Esercizi su linguaggi regolari (Cap. 7). Laboratorio: Grammar Reader in C++.
December 16, 2010, at 06:44 AM EST by 109.52.223.195 -
Changed line 137 from:
* [http://www.di.uniba.it/~lops/linguaggi/EserciziGrammarReader.pdf|Esercizi proposti]] [--(Pubblicato il 15 Dicembre 2010)--]\\\
to:
* [[http://www.di.uniba.it/~lops/linguaggi/EserciziGrammarReader.pdf|Esercizi proposti]] [--(Pubblicato il 15 Dicembre 2010)--]\\\
December 16, 2010, at 06:42 AM EST by 109.52.223.195 -
Added lines 26-29:
*'''[15 dicembre2010]''' La prossima esercitazione di laboratorio è fissata per il giorno 21 dicembre.

*'''[15 dicembre2010]''' La seconda prova in itinere si terrà in due turni: primo turno il giorno 18 gennaio alle ore 9,30, secondo turno stesso giorno alle ore 11,30. La prenotazione si effettua durante le lezioni.
Added lines 133-137:

'''[+Grammar Reader+]'''

* [[http://www.di.uniba.it/~lops/linguaggi/GrammarReader.pdf|Dispensa]]
* [http://www.di.uniba.it/~lops/linguaggi/EserciziGrammarReader.pdf|Esercizi proposti]] [--(Pubblicato il 15 Dicembre 2010)--]\\\
December 16, 2010, at 06:34 AM EST by 109.52.223.195 -
Added lines 40-43:

*'''[15 dicembre 10]''' Linguaggi regolari, espressioni regolari, teorema di Kleene (Cap. 7). Laboratorio: Grammar Reader in C++.

*'''[14 dicembre 10]''' Automi a stati finiti deterministici. Automi a stati finiti non deterministici. Esercizi (Cap. 6).
December 09, 2010, at 04:53 AM EST by 193.204.187.86 -
Added lines 40-41:

*'''[7 dicembre 10]''' Prima prova in itinere (turno 2). Grammatiche e macchine: altri teoremi di chiusura. Esercizi. Revisione degli esercizi oggetto della prova in itinere.
December 02, 2010, at 07:36 AM EST by 193.204.187.86 -
Deleted lines 27-28:
*'''[23 novembre 2010]''' La prima prova in itinere si terrà il giorno 7 dicembre alle ore 9,30.
Added lines 41-44:
*'''[1 dicembre 10]''' Prima prova in itinere (turno 1). Grammatiche e macchine: dimostrazione teoremi di chiusura. Introduzione alla programmazione orientata agli oggetti (Parte 2). Esercitazioni guidate #2 e #3.

*'''[30 novembre 10]''' Grammatiche e macchine: Gerarchia di Chomsky, operazioni sui linguaggi, teoremi di chiusura (Cap. 5).
November 29, 2010, at 04:26 AM EST by 109.53.46.43 -
Added lines 25-26:

*'''[29 novembre 2010]''' La prima prova in itinere si terrà in due turni: primo turno il giorno 1 dicembre alle ore 9,30, secondo turno il giorno 7 dicembre alle ore 9,30. Entrambe le prove saranno seguite dalla regolare lezione.
November 25, 2010, at 07:07 AM EST by 193.204.187.86 -
Changed line 41 from:
*'''[23 novembre 10]''' Introduzione alla programmazione orientata agli oggetti (Parte 1). Esercitazione guidata #1.
to:
*'''[24 novembre 10]''' Introduzione alla programmazione orientata agli oggetti (Parte 1). Esercitazione guidata #1.
November 25, 2010, at 07:05 AM EST by 193.204.187.86 -
Added lines 114-118:

'''[+Materiale Laboratorio+]'''

* [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/OOP.pdf|Introduzione alla programmazione orientata agli oggetti]] [--(Pubblicato il 25 Novembre 2010)--]
* [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/esOOP.zip|Tracce e codice delle esercitazioni guidate]] [--(Pubblicato il 25 Novembre 2010)--]
November 25, 2010, at 06:49 AM EST by 193.204.187.86 -
Changed line 12 from:
*[[http://informatica.di.uniba.it/laurea_dig_taranto/programmi1.php?id_insegn=2292|Programma Preliminare]]
to:
*[[http://informatica.di.uniba.it/laurea_dig_taranto/programmi1.php?id_insegn=2585|Programma Preliminare]]
November 25, 2010, at 05:57 AM EST by 193.204.187.86 -
November 25, 2010, at 05:02 AM EST by 193.204.187.86 -
Added lines 40-41:

*'''[23 novembre 10]''' Introduzione alla programmazione orientata agli oggetti (Parte 1). Esercitazione guidata #1.
November 23, 2010, at 12:12 PM EST by 109.52.203.0 -
Added line 40:
November 23, 2010, at 12:11 PM EST by 109.52.203.0 -
Added line 31:
November 23, 2010, at 12:11 PM EST by 109.52.203.0 -
Added lines 26-29:
*'''[23 novembre 2010]''' La prima prova in itinere si terrà il giorno 7 dicembre alle ore 9,30.

*'''[23 novembre 2010]''' Il laboratorio inizia domani. Da mercoledì 1 dicembre è prevista anche una sessione pomeridiana (massimo fino alle 16,30).
Added line 39:
*'''[23 novembre 10]''' Esercizi di preparazione alla 1a prova in itinere.
November 18, 2010, at 05:33 AM EST by 193.204.187.86 -
Changed line 36 from:
*'''[17 novembre 10]''' Esercizi di preparazione alla 1a prova in itinere. Ambiguità di grammatiche context-free.
to:
*'''[17 novembre 10]''' Esercizi su pumpung lemma. Esercizi di preparazione alla 1a prova in itinere. Ambiguità di grammatiche context-free (Cap 4).
November 18, 2010, at 05:32 AM EST by 193.204.187.86 -
Added lines 35-38:

*'''[17 novembre 10]''' Esercizi di preparazione alla 1a prova in itinere. Ambiguità di grammatiche context-free.

*'''[16 novembre 10]''' Linguaggi liberi da contesto: dimostrazione del pumping lemma + esercizi (Cap. 4).
November 15, 2010, at 08:04 AM EST by 193.204.187.86 -
Changed line 114 from:
to:
* Tracce esercizi su grammatiche libere da contesto e pumping lemma per linguaggi liberi da contesto [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/esercizicap1-4.pdf|(download)]] [--(Aggiornato il 15 novembre 2010)--]\\\
November 15, 2010, at 07:47 AM EST by 193.204.187.86 -
Added lines 35-36:

*'''[09 novembre 10]''' Linguaggi liberi da contesto: alberi di derivazione, pumping lemma (Cap. 4).
November 08, 2010, at 04:32 AM EST by 193.204.187.86 -
Changed line 26 from:
to:
*'''[08 novembre 2010]''' La lezione del 10 novembre è posticipata al giorno 11 novembre
Added lines 36-40:
*'''[03 novembre 10]''' Grammatiche e linguaggi (seconda parte, cap. 2). Esercizi. Linguaggi liberi da contesto e linguaggi dipendenti dal contesto (cap. 3).

*'''[02 novembre 10]''' Grammatiche e linguaggi (prima parte, cap. 2).

*'''[26 ottobre 10]''' Presentazione del Corso. Macchine astratte e implementazione dei linguaggi di programmazione. Introduzione alla teoria dei linguaggi formali. Linguaggi di programmazione e linguaggio naturale. Elementi di base sulle tecniche di elaborazione del linguaggio naturale. Applicazioni ai sistemi di information filtering.
October 25, 2010, at 09:19 AM EST by 193.204.187.86 -
Added lines 91-93:

* Presentazione del corso [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/PresentazioneCorso1011.pdf|(download)]]
* Macchine astratte e linguaggi di programmazione [[http://www.di.uniba.it/~swap/uploads/Corsi/LP/Capitolo1.pdf|(download)]]
October 22, 2010, at 11:05 AM EST by 193.204.187.86 -
Changed line 3 from:
''[++A.A. 2009-10++] ''
to:
''[++A.A. 2010-11++] ''
October 22, 2010, at 11:05 AM EST by 193.204.187.86 -
Added lines 1-121:
'''[++Linguaggi di Programmazione++]'''\\
''[++CdL in Informatica e Comunicazione Digitale - Sede di TARANTO++]''\\
''[++A.A. 2009-10++] ''


\\\
'''Docente: '''[[http://www.di.uniba.it/~swap/index.php?n=Membri.Degemmis | Marco de Gemmis]]
\\\
Attach:Main/linea.gif
\\\\

*[[http://informatica.di.uniba.it/laurea_dig_taranto/programmi1.php?id_insegn=2292|Programma Preliminare]]
*[[#Avvisi|Avvisi]]
*[[#Diario|Diario]]
*[[#Modalita|Modalità d'Esame]]
*[[#Materiale|Materiale Didattico]]
*[[#Tracce|Esercizi & Tracce d'Esame]]
*[[#Risultati|Risultati]]
*[[#Link|Link Utili]]
\\\
Attach:Main/linea.gif
\\\\\
'''[++Avvisi++]'''
'''[[#Avvisi]]'''


*'''[22 ottobre 2010]''' Inizio del corso: 26 ottobre 2010

\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Diario++]'''
'''[[#Diario]]'''
\\\



Attach:Main/linea.gif
\\\\\
'''[++Modalità d'Esame++]'''
'''[[#Modalita]]'''

L'esame consta di tre prove: prova di laboratorio, prova scritta, colloquio orale.

* Prova di laboratorio - Si consegna obbligatoriamente il codice C++ (sorgente+eseguibile) del Grammar Reader. Vanno sviluppate obbligatoriamente le funzioni di controllo del tipo della grammatica (context-sensitive, context-free, lineare destra). E' facoltativa la consegna dell'automa a stati finiti che accetta il linguaggio dei numeri in notazione scientifica. Il codice va inviato per posta elettronica al docente entro la data della prova di laboratorio che si intende sostenere. In sede di colloquio orale va prodotta una copia cartacea del codice inviato.

* 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 della prova di laboratorio e colloquio su tutto il programma svolto durante il corso.


\\\
'''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.
\\\
'''Valutazione ed esito delle prove'''

* Prova di laboratorio - La prova di laboratorio è oggetto di discussione e valutazione solo ed esclusivamente durante la prova orale. La consegna è unica e resta valida per tutti gli appelli da gennaio a novembre di un anno accademico.

* Prova scritta - La valutazione della prova è in trentesimi. La prova è superata con un minimo di 18/30. Il superamento della prova scritta consente l'accesso al colloquio orale.

* Colloquio orale - La valutazione della prova è in trentesimi. La prova è superata con un minimo di 18/30.

* La valutazione finale è un giudizio complessivo sulle tre prove.

\\\
'''Validità delle prove'''

* Prova di laboratorio - La prova è valida per gli appelli da gennaio a novembre di un anno accademico. Una volta consegnata, la prova non può essere sostituita prima dell'inizio degli appelli di un nuovo anno accademico.

* Prova scritta - La prova superata è valida solo per l'appello sostenuto (ovvero se si supera la prova scritta, il colloquio orale va sostenuto nello stesso appello). Solo la prova in itinere è valida da gennaio a settembre di un anno accademico.


\\\
'''Prenotazioni'''

Per sostenere le prove di ciascun appello occorre OBBLIGATORIAMENTE prenotarsi.
Le prenotazioni all'esame (bisogna prenotarsi ad ogni prova) avvengono OBBLIGATORIAMENTE mediante l'apposito servizio previsto dall'Area Riservata agli Studenti del sito dei Corsi di Studio in Informatica. Se e solo se tale servizio risulta inaccessibile o malfunzionante, si prega di contattare il docente.
Ci si può prenotare ad una prova fino a tre giorni prima della data prevista per la prova stessa.
\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Materiale Didattico++]'''
'''[[#Materiale]]'''

\\\
'''[+Trasparenze utilizzate a lezione+]'''

Saranno rese disponibili SOLO le trasparenze che non fanno riferimento al testo principale del corso.


\\\

'''[+Strumenti di Sviluppo+]'''

* Ambiente di Sviluppo [[http://www.bloodshed.net/dev/devcpp.html|Dev-C++ 4.9.9.2]]
\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Esercizi & Tracce d'Esame++]'''
'''[[#Tracce]]'''




\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Risultati delle Prove++]'''
'''[[#Risultati]]'''


\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Link Utili++]'''
'''[[#Link]]'''
\\\

* [[http://www.bloodshed.net//|Bloodshed Software]]