SWAP - Semantic Web Access and Personalization Research Group

Corsi.IR1213 History

Hide minor edits - Show changes to markup

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:





\\\\\

September 27, 2013, at 11:28 AM EST by 93.43.210.16 -
Changed line 14 from:
to:
  • Programma Preliminare
September 27, 2013, at 11:28 AM EST by 93.43.210.16 -
Changed line 14 from:
  • Programma Preliminare
to:
Deleted line 19:
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:
  • Introduzione (27/02/2013) (Pubblicato il 2 Marzo 2013)
  • Macchine astratte (01/03/2013) (Pubblicato il 2 Marzo 2013)

Grammar Reader

  • Dispensa (Pubblicato il 16 Marzo 2013)
  • Codice Sorgente (Pubblicato il 16 Marzo 2013)
  • Esercizi proposti (Pubblicato il 16 Marzo 2013)
  • Approfondimenti per il laboratorio (Pubblicato il 16 Marzo 2013)

Automi Riconoscitori e Analizzatore Lessicale

  • Implementazione di automi riconoscitori in C (dispensa+codice) (Pubblicato il 9 Maggio 2013)
  • Analizzatore Lessicale (Pubblicato il 9 Maggio 2013)
  • Implementazione di uno scanner (dispensa+codice+file di test) (Pubblicato il 9 Maggio 2013)
  • Tabella dei simboli (Pubblicato il 9 Maggio 2013)

Introduzione ai Linguaggi di Programmazione e ai Compilatori

  • Il Modello di un Compilatore (Pubblicato il 16 Maggio 2013)
  • Evoluzione dei Linguaggi (Pubblicato il 16 Maggio 2013)
  • Linguaggi di Programmazione e Cenni alla Semantica (Pubblicato il 16 Maggio 2013)

Strumenti di Sviluppo

  • Ambiente di Sviluppo DevC++ 4 (download)





\\\\\

Deleted lines 53-65:
  • Prima prova di autovalutazione a.a. 2005-06 (download)
  • Seconda prova di autovalutazione a.a. 2005-06 (download)
  • Tracce Appelli Precedenti (download)
  • Tracce di laboratorio appelli 2005-2006 (download)
  • Tracce di laboratorio appelli 2004-2005 (download)
  • Soluzioni Tracce di laboratorio appello 20 giugno 05 (traccia 2) (download)
  • Soluzioni Tracce di laboratorio appello 11 luglio 05 (traccia 1) (download)
  • Soluzioni Tracce di laboratorio appello 11 luglio 05 (traccia 2) (download)
  • Tracce prova scritta appelli 2004-2005 (download)
  • Soluzione traccia scritta 13 luglio 2005 (download)
  • Tracce prove scritte appelli 2005-2006 (download)

\\\\\

Deleted lines 58-67:
  • Risultati I prova in itinere del 24 Aprile 2013 (nuova versione) -

Riguardare i risultati perchè erano presenti alcune imprecisioni.

  • Risultati II prova in itinere del 31 Maggio 2013
  • Risultati prova scritta del 18 Giugno 2013
  • Risultati prova scritta del 25 Giugno 2013
  • Risultati prova scritta del 2 Luglio 2013
  • Risultati prova scritta del 3 Settembre 2013
  • Risultati prova scritta del 17 Settembre 2013
Changed lines 62-63 from:

Tutoraggio

to:

Link Utili

Deleted lines 64-98:
  • ESERCITAZIONI
    • Tracce esercizi svolti il 14 Giungo 2012
    • Tracce esercizi svolti il 15 Giugno 2012
    • Tracce esercizi svolti il 21 Giugno 2012
    • Tracce esercizi svolti il 22 Giugno 2012
  • ESERCIZI SVOLTI
    • Esercizi svolti sul Pumping Lemma per Linguaggi Regolari
    • Esercizio 1 (Pubblicato il 08 ottobre 2012)
    • Esercizio 2 (Pubblicato il 08 ottobre 2012)
    • Esercizio 3 (Pubblicato il 08 ottobre 2012)
    • Esercizio 4 (Pubblicato il 08 ottobre 2012)
    • Esercizio 5 (Pubblicato il 08 ottobre 2012)
    • Esercizio 6 (Pubblicato il 08 ottobre 2012)
    • Esercizio 7 (Pubblicato il 08 ottobre 2012)
    • Esercizio 8 (Aggiornato causa refuso il 31 ottobre 2012)
    • Esercizio 9 (Pubblicato il 08 ottobre 2012)
    • Esercizio 10 (Pubblicato il 08 ottobre 2012)
    • Esercizio 11 (Pubblicato il 08 ottobre 2012)
    • Esercizio 12 (Pubblicato il 08 ottobre 2012)
    • Esercizio 13 (Pubblicato il 08 ottobre 2012)









