SWAP - Semantic Web Access and Personalization Research Group

Corsi.IR1213 History

Show minor edits - Show changes to output

September 27, 2013, at 11:31 AM EST by 93.43.210.16 -
Changed line 30 from:
\\\\\
to:
\\\
September 27, 2013, at 11:31 AM EST by 93.43.210.16 -
Deleted line 51:
Deleted line 54:
Deleted line 58:
September 27, 2013, at 11:29 AM EST by 93.43.210.16 -
Added lines 49-51:
\\\\\
Attach:Main/linea.gif
\\\\\
September 27, 2013, at 11:28 AM EST by 93.43.210.16 -
Changed line 14 from:
*[[|Programma Preliminare]]
to:
*[[http://|Programma Preliminare]]
September 27, 2013, at 11:28 AM EST by 93.43.210.16 -
Changed line 14 from:
*[[http://informatica.di.uniba.it/programmi/2012-13/Linguaggi%20di%20programmazione%20INFBa.pdf|Programma Preliminare]]
to:
*[[|Programma Preliminare]]
Deleted line 19:
*[[#Tutoraggio|Tutoraggio]]
Changed lines 28-29 from:
*'''[27 febbraio 2013]''' Inizio del corso
to:
*'''[1 ottobre 2013]''' Inizio del corso
Changed lines 37-42 from:
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.
to:
L'esame si svolge sostenendo una prova scritta ed un colloquio orale.
Deleted lines 49-79:
* [[https://docs.google.com/file/d/0B3RFXmgrg1vfaXJwX0JpVVFOLVk/edit?usp=sharing|Introduzione (27/02/2013)]] [--(Pubblicato il 2 Marzo 2013)--]

* [[https://docs.google.com/file/d/0B3RFXmgrg1vfMVNoQ25LdEhjZWM/edit?usp=sharing|Macchine astratte (01/03/2013)]] [--(Pubblicato il 2 Marzo 2013)--]


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

* [[http://www.di.uniba.it/~lops/linguaggi/GrammarReader.pdf|Dispensa]] [--(Pubblicato il 16 Marzo 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/GrammarReader.c|Codice Sorgente]] [--(Pubblicato il 16 Marzo 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/EserciziGrammarReader.pdf|Esercizi proposti]] [--(Pubblicato il 16 Marzo 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/Approfondimenti.pdf|Approfondimenti per il laboratorio]] [--(Pubblicato il 16 Marzo 2013)--]\\\

'''[+Automi Riconoscitori e Analizzatore Lessicale+]'''

* [[http://www.di.uniba.it/~lops/linguaggi/DFA.zip|Implementazione di automi riconoscitori in C (dispensa+codice)]] [--(Pubblicato il 9 Maggio 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/Analizzatore_lessicale_stampati.pdf|Analizzatore Lessicale]] [--(Pubblicato il 9 Maggio 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/ImplementazioneScanner.zip|Implementazione di uno scanner (dispensa+codice+file di test)]] [--(Pubblicato il 9 Maggio 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/TabellaSimboli.pdf|Tabella dei simboli]] [--(Pubblicato il 9 Maggio 2013)--]\\\

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

* [[http://www.di.uniba.it/~lops/linguaggi/ModelloCompilatoreStampati.pdf|Il Modello di un Compilatore]] [--(Pubblicato il 16 Maggio 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/EvoluzioneLinguaggi.zip|Evoluzione dei Linguaggi]] [--(Pubblicato il 16 Maggio 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/LinguaggiProgrammazione.pdf|Linguaggi di Programmazione e Cenni alla Semantica]] [--(Pubblicato il 16 Maggio 2013)--]\\\

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

* Ambiente di Sviluppo DevC++ 4 [[http://www.di.uniba.it/~lops/linguaggi/devcpp4.zip|(download)]]
\\\\\
Attach:Main/linea.gif
\\\\\
Deleted lines 53-65:
* Prima prova di autovalutazione a.a. 2005-06 [[Attach:Main/Traccia_PrimaProvaInItinere_Bari_200506.pdf|(download)]]
* Seconda prova di autovalutazione a.a. 2005-06 [[http://www.di.uniba.it/~lops/linguaggi/Traccia_SecondaProvaInItinere_Bari_200506.pdf|(download)]]
* Tracce Appelli Precedenti [[http://www.di.uniba.it/~lops/linguaggi/tracce.zip|(download)]]
* Tracce di laboratorio appelli 2005-2006 [[http://www.di.uniba.it/~lops/linguaggi/TracceLabLinguaggi20052006.pdf|(download)]]
* Tracce di laboratorio appelli 2004-2005 [[http://www.di.uniba.it/~lops/linguaggi/TracceLabLinguaggi20042005.pdf|(download)]]
* Soluzioni Tracce di laboratorio appello 20 giugno 05 (traccia 2) [[http://www.di.uniba.it/~lops/linguaggi/SoluzioneLabGiugno2005Traccia2.c|(download)]]
* Soluzioni Tracce di laboratorio appello 11 luglio 05 (traccia 1) [[http://www.di.uniba.it/~lops/linguaggi/SoluzioneLabLuglio2005Traccia1.c|(download)]]
* Soluzioni Tracce di laboratorio appello 11 luglio 05 (traccia 2) [[http://www.di.uniba.it/~lops/linguaggi/SoluzioneLabLuglio2005Traccia2.c|(download)]]
* Tracce prova scritta appelli 2004-2005 [[http://www.di.uniba.it/~lops/linguaggi/TracceScrittoLinguaggi20042005.pdf|(download)]]
* Soluzione traccia scritta 13 luglio 2005 [[http://www.di.uniba.it/~lops/linguaggi/Lug13_%202005_Soluzione.pdf|(download)]]
* Tracce prove scritte appelli 2005-2006 [[http://www.di.uniba.it/~lops/linguaggi/TracceScrittoLinguaggi20052006.pdf|(download)]]

\\\\\
Deleted lines 58-67:
* [[https://docs.google.com/file/d/0B3RFXmgrg1vfQ1RnN0xHRGtwbjA/edit?usp=sharing|Risultati I prova in itinere del 24 Aprile 2013 (nuova versione)]] -
Riguardare i risultati perchè erano presenti alcune imprecisioni.
* [[https://docs.google.com/file/d/0B3RFXmgrg1vfREVCSmM0b3h2NGs/edit?usp=sharing|Risultati II prova in itinere del 31 Maggio 2013]]

* [[https://docs.google.com/file/d/0B3RFXmgrg1vfNTlsSW9lN0xQdWs/edit?usp=sharing|Risultati prova scritta del 18 Giugno 2013]]
* [[https://docs.google.com/file/d/0B3RFXmgrg1vfLUZ5SWNRaEowWHc/edit?usp=sharing|Risultati prova scritta del 25 Giugno 2013]]
* [[https://docs.google.com/document/d/1eSfkxayAKJthyEm0VAwmClTr0Xa21Xd5me0VoyUIfvI/edit?usp=sharing|Risultati prova scritta del 2 Luglio 2013]]
* [[https://docs.google.com/document/d/1xAQFVVLc206wq9uY5Wdv6r_-UN3s1cau5D-aur6eKvQ/edit?usp=sharing|Risultati prova scritta del 3 Settembre 2013]]
* [[https://docs.google.com/document/d/1EJ_1R5eYj6JvC8qbXStrRapO-ibp9txSW6b5T5Bdczw/edit?usp=sharing|Risultati prova scritta del 17 Settembre 2013]]
Changed lines 62-63 from:
'''[++Tutoraggio++]'''
'''[[#Tutoraggio]]'''
to:
'''[++Link Utili++]'''
'''[[#Link]]'''
Deleted lines 64-98:

* ESERCITAZIONI

** [[https://docs.google.com/open?id=0Bx77nAswtpavQVNfaFpBaFJQWHM|Tracce esercizi svolti il 14 Giungo 2012]]
** [[https://docs.google.com/open?id=0Bx77nAswtpavNC1od3JHdVppZE0|Tracce esercizi svolti il 15 Giugno 2012]]
** [[https://docs.google.com/open?id=0Bx77nAswtpavUGRaUG9ZMWtrU3M|Tracce esercizi svolti il 21 Giugno 2012]]
** [[https://docs.google.com/open?id=0Bx77nAswtpavQ3luNENVWmR2dEE|Tracce esercizi svolti il 22 Giugno 2012]]

* ESERCIZI SVOLTI

** [[https://docs.google.com/open?id=0Bx77nAswtpavZFJJUmZ5MFk4dHc|Esercizi svolti sul Pumping Lemma per Linguaggi Regolari]]
** [[https://docs.google.com/open?id=0Bx77nAswtpavWV9SQm43di03N1U|Esercizio 1]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavRW5RRXo4NWZwSmc|Esercizio 2]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavY3BsZC1jUVg1aDA|Esercizio 3]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpaveGUyZnhhd1JYQTg|Esercizio 4]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavclcwVTEzVS1UbWs|Esercizio 5]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavOWRCNlZJd2FkbVU|Esercizio 6]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavM2RTci1WU3ZUcWs|Esercizio 7]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavOVNITV9hanl1aFE|Esercizio 8]] [--(Aggiornato causa refuso il 31 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavY3lEM3NRTzZDM1E|Esercizio 9]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavZjUtS2pleWdtZ1E|Esercizio 10]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpaveTB2LWYwZWN3b0E|Esercizio 11]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavaVphak5MNk5xejg|Esercizio 12]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavTy1aejFCM2dGVlU|Esercizio 13]] [--(Pubblicato il 08 ottobre 2012)--]



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

* [[http://www.bloodshed.net//|Bloodshed Software]]
September 27, 2013, at 09:17 AM EST by 193.204.187.140 -
Added lines 1-158:
'''[++Metodi per il Ritrovamento dell'Informazione++]'''\\
''[++CdL in Informatica++]''\\
''[++A.A. 2013-2014++] ''


\\\
'''Docente:'''\\
[[http://www.di.uniba.it/~swap/lops.html | Pasquale Lops]]

\\\
Attach:Main/linea.gif
\\\\

*[[http://informatica.di.uniba.it/programmi/2012-13/Linguaggi%20di%20programmazione%20INFBa.pdf|Programma Preliminare]]
*[[#Avvisi|Avvisi]]
*[[#Modalita|Modalità d'Esame]]
*[[#Materiale|Materiale Didattico]]
*[[#Tracce|Tracce d'Esame]]
*[[#Risultati|Risultati]]
*[[#Tutoraggio|Tutoraggio]]
*[[#Link|Link Utili]]
\\\
Attach:Main/linea.gif
\\\\\
'''[++Avvisi++]'''
'''[[#Avvisi]]'''
\\\

*'''[27 febbraio 2013]''' Inizio del corso

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

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.
\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Materiale Didattico++]'''
'''[[#Materiale]]'''

* [[https://docs.google.com/file/d/0B3RFXmgrg1vfaXJwX0JpVVFOLVk/edit?usp=sharing|Introduzione (27/02/2013)]] [--(Pubblicato il 2 Marzo 2013)--]

* [[https://docs.google.com/file/d/0B3RFXmgrg1vfMVNoQ25LdEhjZWM/edit?usp=sharing|Macchine astratte (01/03/2013)]] [--(Pubblicato il 2 Marzo 2013)--]


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

* [[http://www.di.uniba.it/~lops/linguaggi/GrammarReader.pdf|Dispensa]] [--(Pubblicato il 16 Marzo 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/GrammarReader.c|Codice Sorgente]] [--(Pubblicato il 16 Marzo 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/EserciziGrammarReader.pdf|Esercizi proposti]] [--(Pubblicato il 16 Marzo 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/Approfondimenti.pdf|Approfondimenti per il laboratorio]] [--(Pubblicato il 16 Marzo 2013)--]\\\

'''[+Automi Riconoscitori e Analizzatore Lessicale+]'''

* [[http://www.di.uniba.it/~lops/linguaggi/DFA.zip|Implementazione di automi riconoscitori in C (dispensa+codice)]] [--(Pubblicato il 9 Maggio 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/Analizzatore_lessicale_stampati.pdf|Analizzatore Lessicale]] [--(Pubblicato il 9 Maggio 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/ImplementazioneScanner.zip|Implementazione di uno scanner (dispensa+codice+file di test)]] [--(Pubblicato il 9 Maggio 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/TabellaSimboli.pdf|Tabella dei simboli]] [--(Pubblicato il 9 Maggio 2013)--]\\\

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

* [[http://www.di.uniba.it/~lops/linguaggi/ModelloCompilatoreStampati.pdf|Il Modello di un Compilatore]] [--(Pubblicato il 16 Maggio 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/EvoluzioneLinguaggi.zip|Evoluzione dei Linguaggi]] [--(Pubblicato il 16 Maggio 2013)--]
* [[http://www.di.uniba.it/~lops/linguaggi/LinguaggiProgrammazione.pdf|Linguaggi di Programmazione e Cenni alla Semantica]] [--(Pubblicato il 16 Maggio 2013)--]\\\

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

* Ambiente di Sviluppo DevC++ 4 [[http://www.di.uniba.it/~lops/linguaggi/devcpp4.zip|(download)]]
\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Tracce d'Esame++]'''
'''[[#Tracce]]'''
\\\

* Prima prova di autovalutazione a.a. 2005-06 [[Attach:Main/Traccia_PrimaProvaInItinere_Bari_200506.pdf|(download)]]
* Seconda prova di autovalutazione a.a. 2005-06 [[http://www.di.uniba.it/~lops/linguaggi/Traccia_SecondaProvaInItinere_Bari_200506.pdf|(download)]]
* Tracce Appelli Precedenti [[http://www.di.uniba.it/~lops/linguaggi/tracce.zip|(download)]]
* Tracce di laboratorio appelli 2005-2006 [[http://www.di.uniba.it/~lops/linguaggi/TracceLabLinguaggi20052006.pdf|(download)]]
* Tracce di laboratorio appelli 2004-2005 [[http://www.di.uniba.it/~lops/linguaggi/TracceLabLinguaggi20042005.pdf|(download)]]
* Soluzioni Tracce di laboratorio appello 20 giugno 05 (traccia 2) [[http://www.di.uniba.it/~lops/linguaggi/SoluzioneLabGiugno2005Traccia2.c|(download)]]
* Soluzioni Tracce di laboratorio appello 11 luglio 05 (traccia 1) [[http://www.di.uniba.it/~lops/linguaggi/SoluzioneLabLuglio2005Traccia1.c|(download)]]
* Soluzioni Tracce di laboratorio appello 11 luglio 05 (traccia 2) [[http://www.di.uniba.it/~lops/linguaggi/SoluzioneLabLuglio2005Traccia2.c|(download)]]
* Tracce prova scritta appelli 2004-2005 [[http://www.di.uniba.it/~lops/linguaggi/TracceScrittoLinguaggi20042005.pdf|(download)]]
* Soluzione traccia scritta 13 luglio 2005 [[http://www.di.uniba.it/~lops/linguaggi/Lug13_%202005_Soluzione.pdf|(download)]]
* Tracce prove scritte appelli 2005-2006 [[http://www.di.uniba.it/~lops/linguaggi/TracceScrittoLinguaggi20052006.pdf|(download)]]

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

* [[https://docs.google.com/file/d/0B3RFXmgrg1vfQ1RnN0xHRGtwbjA/edit?usp=sharing|Risultati I prova in itinere del 24 Aprile 2013 (nuova versione)]] -
Riguardare i risultati perchè erano presenti alcune imprecisioni.
* [[https://docs.google.com/file/d/0B3RFXmgrg1vfREVCSmM0b3h2NGs/edit?usp=sharing|Risultati II prova in itinere del 31 Maggio 2013]]

* [[https://docs.google.com/file/d/0B3RFXmgrg1vfNTlsSW9lN0xQdWs/edit?usp=sharing|Risultati prova scritta del 18 Giugno 2013]]
* [[https://docs.google.com/file/d/0B3RFXmgrg1vfLUZ5SWNRaEowWHc/edit?usp=sharing|Risultati prova scritta del 25 Giugno 2013]]
* [[https://docs.google.com/document/d/1eSfkxayAKJthyEm0VAwmClTr0Xa21Xd5me0VoyUIfvI/edit?usp=sharing|Risultati prova scritta del 2 Luglio 2013]]
* [[https://docs.google.com/document/d/1xAQFVVLc206wq9uY5Wdv6r_-UN3s1cau5D-aur6eKvQ/edit?usp=sharing|Risultati prova scritta del 3 Settembre 2013]]
* [[https://docs.google.com/document/d/1EJ_1R5eYj6JvC8qbXStrRapO-ibp9txSW6b5T5Bdczw/edit?usp=sharing|Risultati prova scritta del 17 Settembre 2013]]

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

* ESERCITAZIONI

** [[https://docs.google.com/open?id=0Bx77nAswtpavQVNfaFpBaFJQWHM|Tracce esercizi svolti il 14 Giungo 2012]]
** [[https://docs.google.com/open?id=0Bx77nAswtpavNC1od3JHdVppZE0|Tracce esercizi svolti il 15 Giugno 2012]]
** [[https://docs.google.com/open?id=0Bx77nAswtpavUGRaUG9ZMWtrU3M|Tracce esercizi svolti il 21 Giugno 2012]]
** [[https://docs.google.com/open?id=0Bx77nAswtpavQ3luNENVWmR2dEE|Tracce esercizi svolti il 22 Giugno 2012]]

* ESERCIZI SVOLTI

** [[https://docs.google.com/open?id=0Bx77nAswtpavZFJJUmZ5MFk4dHc|Esercizi svolti sul Pumping Lemma per Linguaggi Regolari]]
** [[https://docs.google.com/open?id=0Bx77nAswtpavWV9SQm43di03N1U|Esercizio 1]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavRW5RRXo4NWZwSmc|Esercizio 2]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavY3BsZC1jUVg1aDA|Esercizio 3]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpaveGUyZnhhd1JYQTg|Esercizio 4]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavclcwVTEzVS1UbWs|Esercizio 5]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavOWRCNlZJd2FkbVU|Esercizio 6]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavM2RTci1WU3ZUcWs|Esercizio 7]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavOVNITV9hanl1aFE|Esercizio 8]] [--(Aggiornato causa refuso il 31 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavY3lEM3NRTzZDM1E|Esercizio 9]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavZjUtS2pleWdtZ1E|Esercizio 10]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpaveTB2LWYwZWN3b0E|Esercizio 11]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavaVphak5MNk5xejg|Esercizio 12]] [--(Pubblicato il 08 ottobre 2012)--]
** [[https://docs.google.com/open?id=0Bx77nAswtpavTy1aejFCM2dGVlU|Esercizio 13]] [--(Pubblicato il 08 ottobre 2012)--]



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

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