SWAP - Semantic Web Access and Personalization Research Group

Corsi.LPBA1718 History

Show minor edits - Show changes to output

September 13, 2017, at 09:55 AM EST by 193.204.187.248 -
Added lines 17-18:

*[[http://informatica2.di.uniba.it/login/index.php|Tutte le informazioni saranno presto disponibili sulla piattaforma di e-learning ADA]]
September 11, 2017, at 05:46 AM EST by 193.204.187.248 -
Deleted lines 16-115:
>>comment<< *[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]

*[[#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]]'''
>>bgcolor=#e1d6ed<<
* 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.
>><<


\\\\\
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, 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.
\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Materiale Didattico++]'''
'''[[#Materiale]]'''
* [[http://www.di.uniba.it/~lops/linguaggi/EvoluzioneLinguaggi.zip|Evoluzione dei linguaggi di programmazione]]
* [[http://www.di.uniba.it/~lops/linguaggi/LinguaggiProgrammazione.pdf| Linguaggi di programmazione e cenni alla semantica]]
* [[https://drive.google.com/open?id=0BwXKoVMAAXsqQmJnb2lNLW5RSjA| Tabella dei simboli]]
* [[http://www.di.uniba.it/~lops/linguaggi/Analizzatore_lessicale_stampati.pdf| Analizzatore lessicale]]
* [[http://www.di.uniba.it/~lops/linguaggi/ModelloCompilatoreStampati.pdf| Modello di un compilatore]]
* [[https://drive.google.com/file/d/0BwoDSnBFiypFazZGcE4zZDRVZm8/view?usp=sharing|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]]
* [[https://drive.google.com/file/d/0BwoDSnBFiypFWWhWbnNpVFhBdWc/view?usp=sharing|Esercitazione]]
* [[https://drive.google.com/file/d/0Bx77nAswtpavNlduTGw3ZTFvZms0MmdiUzZsU0EteVNsYk1R/view?usp=sharing|Macchine astratte, traduttori, e macchine di Turing]]

\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Tracce d'Esame++]'''
'''[[#Tracce]]'''
\\\

* Traccia Appello 16 Novembre 2015 [[https://drive.google.com/open?id=0BwXKoVMAAXsqVEl1NkEzX2NXNDA|(download)]]
* Traccia Appello 2 Settembre 2015 [[https://drive.google.com/open?id=0BwXKoVMAAXsqNWJTcUN2ODBlR0U|(download)]]
* Traccia Appello 9 Giugno 2015 [[https://drive.google.com/open?id=0BwXKoVMAAXsqNXEzZFU2MnBfLW8|(download)]]
* 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 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]]'''

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


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


\\\


'''[+Esercizi+]'''

Tracce tutoraggio anni precedenti:
* [[https://drive.google.com/file/d/0BwoDSnBFiypFcG5zOXotLXhpRHc/view?usp=sharing|31/08/2015]]
* [[https://drive.google.com/file/d/0BwoDSnBFiypFRFZhSUhJYmJsZlE/view?usp=sharing|01/09/2015]]
\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Link Utili++]'''

* [[http://ilmiolibro.kataweb.it/libro/informatica-e-internet/317883/elementi-di-teoria-dei-linguaggi-formali/|Testo "Elementi di TEORIA dei LINGUAGGI FORMALI"]]
'''[[#Link]]'''

>><<
September 11, 2017, at 05:42 AM EST by 193.204.187.248 -
Changed line 33 from:
to:
>><<
September 11, 2017, at 05:42 AM EST by 193.204.187.248 -
Changed line 33 from:
>><<
to:
September 11, 2017, at 05:41 AM EST by 193.204.187.248 -
Changed lines 17-18 from:
%comment% *[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
to:
>>comment<< *[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
Changed lines 114-116 from:
'''[[#Link]]'''
to:
'''[[#Link]]'''

>><<
September 11, 2017, at 05:40 AM EST by 193.204.187.248 -
Changed line 17 from:
*[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
to:
%comment% *[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
September 11, 2017, at 05:39 AM EST by 193.204.187.248 -
Deleted line 16:
(:comment
Changed lines 114-116 from:
'''[[#Link]]'''

:)
to:
'''[[#Link]]'''
September 11, 2017, at 05:38 AM EST by 193.204.187.248 -
Added line 17:
(:comment
Changed lines 115-117 from:
'''[[#Link]]'''
to:
'''[[#Link]]'''

:)
September 11, 2017, at 05:34 AM EST by 193.204.187.248 -
Changed line 17 from:
/* *[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]] */
to:
*[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
September 11, 2017, at 05:32 AM EST by 193.204.187.248 -
Changed line 17 from:
*[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
to:
/* *[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]] */
September 11, 2017, at 05:28 AM EST by 193.204.187.248 -
Changed line 17 from:
%*[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
to:
*[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
September 11, 2017, at 05:28 AM EST by 193.204.187.248 -
Changed line 17 from:
*[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
to:
%*[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
September 11, 2017, at 05:27 AM EST by 193.204.187.248 -
Changed line 17 from:
# *[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
to:
*[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
September 11, 2017, at 05:26 AM EST by 193.204.187.248 -
Changed line 17 from:
*[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
to:
# *[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]
September 11, 2017, at 05:22 AM EST by 193.204.187.248 -
September 11, 2017, at 05:19 AM EST by 193.204.187.248 -
Added lines 1-114:
'''[++Linguaggi di Programmazione (Corso A)++]'''\\
''[++CdL in Informatica - sede di Bari++]''\\
''[++A.A. 2017-2018++] ''
\\\
Attach:Main/linea.gif
\\\\
\\\
'''Docente:'''\\
[[http://www.di.uniba.it/~swap/semeraro.html | Giovanni Semeraro]]
\\

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

*[[https://drive.google.com/open?id=0BwXKoVMAAXsqdnlQS1g0SWNNelE|Programma preliminare]]
*[[https://drive.google.com/open?id=0BwXKoVMAAXsqSUFySC1IX0N5anc|Presentazione dell'insegnamento]]

*[[#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]]'''
>>bgcolor=#e1d6ed<<
* 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.
>><<


\\\\\
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, 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.
\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Materiale Didattico++]'''
'''[[#Materiale]]'''
* [[http://www.di.uniba.it/~lops/linguaggi/EvoluzioneLinguaggi.zip|Evoluzione dei linguaggi di programmazione]]
* [[http://www.di.uniba.it/~lops/linguaggi/LinguaggiProgrammazione.pdf| Linguaggi di programmazione e cenni alla semantica]]
* [[https://drive.google.com/open?id=0BwXKoVMAAXsqQmJnb2lNLW5RSjA| Tabella dei simboli]]
* [[http://www.di.uniba.it/~lops/linguaggi/Analizzatore_lessicale_stampati.pdf| Analizzatore lessicale]]
* [[http://www.di.uniba.it/~lops/linguaggi/ModelloCompilatoreStampati.pdf| Modello di un compilatore]]
* [[https://drive.google.com/file/d/0BwoDSnBFiypFazZGcE4zZDRVZm8/view?usp=sharing|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]]
* [[https://drive.google.com/file/d/0BwoDSnBFiypFWWhWbnNpVFhBdWc/view?usp=sharing|Esercitazione]]
* [[https://drive.google.com/file/d/0Bx77nAswtpavNlduTGw3ZTFvZms0MmdiUzZsU0EteVNsYk1R/view?usp=sharing|Macchine astratte, traduttori, e macchine di Turing]]

\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Tracce d'Esame++]'''
'''[[#Tracce]]'''
\\\

* Traccia Appello 16 Novembre 2015 [[https://drive.google.com/open?id=0BwXKoVMAAXsqVEl1NkEzX2NXNDA|(download)]]
* Traccia Appello 2 Settembre 2015 [[https://drive.google.com/open?id=0BwXKoVMAAXsqNWJTcUN2ODBlR0U|(download)]]
* Traccia Appello 9 Giugno 2015 [[https://drive.google.com/open?id=0BwXKoVMAAXsqNXEzZFU2MnBfLW8|(download)]]
* 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 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]]'''

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


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


\\\


'''[+Esercizi+]'''

Tracce tutoraggio anni precedenti:
* [[https://drive.google.com/file/d/0BwoDSnBFiypFcG5zOXotLXhpRHc/view?usp=sharing|31/08/2015]]
* [[https://drive.google.com/file/d/0BwoDSnBFiypFRFZhSUhJYmJsZlE/view?usp=sharing|01/09/2015]]
\\\\\
Attach:Main/linea.gif
\\\\\
'''[++Link Utili++]'''

* [[http://ilmiolibro.kataweb.it/libro/informatica-e-internet/317883/elementi-di-teoria-dei-linguaggi-formali/|Testo "Elementi di TEORIA dei LINGUAGGI FORMALI"]]
'''[[#Link]]'''