Link Utili

  • 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:
Pasquale Lops












Avvisi

  • [27 febbraio 2013] Inizio del corso









Modalità d'Esame

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.







Materiale Didattico

  • Introduzione (27/02/2013) (Pubblicato il 2 Marzo 2013)
  • Macchine astratte (01/03/2013) (Pubblicato il 2 Marzo 2013)

Grammar Reader

  • Dispensa (Pubblicato il 16 Marzo 2013)
  • Codice Sorgente (Pubblicato il 16 Marzo 2013)
  • Esercizi proposti (Pubblicato il 16 Marzo 2013)
  • Approfondimenti per il laboratorio (Pubblicato il 16 Marzo 2013)

Automi Riconoscitori e Analizzatore Lessicale

  • Implementazione di automi riconoscitori in C (dispensa+codice) (Pubblicato il 9 Maggio 2013)
  • Analizzatore Lessicale (Pubblicato il 9 Maggio 2013)
  • Implementazione di uno scanner (dispensa+codice+file di test) (Pubblicato il 9 Maggio 2013)
  • Tabella dei simboli (Pubblicato il 9 Maggio 2013)

Introduzione ai Linguaggi di Programmazione e ai Compilatori

  • Il Modello di un Compilatore (Pubblicato il 16 Maggio 2013)
  • Evoluzione dei Linguaggi (Pubblicato il 16 Maggio 2013)
  • Linguaggi di Programmazione e Cenni alla Semantica (Pubblicato il 16 Maggio 2013)

Strumenti di Sviluppo

  • Ambiente di Sviluppo DevC++ 4 (download)









Tracce d'Esame

  • Prima prova di autovalutazione a.a. 2005-06 (download)
  • Seconda prova di autovalutazione a.a. 2005-06 (download)
  • Tracce Appelli Precedenti (download)
  • Tracce di laboratorio appelli 2005-2006 (download)
  • Tracce di laboratorio appelli 2004-2005 (download)
  • Soluzioni Tracce di laboratorio appello 20 giugno 05 (traccia 2) (download)
  • Soluzioni Tracce di laboratorio appello 11 luglio 05 (traccia 1) (download)
  • Soluzioni Tracce di laboratorio appello 11 luglio 05 (traccia 2) (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

  • Risultati I prova in itinere del 24 Aprile 2013 (nuova versione) -

Riguardare i risultati perchè erano presenti alcune imprecisioni.

  • Risultati II prova in itinere del 31 Maggio 2013
  • Risultati prova scritta del 18 Giugno 2013
  • Risultati prova scritta del 25 Giugno 2013
  • Risultati prova scritta del 2 Luglio 2013
  • Risultati prova scritta del 3 Settembre 2013
  • Risultati prova scritta del 17 Settembre 2013









Tutoraggio

  • ESERCITAZIONI
    • Tracce esercizi svolti il 14 Giungo 2012
    • Tracce esercizi svolti il 15 Giugno 2012
    • Tracce esercizi svolti il 21 Giugno 2012
    • Tracce esercizi svolti il 22 Giugno 2012
  • ESERCIZI SVOLTI
    • Esercizi svolti sul Pumping Lemma per Linguaggi Regolari
    • Esercizio 1 (Pubblicato il 08 ottobre 2012)
    • Esercizio 2 (Pubblicato il 08 ottobre 2012)
    • Esercizio 3 (Pubblicato il 08 ottobre 2012)
    • Esercizio 4 (Pubblicato il 08 ottobre 2012)
    • Esercizio 5 (Pubblicato il 08 ottobre 2012)
    • Esercizio 6 (Pubblicato il 08 ottobre 2012)
    • Esercizio 7 (Pubblicato il 08 ottobre 2012)
    • Esercizio 8 (Aggiornato causa refuso il 31 ottobre 2012)
    • Esercizio 9 (Pubblicato il 08 ottobre 2012)
    • Esercizio 10 (Pubblicato il 08 ottobre 2012)
    • Esercizio 11 (Pubblicato il 08 ottobre 2012)
    • Esercizio 12 (Pubblicato il 08 ottobre 2012)
    • Esercizio 13 (Pubblicato il 08 ottobre 2012)









Link Utili

  • Bloodshed Software