Corsi.IR1213 History
Hide minor edits - Show changes to markup
\\\\\
\\\
\\\\\
- Programma Preliminare
- Programma Preliminare
- [27 febbraio 2013] Inizio del corso
- [1 ottobre 2013] Inizio del corso
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.
L'esame si svolge sostenendo una prova scritta ed un colloquio orale.
- 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)
\\\\\
- 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 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
- 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
Metodi per il Ritrovamento dell'Informazione
CdL in Informatica
A.A. 2013-2014
Docente:
Pasquale Lops
- Programma Preliminare
- Avvisi
- Modalità d'Esame
- Materiale Didattico
- Tracce d'Esame
- Risultati
- Tutoraggio
- Link Utili
- [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)
- 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 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