Archivio Avvisi di Informatica Teorica

• Annuncio del 9/1/2018
  

  Lezione del giorno 11/1 La lezione del giorno 11 gennaio non avra' luogo. Al suo posto, nella stessa aula della lezione, alle ore 12:00 si terra' una sessione straordinaria di spiegazioni.

• Annuncio del 27/11/2017
  

  Lezione del 29/11 La lezione del 29 novembre non avra' luogo a causa di un impegno istituzionale concomitante del docente.

• Avviso del 21/10/2017
  

  Prenotazione per la prima prova intermedia Per sostenere la prima prova intermedia occorre prenotarsi qui entro il 25 ottobre.

• Avviso del 17/10/2017
  

  Lezione del 26 ottobre A causa delle Lauree la lezione di Informatica Teorica del 26 ottobre non avra' luogo.

• Annuncio del 23/01/2017
  

  Prenotazone alla Quinta Prova Intermedia Per prendere parte alla quinta prova intermedia che avrà luogo giovedì 26 gennaio alle ore 18:00 occorre iscriversi sul sito http://moodle.dia.uniroma3.it entro mercoledì 25 gennaio alle ore 13:00.

• Annuncio del 23/01/2017
  

  Ultima Lezione La lezione di domani 24 gennaio 2017 alle ore 8:30 sarà l'ultima lezione del corso.

• Annuncio del 23/01/2017
  

  Risultati Quarta Prova Intermedia I risultati della quarta prova intermedia del 9 gennaio 2017 sono disponibili nella sezione "prove d'esame" di questa pagina.

• Annuncio del 22/12/2016
  

  Risultati Terza Prova Intermedia I risultati della terza prova intermedia del 2 dicembre 2016 sono disponibili nella sezione "prove d'esame" di questa pagina. OA

• Annuncio del 24/11/2016
  

  Lezione e ricevimento del 28 novembre Lunedì 28 novembre non ci sarà lezione di Informatica Teorica. Il ricevimento studenti di lunedì 28 novembre è spostato a: martedì 29 novembre dalle 10:00 alle 12:00 martedì 29 novembre dalle 16:00 alle 17:00 giovedì 1 dicembre dalle 17:00 alle 19:00

• Annuncio del 30/11/2016
  

  Risultati Seconda Prova Intermedia I risultati della seconda prova intermedia del 18 novembre 2016 sono disponibili nella sezione "prove d'esame" di questa pagina.

• Annuncio del 13/11/2016
  

  Prenotazione Seconda Prova Intermedia Per poter sostenere la seconda prova intermedia di Informatica Teorica venerdì 18 novembre dalle 18:00 alle 19:00 nelle aule N10, N11 ed N1 è necessario prenotarsi sul sito http://moodle.dia.uniroma3.it entro mercoledì 16 novembre.

• Annuncio del 04/10/2016
  

  Risultati Prima Prova Intermedia I risultati della prima prova intermedia del 28 ottobre 2016 sono disponibili nella sezione "prove d'esame" di questa pagina.

• Annuncio del 30/10/2016
  

  Domani faremo regolarmente lezione La lezione di domani 31 ottobre 2016 avrà luogo regolarmente alle 10:15-11:45 come previsto dal calendario. Le trasparenze sui linguaggi non regolari sono disponibili nella sezione dedicata al materiale didattico.

• Annuncio del 23/10/2016
  

  Iscrizione alla prima prova intermedia di Informatica Teorica Gli studenti D.M. 270/04 che intendono sostenere la prima prova intermendia il 28 ottobre 2016 alle ore 18:00 nelle aule N10, N11 ed N1 di via della Vasca Navale 79 sono pregati entro mercoledì 26 ottobre di: Creare un account sul sito http://moodle.dia.uniroma3.it qualora non se ne fosse già in possesso Iscriversi al corso di "Informatica Teorica" usando la chiave "teorica" qualora non si fosse già iscritti Segnalare la propria partecipazione cliccando su "Clicca qui per iscriverti alla prima prova intermedia".

• Annuncio del 23/10/2016
  

  Calendario delle Prove Intermedie Trovate nella sezione Prove d'esame di questa pagina il calendario delle prove intermedie ed i dettagli della prima prova.

• Annuncio del 07/10/2016
  

  Orari delle lezioni Abbiamo convenuto con gli studenti presenti in aula che le lezioni di Informatica Teorica seguiranno i seguenti orari: lunedì dalle 10:15 alle 11:45 martedì dalle 8:30 alle 10:00 mercoledì dalle 10:15 alle 11:45 giovedì dalle 10:15 alle 11:45

• Annuncio del 07/10/2016
  

  Presentazione per i piani di studio Lunedì 10 ottobre alle ore 10:15 nell'aula N14, prima della lezione di Informatica Teorica, avrà luogo una presentazione da parte del Collegio Didattico di Ingegneria Informatica per la compilazione dei piani di studio degli studenti del primo anno della Laurea Magistrale in Ingegneria Informatica. Si auspica un'ampia partecipazione.

• Avviso del 29 febbraio 2016
  

  Esami di febbraio e verbalizzazioni I risultati dell'esame del 26/2 sono disponibili qui: voti-esame-IT-26-02-16-01.pdf Le verbalizzazioni avverranno, nell'ufficio del docente, nei giorni: 29/02 ore 13:00, 1/03 ore 13:00, 4/03 ore 17:00.

• Annuncio del 16/02/2016
  

  Verbalizzazione degli esiti della valutazione in itinere Gli studenti che intendano avvalersi del risultato conseguito nella valutazione in itinere devono obbligatoriamente: (1) Prenotarsi all'esame per l'appello di febbraio. (2) Presentarsi in uno dei seguenti orari di verbalizzazione: - venerdi' 26 febbraio ore 15:30 - ufficio del docente; - lunedi' 29 febbraio ore 13:00 - ufficio del docente. Gli studenti che si presenteranno all'esame scritto dell'appello di febbraio rifiuteranno implicitamente il voto della valutazione in itinere.

• Annuncio del 29/02/2016
  

  Verbalizzazione degli esiti della valutazione in itinere - ulteriori date Oltre alle date dell'annuncio del 16/2 i risultati delle prove in itinere potranno essere verbalizzati anche nelle seguenti date: 1/03 ore 13:00, 4/03 ore 17:00.

• Annuncio del 25 gennaio 2016
  

  Risultati quinta prova intermedia di Informatica Teorica I risultati della quinta prova intermedia di Informatica Teorica sono disponibili qui: voti-prova-intermedia-5-IT-2015-2016-01.pdf. Gli elaborati potranno essere visionati nel normale orario di spiegazioni. In un prossimo avviso saranno rese note le modalita' e le date per la verbalizzazione.

• Annuncio del 5 dicembre 2015
  

  Lezione del 7 dicembre di Informatica Teorica Come comunicato in aula, la lezione di Informatica Teorica prevista per il 7 dicembre 2015 non avra' luogo.

• Annuncio del 11 novembre 2015
  

  Lezione del giorno 12/11/2015 La lezione del giorno 12/11 si terra' regolarmente. Durante la lezione si svolgeranno esercizi su grammatiche CF e automi a pila.

• Annuncio del 10 novembre 2015
  

  Lezione del giorno 11/11/2015 La lezione del giorno 11/11 non si terra' perche' il professore si e' ammalato. Per cio' che riguarda la lezione del 12/11 verra' inserito un annuncio su questo stesso sito nella giornata di domani.

• Annuncio del 29 ottobre 2015
  

  Prova intermedia del 30 ottobre di Informatica Teorica Gli studenti che intendono sostenere la prima prova intermedia sono convocati per le 12:00 di domani (30/10) in Aula N11. Non occorre prenotarsi.

• Annuncio del 17 luglio 2015
  

  Appello del 21 Luglio di Informatica Teorica L'esame scritto del 21 luglio si terrà nell'aula N13. La prova scritta relativa al primo modulo (fino ai linguaggi non contestuali inclusi) comincerà alle ore 9:00 e terminerà alle ore 10:30. La prova scritta relativa al secondo modulo comincerà alle ore 11:00 e terminerà alle ore 12:30.

• Annuncio del 9 febbraio 2015
  

  Risultati quinta prova intermedia di Informatica Teorica I risultati della quinta prova intermedia di Informatica Teorica sono disponibili qui: IT-2015-01-23-Quinta-Prova-Risultati.pdf. Al fine di stampare un congruo numero di compiti per l'appello del 20 febbraio 2015, gli studenti che si sono segnati all'esame al solo fine di verbalizzare il voto ottenuto con le prove intermedie sono pregati di segnalarlo sul sito http://moodle.dia.uniroma3.it La verbalizzazione per coloro che accettano il voto delle prove intermedie avverrà in una serie di appuntamenti (necessariamente posteriori al 20 febbraio) che saranno resi noti a breve.

• Annuncio del 22 febbraio 2015
  

  Verbalizzazioni di Informatica Teorica I risultati dello scritto di Informatica Teorica di venerdì 20 febbraio saranno presto pubblicati su questa pagina. Le verbalizzazioni (sia per coloro che si avvalgono del voto delle prove intermedie, sia per coloro che hanno superato la prova scritta) avverranno nei seguenti orari: Martedì 24 febbraio dalle 12:00 alle 13:00 in sala riunioni (primo piano del DIA) Giovedì 26 febbraio dalle 12:00 alle 13:00 in sala riunioni Giovedì 26 febbraio dalle 16:00 alle 17:30 in sala riunioni In occasione delle verbalizzazioni sarà possibile discutere la valutazione della quinta prova intermedia o dell'esame finale.

• Annuncio del 21 gennaio 2015
  

  Quinta prova intermedia di Informatica Teorica La quinta prova intermedia di Informatica Teorica si terrà venerdì 23 gennaio 2015 alle ore 10 nelle aule N3 ed N10. Per sostenere la prova è necessario iscriversi sul sito http://moodle.dia.uniroma3.it entro le 17:00 di giovedì 22 gennaio. Argomento della prova sarà tutto il programma del corso.

• Annuncio del 21 gennaio 2015
  

  Risultati Quarta prova intermedia di Informatica Teorica I risultati della quarta prova intermedia di Informatica Teorica sono disponibili qui: IT-2015-01-14-Quarta-Prova-Risultati.pdf.

• Annuncio dell'11 gennaio 2015
  

  Risultati Terza prova intermedia di Informatica Teorica I risultati della terza prova intermedia di Informatica Teorica sono disponibili qui: IT-2014-12-19-Terza-Prova-Risultati.pdf.

• Annuncio del 18 dicembre 2014
  

  Terza prova intermedia di Informatica Teorica La terza prova intermedia di Informatica Teorica si terrà venerdì 19 dicembre alle ore 18 in aula N18. Non è necessario prenotarsi alla prova. Argomento della prova sarà tutto il programma fino alla definizione dei problemi NP-completi.

• Annuncio del 12 dicembre 2014
  

  Risultati seconda prova intermedia di Informatica Teorica I risultati della seconda prova intermedia di Informatica Teorica sono disponibili qui: IT-2014-11-26-Seconda-Prova-Risultati.pdf.

• Annuncio del 25 novembre 2014
  

  Seconda prova intermedia di Informatica Teorica La seconda prova intermedia di Informatica Teorica si terrà mercoledì 26 novembre dalle 17:00 in poi nelle aule N18 (cognomi dalla A a MASSU) ed N16 (cognomi da MASTRO a Z) di Via della Vasca Navale, 109. La prova durerà circa un'ora. Non è consentito consultare materiale o usare calcolatrici (è necessario solamente un documento ed una penna/matita). Argomento della seconda sarà il programma dall'inizio del corso fino alle macchine di Turing deterministiche (esercizi di sintesi delle macchine di Turing esclusi).

• Annuncio del 20 novembre 2014
  

  Seconda prova intermedia di Informatica Teorica Gli studenti D.M. 270/04 che intendono sostenere la seconda prova intermendia il 26 novembre 2014 alle ore 17:00 nelle aule N16 ed N18 di via della Vasca Navale 109 sono pregati entro domenica 23 novembre di: Creare un account sul sito http://moodle.dia.uniroma3.it qualora non se ne fosse già in possesso Iscriversi al corso di "Informatica Teorica" usando la chiave "teorica" qualora non si fosse già iscritti Segnalare la propria partecipazione cliccando su "Clicca qui per iscriverti alla seconda prova intermedia".

• Annuncio del 20 novembre 2014
  

  Risultati prima prova intermedia di Informatica Teorica I risultati della prima prova intermedia di Informatica Teorica sono disponibili qui: IT-2014-11-05-Prima-Prova-Risultati.pdf.

• Annuncio del 5 novembre 2014
  

  Lezione di domani 6 novembre annullata Domani, giovedì 6 novembre 2014, l'attività didattica è sospesa per effetto del provvedimento del Prefetto di Roma che ha disposto la chiusura di tutte le scuole di ogni ordine e grado di Roma e Provincia.

• Annuncio del 4 novembre 2014
  

  Prima prova intermedia di Informatica Teorica La prima prova intermedia di Informatica Teorica si terrà mercoledì 5 novembre dalle 17:00 in poi nelle aule N18 (cognomi dalla A a MASSU) ed N16 (cognomi da MASTRO a Z) di Via della Vasca Navale, 109. La prova durerà circa un'ora. Non è consentito consultare materiale o usare calcolatrici (è necessario solamente un documento ed una penna/matita). Argomento della prova sarà il programma dall'inizio del corso fino alle forme normali per i linguaggi context-free inclusi.

• Annuncio del 29 ottobre 2014
  

  Prima prova intermedia di Informatica Teorica Gli studenti D.M. 270/04 che intendono sostenere la prima prova intermendia il 5 novembre 2014 alle ore 17:00 nelle aule N15/N16/N18 di via della Vasca Navale 109 sono pregati entro domenica 2 novembre di: Creare un account sul sito http://moodle.dia.uniroma3.it qualora non se ne fosse già in possesso Iscriversi al corso di "Informatica Teorica" usando la chiave "teorica" qualora non si fosse già iscritti Segnalare la propria partecipazione cliccando su "Clicca qui per iscriverti alla prima prova intermedia".

• Avviso dell'8 ottobre 2014
  

  Date delle prove intermedie Trovate in fondo a questa pagina le date delle cinque prove intermedie.

• Avviso del 2 ottobre 2014
  

  Lezione del 3 ottobre 2014 La lezione di Informatica Teorica delle ore 10:00 di venerdì 3 ottobre inizierà con un breve incontro (20 minuti circa) di orientamento per i piani di studi della Laurea Magistrale in Ingegneria Informatica come da avviso apparso in bacheca.

!-- INIZIO ANNUNCIO -->
• Avviso del 29 settembre 2014
  

  Inizio Lezioni La lezione di Informatica Teorica di mercoledì primo ottobre 2014 non avrà luogo. Le lezioni di Informatica Teorica inizieranno il 2 ottobre (aula N3, ore 9:00, come da calendario).

• Avviso del 14 luglio 2014
  

  Esami di luglio e verbalizzazioni I risultati dell'esame del 4/7 sono disponibili qui: voti-esame-IT-04-07-14-01.pdf Le verbalizzazioni avverranno, nell'ufficio del docente, nei giorni: 16/07 ore 9:00, 17/07 ore 12:00.

• Avviso del 20 febbraio 2014
  

  Esami di febbraio e verbalizzazioni I risultati dell'esame del 17/2 sono disponibili qui: voti-esame-IT-17-02-14-01.pdf. Le verbalizzazioni avverranno, nell'ufficio del docente, nei giorni: 21/02 ore 16:00, 24/02 ore 11:00.

• Avviso del 18/02/14
  

  Date verbalizzazione - valutazione in itinere. Gli studenti che intendano avvalersi del risultato conseguito nella valutazione in itinere devono presentarsi per la verbalizzazione, nell'ufficio del docente, nelle seguenti date: 19/02 ore 10:30 o 21/02 ore 16:00.

• Annuncio del 03/02/14
  

  Sono disponibili i risultati della quinta ed ultima prova intermedia. E' quindi conclusa la valutazione in itinere. I compiti possono essere discussi nei normali orari di spiegazione. Gli studenti che intendano avvalersi del risultato conseguito nella valutazione in itinere devono obbligatoriamente: (1) Prenotarsi all'esame per l'appello di febbraio; (2) Presentarsi in uno degli orari di verbalizzazione dell'appello di febbraio. Tali orari saranno resi noti in prossimita' dell'esame scritto. Gli studenti che si presenteranno all'esame scritto dell'appello di febbraio rifiuteranno implicitamente il voto della valutazione in itinere.

• Avviso del 21/01/14
  

  Lezione del 22/01 La lezione del 22/01 e' sostituita da una sessione straordinaria di spiegazioni, nello stesso orario della lezione ma nell'ufficio del docente.

• Avviso del 12/01/14
  

  Lezioni del 13/01 e del 14/01 La lezione del 13/01 e' sostituita da una sessione straordinaria di spiegazioni, nello stesso luogo ed orario della lezione. La lezione del 14/01 e' annullata.

• Avviso del 12/01/14
  

  Quarta prova di Informatica Teorica - Distribuzione degli studenti nelle aule Gli studenti che intendono sostenere la quarta prova di Informatica Teorica devono distribuirsi nelle aule come segue. Aula N11 A-Garzi. Aula N18 Gata-Z.

• Avviso del 10/12/13
  

  Terza prova di Informatica Teorica - Distribuzione degli studenti nelle aule Gli studenti che intendono sostenere la terza prova di Informatica Teorica devono distribuirsi nelle aule come segue. Aula N11 A-Garzi. Aula N18 Gata-Z.

• Avviso del 3/12/13
  

  Lezione del 9/12/2013 La lezione del 9/12/2013 non avra' luogo a causa della concomitante inaugurazione dell'Anno Accademico.

• Avviso del 29/10/13
  

  Prima prova di Informatica Teorica - Distribuzione degli studenti nelle aule Gli studenti che intendono sostenere la prima prova di Informatica Teorica devono distribuirsi nelle aule come segue. Aula N11 A-Garzi. Aula N18 Gata-Z.

• Avviso del 25/10/13
  

  Iscrizione alla prima prova di Informatica Teorica Gli studenti che intendono sostenere la prima prova di Informatica Teorica devono prenotarsi qui entro le 15:00 del 29/10.

• Annuncio del 16/10/13
  

  Lezione del 18/10/2013 Venerdì 18 ottobre 2013 la lezione di Informatica Teorica non avrà luogo.

• Avviso del 20 febbraio 2013
  

  Esami di febbraio e verbalizzazioni I risultati dell'esame del 18/2 sono disponibili qui: voti-IT-270-18-02-2013.pdf. Le verbalizzazioni, anche per coloro che hanno scelto di sostenere l'esame con le prove in itinere, avverranno, nell'ufficio del docente, nei giorni: 22/02 ore 12:00, 6/03 ore 13:00.

• Annuncio del 29/01/13
  

  Sono disponibili i risultati della quinta ed ultima prova intermedia. E' quindi conclusa la valutazione in itinere. Gli studenti che intendano avvalersi del risultato conseguito nella valutazione in itinere devono obbligatoriamente: (1) Prenotarsi all'esame per l'appello di febbraio; (2) Presentarsi in uno degli orari di verbalizzazione dell'appello di febbraio. Tali orari saranno resi noti in prossimita' dell'esame scritto. Gli studenti che si presenteranno all'esame scritto dell'appello di febbraio rifiuteranno implicitamente il voto della valutazione in itinere.

• Annuncio del 14/01/13
  

  Quarta e quinta prova intermedia L'orario d'inizio delle due ultime prove intermedie e' cambiato di 20 minuti. Sono cambiate anche le aule.

• Annuncio del 12/12/12
  

  Lezione del 13/12/2012 Giovedì 13 dicembre 2012 la lezione di Informatica Teorica non avrà luogo. Nello stesso orario ci sara' una sessione straordinaria di spiegazioni nell'ufficio del docente.

• Annuncio del 6 novembre 2012
  

  Lezione del 7/11/2012 Mercoledì 7 novembre 2012 la lezione di Informatica Teorica non avrà luogo a causa di un concomitante concorso per l'ammissione al dottorato di ricerca.

• Annuncio del 30 ottobre 2012
  

  Lezione del 2/11/2012 Venerdì 2 novembre 2012 la lezione di Informatica Teorica non avrà luogo.

• Annuncio del 17 ottobre 2012
  

  Lezione del 9/10/2012 A causa dell'indisponibilita' dell'aula N13, giovedì 25 ottobre 2012 la lezione di Informatica Teorica non avrà luogo.

• Annuncio del 13 ottobre 2012
  

  Prove intermedie Sono disponibili le informazioni relative alle prove intermedie.

• Annuncio dell' 8 ottobre 2012
  

  Lezione del 9/10/2012 Domani, martedì 9 ottobre 2012, la lezione di Informatica Teorica non avrà luogo, a causa di una concomitante riunione straordinaria del Senato Accademico.

• Annuncio del 5 febbraio 2012
  

  Quinta prova intermedia di Informatica Teorica I risultati della quinta prova intermedia sono disponibili qui: IT-270-2012-01-27-esonero-5.pdf

• Annuncio dell'8 gennaio 2012
  

  Quarta prova intermedia La quarta prova intermedia di Informatica Teorica si terrà Mercoledì 11 gennaio 2012 - ore 15:45 - Aule N1, DS1. Non sarà necessario prenotarsi alla prova.

• Annuncio dell'8 gennaio 2012
  

  Terza prova intermedia di Informatica Teorica I risultati della terza prova intermedia sono disponibili qui: IT-270-2011-12-07-esonero-3.pdf

• Annuncio del 4 dicembre 2011
  

  Seconda prova intermedia di Informatica Teorica I risultati della seconda prova intermedia sono disponibili qui: IT-270-2011-11-23-esonero-2.pdf

• Annuncio del 2 dicembre 2011
  

  Terza prova intermedia La terza prova intermedia di Informatica Teorica si terrà Mercoledì 7 dicembre 2011 - ore 15:45 - Aule N1, DS1. Non sarà necessario prenotarsi alla prova.

• Annuncio del 28 novembre 2011
  

  Lezione del 29/11/2011 Domani martedì 29 novembre 2011 la lezione prevista di Informatica Teorica non avrà luogo.

• Annuncio del 20 novembre 2011
  

  Seconda prova intermedia di Informatica Teorica Gli studenti D.M. 270/04 di "Informatica Teorica" che intendono sostenere la seconda prova intermendia il 23 novembre 2011 alle ore 15:45 nelle aule N1/N3/DS1 sono pregati entro martedì 22 novembre di: Creare un account sul sito http://moodle.dia.uniroma3.it qualora non se ne fosse già in possesso Iscriversi al corso di "Informatica Teorica" usando la chiave "teorica" qualora non si fosse già iscritti Segnalare la propria partecipazione cliccando su "Clicca qui per iscriverti...".

• Annuncio del 16 novembre 2011
  

  Prima prova intermedia di Informatica Teorica I risultati della prima prova intermedia sono disponibili qui: voti-IT-270-02-11-2011-esonero-1.pdf

• Annuncio del 25 ottobre 2011
  

  Prima prova intermedia di Informatica Teorica Gli studenti D.M. 270/04 di "Informatica Teorica" che intendono sostenere la prima prova intermendia il 2 novembre 2011 alle ore 17:30 nelle aule N10/N1 sono pregati entro domenica 30 ottobre di: Creare un account sul sito http://moodle.dia.uniroma3.it Iscriversi al corso di "Informatica Teorica" usando la chiave "teorica" Segnalare la propria partecipazione cliccando su "Clicca qui per iscriverti...".

• Annuncio del 17 ottobre 2011
  

  Valutazione in itinere Le modalità di erogazione e le date delle prove intermedie sono state aggiunte a questa pagina nella sezione Prove d'esame.

• Annuncio del 13 settembre 2011
  

  Risultati appello 09/09/2011 I risultati dell'appello del 9 settembre 2011 sono disponibili qui: voti-IT-270-09-09-2011.pdf Le verbalizzazioni (e le discussioni dei compiti) avranno luogo nei seguenti orari: venerdì 16/9 ore 17:00 (ufficio dei docenti) lunedì 19/9 ore 14:30 (ufficio dei docenti)

• Annuncio del 5 settembre 2011
  

  Spiegazioni Visto l'imminente appello di Informatica Teorica il Prof. Di Battista dara' speigazioni agli studenti, relativamente al secondo moduulo, anche il 6/9 alle 15:00.

• Annuncio del 21 febbraio 2011
  

  Risultati dell'Appello di Informatica Teorica dell'11 Febbraio 2011 I risultati dell'appello dell'11 febbraio 2011 di Informatica Teorica sono disponibili qui: IT-2011-02-11.pdf.

• Avviso del 15 febbraio 2011
  

  Verbalizzazione dell'appello di febbraio 2011 I risultati delle prove scritte dell'11 febbraio 2011 saranno disponibili su questo sito nella mattina del 21 febbraio 2011. Le verbalizzazioni (incluse quelle degli studenti che hanno sostenuto le prove intermedie) potranno avvenire nelle seguenti date: Lunedì 21/02/2011 Ore 12:00 - Ufficio dei docenti Mercoledì 23/02/2011 Ore 13:00 - Ufficio dei docenti Venerdì 25/02/2011 Ore 18:00 - Ufficio dei docenti ATTENZIONE: Non sarà possibile verbalizzare i risultati di questo appello (o delle prove intermedie) in nessun altro orario o giorno. Per ogni altro dubbio o richiesta di chiarimento contattare i docenti per posta elettronica.

• Avviso del 31 gennaio 2011
  

  Organizzazione delle prove scritte dell'11 febbraio 2011 L'esame si articola in due prove scritte che si terranno entrambe nelle aule N10 ed N11: Ore 14:00 - Prova scritta relativa al primo modulo Ore 15:30 - Prova scritta relativa al secondo modulo Gli studenti del D.M. 509/99 che devono sostenere Informatica Teorica I devono prenotarsi sul sito prenota.uniroma3.it e presentarsi alla prova scritta relativa al primo modulo. Gli studenti del D.M. 509/99 che devono sostenere Informatica Teorica II devono prenotarsi sul sito prenota.uniroma3.it e presentarsi alla prova scritta relativa al secondo modulo. Gli studenti del D.M. 270/04 che intendono avvalersi del voto conseguito nelle prove intermedie devono comunque prenotarsi all'esame tramite il portale dello studente. N.B.: ci si può avvalere del voto delle prove intermedie esclusivamente in questo appello. Chi si siede per sostenere lo scritto rinuncia automaticamente al voto delle prove intermedie. La verbalizzazione per questi studenti avverrà nelle stesse date in cui avverrà la verbalizzazione relativa agli studenti che sostengono lo scritto. Gli studenti del D.M. 270/04 che intendono sostenere le prove scritte devono inoltre segnalarlo entro l'8 febbraio sul sito http://moodle.dia.uniroma3.it nel seguente modo: Visitare il sito http://moodle.dia.uniroma3.it Se non lo si ha già, creare un account su tale sito. Questa operazione comporta la specifica di un indirizzo di email valido ed lo scambio di una email con il server. Se non si è iscritti, iscriversi al corso di "Informatica Teorica" specificando come chiave del corso la stessa password che viene utilizzata per scaricare i file pdf linkati da questa pagina. Seguire il link "Clicca qui per segnalare la partecipazione alle prove scritte di Informatica Teorica" sulla pagina principale del corso di IT sul sito stesso.

• Annuncio del 31 gennaio 2011
  

  Risultati quinta prova intermedia di Informatica Teorica I risultati della quinta prova intermedia di Informatica Teorica sono disponibili qui: IT-270-2011-01-28-esonero-5.pdf.

• Annuncio del 26 gennaio 2011
  

  Risultati quarta prova intermedia di Informatica Teorica I risultati della quarta prova intermedia di Informatica Teorica sono disponibili qui: IT-270-2011-01-19-esonero-4.pdf.

• Annuncio del 13 gennaio 2011
  

  Risultati terza prova intermedia di Informatica Teorica I risultati della terza prova intermedia di Informatica Teorica sono disponibili qui: IT-270-2011-01-12-esonero-3.pdf.

• Avviso del 6 gennaio 2011
  

  Spiegazioni Il ricevimento studenti del 7 gennaio 2011 del prof. Di Battista è annullato. Per i soli studenti di Informatica Teorica e di Infrastrutture delle Reti di Calcolatori ci sarà un ricevimento studenti straordinario alle 14 del 10 gennaio.

• Annuncio del 2 gennaio 2011
  

  Risultati seconda prova intermedia di Informatica Teorica I risultati della seconda prova intermedia di Informatica Teorica sono disponibili qui: IT-270-2010-12-01-esonero-2.pdf.

• Annuncio del 3 dicembre 2010
  
  
  

  Calendario prove intermedie di Informatica Teorica Le prossime prove intermedie di Informatica Teorica si terranno nelle seguenti date: terza prova intermedia: mercoledì 12 gennaio, ore 15:45-17:15, aule N1 ed N11 quarta prova intermedia: mercoledì 19 gennaio, ore 15:45-17:15, aule N1 ed N11 quinta ed ultima prova intermedia: venerdì 28 gennaio, ore 15:45-17:15, aule N1 ed N12 Annuncio del 21 ottobre 2010 Valutazione in itinere di Informatica Teorica Gli studenti D.M. 270/04 di "Informatica Teorica" potranno avvalersi della valutazione in itinere (prove intermedie) sostitutiva dell'esame finale (per gli studenti D.M. 509/99, che hanno un diverso programma, non è prevista valutazione in itinere). La valutazione in itinere non è mutualmente esclusiva rispetto a quella tradizionale, nel senso che è possibile sia sostenere le prove intermedie sia sostenere l'intero esame in uno dei regolari appelli di "Informatica Teorica" (rifiutando implicitamente il voto della valutazione in itinere). Il risultato della valutazione in itinere, qualora accettato dallo studente, sarà verbalizzato nella prima sessione d'esame di febbraio 2011. Si prevedono 4 o 5 prove intermedie in tutto, distribuite nel primo semestre. Il voto finale si otterrà facendo la media dei voti delle singole prove dopo aver scartato il voto peggiore (oppure, non considerando una prova a cui lo studente è stato assente). La prima prova intermedia di "Informatica Teorica" D.M. 270/04 avrà luogo il 3 novembre 2010 alle ore 15:45 nelle aule N11/N1. La seconda prova intermedia avrà luogo, indicativamente, nei primi giorni di dicembre 2010. Annuncio del 25 novembre 2010 Seconda prova intermedia di Informatica Teorica Gli studenti D.M. 270/04 di "Informatica Teorica" che intendono sostenere la seconda prova intermendia il primo dicembre 2010 alle ore 15:45 nelle aule N11/N1 sono pregati entro domenica 28 novembre di: Creare un account (qualora non se ne fosse già in possesso) sul sito http://moodle.dia.uniroma3.it Iscriversi (qualora non si fosse già iscritti) al corso di "Informatica Teorica" usando la chiave "teorica" Segnalare la propria partecipazione cliccando su "Clicca qui per iscriverti...". Annuncio del 28 ottobre 2010 Prima prova intermedia di Informatica Teorica Gli studenti D.M. 270/04 di "Informatica Teorica" che intendono sostenere la prima prova intermendia il 3 novembre 2010 alle ore 15:45 nelle aule N11/N1 sono pregati entro sabato 30 ottobre di creare un account sul sito http://moodle.dia.uniroma3.it, iscriversi al corso di "Informatica Teorica" (usando la chiave "teorica") e segnalare la propria partecipazione. Si chiede scusa per il breve preavviso. Annuncio del 17 novembre 28 2010 Lezione del 23 novembre Poiché l'aula N1 sarà indisponibile per interventi manutentivi, martedì 23 novembre la lezione di Informatica Teorica si terrà in aula DS1. Avviso del 14 settembre 2010 Risultati appello del 07/09/2010 I risultati dell'esame di Informatica Teorica D.M. 509/99 sono disponibili qui: voti-IT2-509-07-09-2010-01.pdf I risultati dell'esame di Informatica Teorica D.M. 270/04 sono disponibili qui: voti-IT-270-07-09-2010-01.pdf Avviso del 9 settembre 2010 Risultati e verbalizzazione appello del 07/09/2010 I risultati dell'esame di Informatica Teorica saranno disponibili su questa pagina a partire dalla tarda mattinata del 14 settembre 2010. Gli studenti (D.M. 270/04 oppure D.M. 509/99) possono verbalizzare il voto di questa prova nelle seguenti date:   Martedì 14 settembre ore 12:30, ufficio del prof. Di Battista Venerdì 17 settembre ore 16:30, ufficio del prof. Di Battista Lunedì 20 settembre ore 09:00, ufficio del prof. Di Battista ATTENZIONE: Non sarà possibile verbalizzare i risultati di questo appello in nessun altro orario o giorno. Per ogni altro dubbio o richiesta di chiarimento contattare il docente per posta elettronica. Avviso del 6 settembre 2010 Appello del 07/09/2010 di Informatica Teorica La prova relativa al primo modulo dell'esame di "Informatica Teorica" D.M. 270/04 (e la prova di "Informatica Teorica I" D.M. 509/99) si svolgerà il giorno 07/09/2010 alle ore 16:30 nelle aule N3, DS1, N7. Uno studente che si presenta a questa prova rinuncia contestualmente all'eventuale risultato della prova intermedia svolta durante l'erogazione del corso. La prova relativa al secondo modulo dell'esame di "Informatica Teorica" D.M. 270/04 (e la prova di "Informatica Teorica II" D.M. 509/99) si svolgerà il giorno 07/09/2010 alle ore 14:00 nelle aule N3, DS1, N7.   ATTENZIONE: la prova del secondo modulo precede quella del primo modulo! Avviso dell' 8 luglio 2010 Verbalizzazioni appello del 21/06/2010 di Informatica Teorica e Informatica Teorica II ATTENZIONE: a causa di una concomitante riunione del Senato Accademico, convocata dopo la divulgazione degli avvisi sulla verbalizzazione, l'appuntamento del 20 luglio ore 17:00 e' spostato alle 18:30 stessa data, stesso luogo. Avviso del 7 luglio 2010 Verbalizzazioni appello del 21/06/2010 di Informatica Teorica II(studenti D.M. 509/99) I risultati dell'esame di Informatica Teorica II (limitatamente al D.M. 509/99) sono disponibili a questo indirizzo: voti-IT2-509-21-06-2010-01.pdf. Gli studenti possono verbalizzare il voto di questa prova nelle seguenti date:   Mercoledì 14 luglio ore 11:00, ufficio del prof. Di Battista Martedì 20 luglio ore 17:00, ufficio del prof. Di Battista ATTENZIONE: Non sarà possibile verbalizzare i risultati di questo appello in nessun altro orario o giorno. Per ogni altro dubbio o richiesta di chiarimento contattare il docente per posta elettronica. Avviso del 6 luglio 2010 Verbalizzazioni appello di Informatica Teorica del 21/06/2010 (studenti D.M. 270/04) I risultati dell'esame di Informatica Teorica (limitatamente al D.M. 270/04) sono disponibili a questo indirizzo: voti-IT-270-21-06-2010-01.pdf. Gli studenti possono verbalizzare il voto di questa prova nelle seguenti date:   Mercoledì 14 luglio ore 11:00, ufficio del prof. Di Battista Martedì 20 luglio ore 17:00, ufficio del prof. Di Battista ATTENZIONE: Non sarà possibile verbalizzare i risultati di questo appello in nessun altro orario o giorno. Per ogni altro dubbio o richiesta di chiarimento contattare il docente per posta elettronica. Avviso del 10 giugno 2010 Appello del 21/06/2010 di Informatica Teorica (studenti D.M. 509/99) Gli studenti del D.M. 509/99 sostengono separatamente l'esame di "Informatica Teorica I" (5 CFU) e di "Informatica Teorica II" (5 CFU). Per questi studenti la prova intermedia eventualmente svolta durante l'erogazione del corso copre l'intero programma di "Informatica Teorica I". Uno studente che si presenta all'esame di "Informatica Teorica I" rinuncia contestualmente al risultato della prova intermedia. Gli studenti D.M. 509/99 si prenotano separatamente agli esami di "Informatica Teorica I" e di "Informatica Teorica II" accedendo al sito http://prenota.uniroma3.it (non è richiesto prenotarsi ad "Informatica Teorica I" se si accetta il voto della prova intermedia). La prova relativa all'esame di "Informatica Teorica I" D.M. 509/99 si svolgerà il giorno 21/06/2010 alle ore 16:30 nelle aule N10, N11, N1, N3. La prova relativa all'esame di "Informatica Teorica II" D.M. 509/99 si svolgerà il giorno 21/06/2010 alle ore 14:00 nelle aule N10, N11, N1, N3.   ATTENZIONE: la prova del secondo modulo precede quella del primo modulo! Avviso del 10 giugno 2010 Appello del 21/06/2010 di Informatica Teorica (studenti D.M. 270/04) L'esame di "Informatica Teorica" D.M. 270/04 si compone di due parti, relative al primo e al secondo modulo (6 CFU per modulo, 12 CFU totali). In accordo con lo spirito del D.M. 270/04, le due parti dell'esame non possono essere sostenute separatamente: il risultato relativo ad una parte non può essere conservato per appelli futuri. Fa eccezione il risultato della prova intermedia eventualmente sostenuta durante l'erogazione dei corsi, che può sostituire il voto della prima parte sia nell'appello di luglio che in quello di settembre. Uno studente che si presenta all'esame di "Informatica Teorica - primo modulo" rinuncia contestualmente al risultato della prova intermedia. Gli studenti D.M. 270/04 si prenotano all'esame di "Informatica Teorica" sul sito http://portalestudente.uniroma3.it. Al fine di dimensionare le aule e stampare un congruo numero di compiti, coloro che non sosterranno il primo modulo in quanto:   hanno sostenuto con successo la prova intermendia durante l'erogazione del corso non si sono avvalsi di tale prova intermedia nell'appello di febbraio 2010 sono pregati di segnalarlo ai docenti entro il 16 giugno 2010 nel seguente modo:   Visitare il sito http://moodle.dia.uniroma3.it Creare un account su tale sito (se non se ne è già in possesso per un corso pregresso). Questa operazione comporta la specifica di un indirizzo di email valido ed lo scambio di una email con il server. Iscriversi al corso di "Informatica Teorica" (se non si è già iscritti) specificando come chiave del corso la stessa password che viene utilizzata per scaricare i file pdf linkati dalla pagina http://www.dia.uniroma3.it/~teorica. Seguire il link "Mi avvalgo della prova intermedia (entro il 16/06/2010)" sulla pagina principale del corso di Informatica Teorica sul sito stesso. Gli studenti del D.M. 270/04 che devono sostenere un esame integrativo da 7 CFU sosterranno una prova relativa al programma del secondo modulo integrato con le grammatiche non contestuali e gli automi a pila. La loro prova sarà contemporanea a quella del secondo modulo. Questi studenti sono pregati di segnalare la loro partepazione ai docenti per posta elettronica prima del compito. La prova relativa all'esame di "Informatica Teorica - I modulo" D.M. 270/04 si svolgerà il giorno 21/06/2010 alle ore 16:30 nelle aule N10, N11, N1, N3. La prova relativa all'esame di "Informatica Teorica - II modulo" D.M. 270/04 si svolgerà il giorno 21/06/2010 alle ore 14:00 nelle aule N10, N11, N1, N3.   ATTENZIONE: la prova del secondo modulo precede quella del primo modulo! Avviso del 18 febbraio 2010 Risultati e verbalizzazioni Informatica Teorica (DM 270/04) I risultati della prova dell'11/02/2010 relativa a Informatica Teorica (solo DM 270/04) sono disponibili qui: voti-IT-270-11-02-2010-01.pdf. Gli studenti possono verbalizzare il voto di questa prova nelle seguenti date: Lunedì 22 febbraio ore 17:00, ufficio Di Battista Mercoledì 24 febbraio ore 9:00, ufficio Di Battista Venerdì 26 febbraio ore 17:00, ufficio Di Battista Avviso del 15 febbraio 2010 Risultati e verbalizzazioni Informatica Teorica II (DM 509/99) I risultati della prova dell'11/02/2010 relativa a Informatica Teorica II (solo DM 509/99) sono disponibili qui: voti-IT2-509-11-02-2010-01.pdf. Gli studenti possono verbalizzare il voto di questa prova nelle seguenti date: Martedì 16 febbraio ore 16:00, ufficio Di Battista Venerdì 19 febbraio ore 12:00, ufficio Di Battista Venerdì 26 febbraio ore 17:00, ufficio Di Battista Gli studenti di Informatica Teorica D.M. 270/04 dovranno attendere le valutazioni ancora un po'. Avviso del 14 febbraio 2010 Risultati e verbalizzazioni Informatica Teorica - I Modulo I risultati della prova dell'11/02/2010 relativa al primo modulo di Informatica Teorica sono disponibili qui: IT1-2010-02-11.pdf. Gli studenti D.M. 509/99 che devono verbalizzare l'esame di "Informatica Teorica I" possono verbalizzare il voto di questa prova o il voto della prova intermedia nelle seguenti date: Martedì 16 febbraio ore 16:00, ufficio di Patrignani Venerdì 19 febbraio ore 16:00, ufficio di Patrignani Gli studenti D.M. 270/04 dovranno attendere per la verbalizzazione l'esito della prova relativa al secondo modulo (e verbalizzeranno la media delle due prove con il prof. Di Battista). br> Informazioni utili per sostenere l'esame di Informatica Teorica Gli studenti del D.M. 509/99 sostengono separatamente l'esame di "Informatica Teorica I" (5 CFU) e di "Informatica Teorica II" (5 CFU). Per questi studenti la prova intermedia copre l'intero programma di "Informatica Teorica I". L'esame di "Informatica Teorica" D.M. 270/04 si compone di due parti, relative al primo e al secondo modulo (6 CFU per modulo, 12 CFU totali). In accordo con lo spirito del D.M. 270/04, le due parti dell'esame non possono essere sostenute separatamente: il risultato relativo ad una parte non può essere conservato per appelli futuri. Fa eccezione il risultato della prova intermedia, che può sostituire il voto della prima parte sia nell'appello di febbraio che negli appelli di luglio e di settembre. Se uno studente inizia l'esame relativo alla prima parte si assume che voglia rinunciare al risultato della prova intermedia sostenendo integralmente l'esame. Gli studenti D.M. 509/99 si prenotano agli esami di "Informatica Teorica I" e di "Informatica Teorica II" accedendo al sito http://prenota.uniroma3.it (non è richiesto prenotarsi ad "Informatica Teorica I" se si accetta il voto della prova intermedia). Gli studenti D.M. 270/04 si prenotano all'esame di "Informatica Teorica" sul sito http://portalestudente.uniroma3.it. Al fine di dimensionare le aule e stampare un congruo numero di compiti, coloro che potrebbero essere interessati a sostenere anche il primo modulo sono pregati di segnalarlo ai docenti nel seguente modo: Visitare il sito http://moodle.dia.uniroma3.it Creare un account su tale sito (se non se ne è già in possesso per un corso pregresso). Questa operazione comporta la specifica di un indirizzo di email valido ed lo scambio di una email con il server. Iscriversi al corso di "Informatica Teorica" (se non si è già iscritti) specificando come chiave del corso la stessa password che viene utilizzata per scaricare i file pdf linkati dalla pagina http://www.dia.uniroma3.it/~teorica. Seguire il link "Clicca qui per segnalare la partecipazione..." sulla pagina principale del corso di Informatica Teorica sul sito stesso. Gli studenti del D.M. 270/04 che devono sostenere un esame integrativo da 7 CFU sosterranno una prova relativa al programma del secondo modulo integrato con le grammatiche non contestuali e gli automi a pila. La loro prova sarà contemporanea a quella del secondo modulo. Questi studenti sono pregati di segnalare la loro partepazione ai docenti per posta elettronica prima del compito. La prova relativa all'esame di "Informatica Teorica - I modulo" D.M. 270/04 (oppure "Informatica Teorica I" D.M. 509/99) si svolgerà il giorno 11/02/2010 alle ore 16:30 nelle aule N10, N11, N1, N3. La prova relativa all'esame di "Informatica Teorica - II modulo" D.M. 270/04 (oppure "Informatica Teorica II" D.M. 509/99) si svolgerà il giorno 11/02/2010 alle ore 14:00 nelle aule N10, N11, N1, N3.   ATTENZIONE: la prova del secondo modulo precede quella del primo modulo! Avviso del 2 febbraio 2010 Risultati della prova intermedia di Informatica Teorica del 26/11/09 I risultati sono disponibili qui: IT1-2009-11-26.pdf (Seguiranno istruzioni per l'accettazione/rifiuto del voto della prova intermedia, la prenotazione all'esame, ecc.) Avviso dell'11 novembre 2009 Iscrizione alla prova intermedia di Informatica Teorica Per iscriversi alla prova intermedia (entro sabato 21/11/09) occorre eseguire le seguenti operazioni: Visitare il sito http://moodle.dia.uniroma3.it Creare un account su tale sito (se non se ne è già in possesso per un corso pregresso). Questa operazione comporta la specifica di un indirizzo di email valido ed lo scambio di una email con il server. Iscriversi al corso di "Informatica Teorica" specificando come chiave del corso la stessa password che viene utilizzata per scaricare i file pdf linkati da questa pagina. Seguire il link "Clicca qui per iscriverti alla prova..." sulla pagina principale del corso di IT sul sito stesso. Avviso del 30 ottobre 2009 Prova intermedia di Informatica Teorica La prova intermedia di Informatica Teorica si terrà giovedì 26 novembre dalle 14:00 alle 15:30 in aula N10 ed N11. Ci sarà modo di svolgere alternativamente una prova da 5 CFU (prova intermedia di "Informatica Teorica I" per studenti D.M. 509/99) oppure da 6 CFU (prova intermedia di "Informatica Teorica" per studenti D.M. 270/04, corrispondente al programma del I modulo). Forniremo a tempo debito le opportune istruzioni per iscriversi alla prova. Avviso del 9 ottobre 2009 Cambio di aula delle lezioni di Informatica Teorica del 15 e 16 ottobre 2009 A causa delle lauree, le lezioni di giovedì 15 ottobre e venerdì 16 ottobre si svolgeranno in aula DS1 (sempre nell'orario previsto 15:45-17:15) Avviso del 1 settembre 2009 Esami di Informatica Teorica del 15/09/2009 Risultati dell'appello del 02/02/09 I risultati dell'appello del 02/02/09 sono reperibili qui: DM 509/99: IT2-509-2009-02-02-01.pdf DM 270/04: IT-270-2009-02-02-01.pdf Le verbalizzazioni, per tutte le tipologie di studenti, avverranno nei seguenti giorni: venerdì 13/02/2009 15.00-16.00. Presso gli uffici dei docenti mercoledì 18/02/2009 16.00-17.00. Presso gli uffici dei docenti Avviso del 23 gennaio 2009 Risultati dell'Esonero di Informatica Teorica del 17 Novembre 2008 I risultati dell'esonero del 17 novembre 2008 sono disponibili qui: IT1-2008-11-17.pdf Avviso del 20/09/2008 Risultati appello dell'8 settembre 2008 Il risultati della prova di Informatica Teorica I dell'8 settembre 2008 sono disponibili qui: IT1-2008-09-08.pdf Sarà possibile dicutere la valutazione e verbalizzare il voto in uno dei seguenti appuntamenti: mercoledì 01-10-2008 h 17:15-19:15, ufficio del docente giovedì 02-10-2008 h 13:00-14:00, ufficio del docente giovedì 02-10-2008 h 17:30-18:30, ufficio del docente Avviso del 27 gennaio 2009 Modalità d'esame per l'appello del 02/02/09 L'insegnamento denominato "Informatica Teorica" (D.M. 270/04) consta di 12 crediti. L'esame complessivo prevede due prove scritte. La prima prova scritta è relativa ai primi 5 crediti del programma e avrà luogo il lunedì 02/02/09 alle ore 16:00 nelle aule N10, N11, N1 ed N3. Tale prova può valere come compito di "Informatica Teorica I" per gli studenti dell'ordinamento 509/99 e può essere sostituita dall'esonero del 17/11/08. La seconda prova scritta è relativa ai rimanenti 7 crediti del programma e avrà luogo il lunedì 02/02/09 alle ore 14:00 nelle aule N10, N11, N1 ed N3. Una porzione di tale prova (che verrà specificata chiaramente sul compito) varrà come compito di "Informatica Teorica II" per gli studenti dell'ordinamento 509/99. Il fatto che la seconda prova preceda temporalmente la prima prova è da attribuire alla maggiore numerosità degli studenti che hanno necessità di sostenere la sola seconda prova. Avviso del 26 gennaio 2009 Prenotazioni all'appello del 02/02/09 Le prenotazioni al prossimo appello di Informatica Teorica del 02/02/09 avverranno con i seguenti criteri: DM 509/99: Prenotazioni sul sito http://prenota.uniroma3.it dei due appelli distinti di "Informatica Teorica I" ed "Informatica Teorica II" DM 270/04: Prenotazioni sul sito http://portalestudente.uniroma3.it/ dell'unico appello di "Informatica Teorica". Gli studenti del 270/04 che intendono avvalersi del risultato dell'esonero del 17 novembre 2008 (in sostituzione della prova del primo modulo) sono pregati di inviare una mail a patrigna@dia.uniroma3.it. Si puntualizza che i due esami scritti relativi al primo ed al secondo modulo di Informatica Teorica avverranno nel pomeriggio del 02/02/09 uno di seguito all'altro, separati da un breve intervallo. Avviso del 18 dicembre 2008 Prima lezione di Informatica Teorica del 2009 Concordemente con l'orario delle lezioni, la prima lezione dopo le vacanze natalizie del corso di Informatica Teorica è prevista per giovedì 8 gennaio 2009 Avviso del 27 ottobre 2008 Per non penalizzare gli studenti che hanno annunciato la loro adesione alle iniziative di discussione e approfondimento in merito agli effetti che la Legge n.133 avrà sul futuro del sistema universitario nazionale, domani 28 ottobre 2008 la lezione di Informatica Teorica non avrà luogo. Tale lezione verrà recuperata nei prossimi giorni. Avviso del 06/10/2008 Risultati appello di Informatica Teorica II del 15 settembre 2008 Il risultati della prova di Informatica Teorica II del 15 settembre 2008 sono disponibili qui: IT_2-2008-09-15.pdf Sarà possibile dicutere la valutazione e verbalizzare il voto in uno dei seguenti appuntamenti: 7 ottobre ore 13 ufficio del docente 14 ottobre ore 13 ufficio del docente 15 ottobre ore 17 ufficio del docente Non sarà possibile verbalizzare i risultati di questo appello in nessun altro orario o giorno. Per ogni altro dubbio o richiesta di chiarimento contattare il docente per posta elettronica. Avviso del 20/09/2008 Risultati appello dell'8 settembre 2008 Il risultati della prova di Informatica Teorica I dell'8 settembre 2008 sono disponibili qui: IT1-2008-09-08.pdf Sarà possibile dicutere la valutazione e verbalizzare il voto in uno dei seguenti appuntamenti: mercoledì 01-10-2008 h 17:15-19:15, ufficio del docente giovedì 02-10-2008 h 13:00-14:00, ufficio del docente giovedì 02-10-2008 h 17:30-18:30, ufficio del docente Avviso del 18/09/2008 Risultati appello dell'8 settembre 2008 Il risultati della prova di Informatica Teorica I dell'8 settembre 2008 saranno disponibili su questo sito a partire da sabato 20 settembre. alle 12 non sarà più possibile verbalizzare Avviso del 09/07/2008 Risultati appello del 1 luglio 2008 Il risultati della prova di Informatica Teorica I del 1 luglio 2008 sono disponibili qui: IT1-2008-07-01.pdf. Sarà possibile dicutere la valutazione e verbalizzare il voto in uno dei seguenti appuntamenti: 11-07-2008 h 11:00-12:30, aula N3 16-07-2008 h 17:15-19:15, ufficio del docente 23-07-2008 h 17:15-19:15, ufficio del docente Il risultati della prova di Informatica Teorica II del 7 febbraio 2008 sono disponibili qui. Sarà possibile dicutere la valutazione e verbalizzare il voto in uno dei seguenti appuntamenti: 27-02-2008 h 13:00-13:30, ufficio del docente 27-02-2008 h 17:15-19:15, ufficio del docente 03-03-2008 h 13:00-14:00, ufficio del docente NON sarà possibile verbalizzare i risultati di questo appello in NESSUN ALTRO orario o giorno. Per ogni altro dubbio o richiesta di chiarimento contattare il docente per posta elettronica. Avviso del 07/01/2008 Risultati appello del 27 novembre 2007 Il risultati della prova di Informatica Teorica I del 27 novembre 2007 sono disponibili qui. Sarà possibile dicutere la valutazione e verbalizzare il voto in uno dei seguenti appuntamenti: giovedì 17 gennaio, ore 13:00, aula N1 venerdì 18 gennaio, ore 13:00, aula N1 mercoledì 23 gennaio, ore 17:15, ufficio del docente mercoledì 30 gennaio, ore 17:15, ufficio del docente Avviso del 13/11/2007 Orario ricevimento studenti Il prof. Patrignani riceve gli studenti il mercoledì dalle 17:15 alle 19:30 (con l'eccezione del punto seguente). L'appuntamento di mercoledì 14 novembre dalle 17:15 alle 19:30 è spostato a venerdì 16 novembre dalle 17:15 alle 19:30 Avviso del 06/11/2007 Prossime lezioni di Informatica Teorica I Si avvisano gli studenti che le ultime lezioni del corso seguiranno il calendario seguente: mercoledì 07/11/2007 ore 14:00-15:30 aula N1 (Esercitazione Myhill-Nerode) giovedì 08/11/2007 ore 14:00-15:30 aula N1 (Esercitazione proprietà decidibili dei linguaggi regolari) venerdì 09/11/2007 ore 14:00-15:00 aula N1 (Esercitazione: compito d'esame svolto in classe) Avviso del 15/10/2007 I risultati relativi all'appello di Informatica Teorica I del 17 ottobre 2007 sono disponibili qui: IT1-2007-09-17.pdf Le verbalizzazioni avranno luogo: Mercoledì 17 ottobre alle ore 17:15 presso l'ufficio del docente Giovedì 18 ottobre alle ore 13:00 presso l'ufficio del docente Avviso del 04/08/2007 I risultati relativi all'appello di Informatica Teorica I del 19 luglio 2007 sono disponibili qui: IT1-2007-07-19.pdf Avviso del 30/07/2007 I risultati relativi all'appello di Informatica Teorica I del 19 luglio 2007 saranno pubblicati su questo sito venerdì 3 agosto 2007. Le verbalizzazioni avranno luogo lunedì 10 settembre 2007 alle ore 10:00 in sala riunioni mercoledì 12 settembre 2007 alle ore 17:15 presso l'ufficio del docente. mercoledì 19 settembre 2007 alle ore 17:15 presso l'ufficio del docente. Chiunque avesse particolare urgenza nella verbalizzazione è pregato di contattare il docente. Avviso del 30 gennaio 2007 I risultati dell'appello di Informatica Teorica I del 20 novembre 2006 e le date delle verbalizzazioni sono disponibili qui: IT1-2006-11-20.pdf. Avviso del 12 dicembre 2006 Come ogni mercoledì, domani mercoledì 13 dicembre non ci sarà lezione di Informatica Teorica II. Avviso del 13/10/2006 I risultati relativi all'appello di Informatica Teorica I del 26 settembre 2006 saranno affissi presso l'ufficio del docente lunedì 16 ottobre 2006. Le verbalizzazioni avranno luogo lunedì 16 ottobre 2006 stesso alle ore 13:00 e nei giorni mercoledì 18 e mercoledì 25 ottobre 2006 alle $ 17:15. Avviso del 05/09/2006 L'appello di Informatica Teorica I previsto per il 14 settembre 2006 è stato posticipato a martedì 26 settembre 2006 ore 9:00, aula N1. Avviso del 05/07/2006 I risultati della prova d'esame di Informatica Teorica I del 03/07/2006 saranno affissi lunedì 10 luglio 2006 alle 13:00 presso l'ufficio del docente. La verbalizzazione avrà luogo mercoledì 12 luglio 2006 alle ore 17:00 presso lo stesso ufficio. Coloro che per qualsiasi motivo non potranno verbalizzare in tale occasione possono verbalizzare mercoledì 19 luglio 2006 alle ore 17:00. Avviso del 23/02/2006 I risultati della prova d'esame di Informatica Teorica II del 07/02/2006 sono affissi presso l'ufficio del docente.

  Avviso del 11/01/2006 I risultati della prova d'esame di Informatica Teorica I del 28/11/2005 saranno affissi presso l'aula-laboratorio Campus il giorno lunedì 16 gennaio 2006. La verbalizzazione avrà luogo il giorno giovedì 19 gennaio 2006 dalle 13:00 alle 14:00 in aula N3. Ulteriori occasioni di verbalizzazione sono: - mercoledì 25 gennaio dalle 17:00 in poi presso l'ufficio del docente - mercoledì 8 febbraio dalle 17:00 in poi presso l'ufficio del docente

• 
  

  Avviso del 05/10/2005 Le date di pubblicazione e verbalizzazione dei risultati delle prove d'esame di Informatica Teorica I del 15/09/2005 sono: - lunedì 10/10/2005 alle ore 13:00 e - giovedì 13/10/2005 alle ore 13:00 presso l'ufficio del docente.

• 
  

  Avviso del 03/10/2005 Le date di pubblicazione e verbalizzazione dei risultati delle prove d'esame di Informatica Teorica II del 15/09/2005 sono: il 03/10/2005 alle ore 13:00 ed il 06/10/2005 alle ore 13:00 presso l'ufficio del docente.

• 
  

  Avviso del 23/09/2005 Le date di pubblicazione e verbalizzazione dei risultati delle prove d'esame di Informatica Teorica I ed Informatica Teorica II del 15/09/2005 appariranno presto su questo sito.

• 
  

  Avviso del 12/07/2005 I risultati della prova d'esame del 05/07/2005 di Informatica Teorica I (Informatica Teorica I modulo) saranno affissi di fronte all'ufficio del docente entro le ore 13:00 del 25/07/2005. VERBALIZZAZIONI Le verbalizzazioni avranno luogo il 25/07/2005 stesso alle ore 13:00 nell'ufficio del docente. Chiunque, per motivi vari, non possa verbalizzare il 25 luglio potrà profittare dell'orario di ricevimento il 27 luglio alle ore 17:15.

• 
  

  Avviso del 30/03/2005 I risultati della prova d'esame del 23/02/2005 di Informatica Teorica II (Informatica Teorica II modulo) saranno affissi di fronte all'ufficio del Prof. Di Battista entro le ore 19 del 04/04/2005. VERBALIZZAZIONI Le verbalizzazioni avranno luogo il 06/04/2005 dalle ore 13:00 alle ore 14:00 in aula DS1. Chiunque, per motivi vari, non possa presentarsi il 6 aprile potrà verbalizzare il 13/04/2005 alle ore 16:00 presso l'ufficio del docente.

• 
  

  Avviso del 05/1/2005 I risultati della prova d'esame del 22 novembre 2004 di Informatica Teorica I (Informatica Teorica I modulo) sono affissi di fronte all'ufficio del Prof. Patrignani (Stanza DIA-225, secondo piano). Una soluzione del compito è disponibile in fondo a questa pagina. Chi volesse ricevere i suoi voti per e-mail è pregato di contattare il docente. Si ribadisce che le verbalizzazioni avranno luogo sabato 8 gennaio 2005 dalle ore 9:30 alle ore 13:00 in aula N1. Chiunque, per motivi vari, non possa presentarsi sabato 8 gennaio, potrà verbalizzare mercoledì 19 gennaio dalle ore 17:15 alle ore 19:30 (cioè durante l'orario di ricevimento).

• 
  

  Avviso del 20/12/2004 I risultati della prova d'esame del 22 novembre 2004 di Informatica Teorica I (Informatica Teorica I modulo) saranno affissi di fronte all'ufficio del Prof. Patrignani (Stanza DIA-225, secondo piano) entro le ore 13 di mercoledì 5 gennaio 2005. Contemporaneamente sarà resa disponibile una soluzione del compito sulla home page del corso. VERBALIZZAZIONI Le verbalizzazioni avranno luogo sabato 8 gennaio 2005 dalle ore 9:30 alle ore 13:00 in aula N1. Chiunque, per motivi vari, non possa presentarsi sabato 8 gennaio, potrà verbalizzare mercoledì 19 gennaio dalle ore 17:15 alle ore 19:30 (cioè durante l'orario di ricevimento).

• 
  

  Avviso del 03/12/2004 I risultati della prova d'esame del 22 novembre 2004 di Informatica Teorica I (Informatica Teorica I modulo) non saranno disponibili prima del 20 dicembre 2004. Contestualmente ai risultati verranno definiti gli appuntamenti per le verbalizzazioni. Gli studenti che avessero necessita' di verbalizzare l'esame con urgenza sono pregati di contattare il docente.

• Avviso del 27/09/2004 Le dispense di Informatica Teorica I (Informatica Teorica I modulo) saranno disponibili da questa pagina e presso la copisteria Xerodigital di Viale Marconi 447, a partire dal 6/10/2004.

• Avviso del 14/04/2004
  Le verbalizzazioni dell'appello del 6 aprile 2004 di Informatica Teorica II avranno luogo il giorno venerdì 16/04/2004 alle ore 13:00 presso l'ufficio del Prof. Di Battista (Dip. di Informatica e Automazione, secondo piano, stanza DIA 223).
  I risultati sono affissi sulla porta dell'ufficio suddetto.

• Avviso del 10/02/2004
  Le verbalizzazioni degli appelli del 28 gennaio 2004 di Informatica Teorica I e II avranno luogo il giorno venerdì 13/02/2004 alle ore 15:00 in aula N3.
  Anche gli studenti che non hanno potuto verbalizzare Informatica Teorica I (sostenuto nello scorso appello) in quanto iscritti con riserva alla Laurea Specialistica in Ingegneria Informatica sono pregati di presentarsi qualora già immatricolati.

• Avviso del 2/12/2003
  Giovedì 4 dicembre ci sarà esercitazione.
  Il materiale è scaricabile da questa pagina (file e06-linguaggi-cf-v1.0.pdf) ed è in distribuzione presso la copisteria Xerodigital di Viale Marconi 447

• Avviso del 26/11/2003
  La verbalizzazione dell'appello del 21 novembre 2003 di Informatica Teorica I avverrà:
  • mercoledì 26 novembre alle 14:00 in aula N7
  • ad orario di ricevimento (previo contatto, soprattutto se necessitate di verbali particolari) mercoledì dalle 17:15 alle 19:30
  
  per gli iscritti con riserva alla Laurea Specialistica in Ingegneria Informatica la verbalizzazione è rinviata a quando potranno verbalizzare.
  il voto viene in ogni caso conservato fino al prossimo appello

• Avviso del 7/11/2003
  Si ricorda che i linguaggi non contestuali (slide contenute nella dispensa "04-linguaggi non contestuali-v.1.0.pdf") non rientrano negli argomenti d'esame di Informatica Teorica I

• Avviso del 10/11/2003
  La soluzione del compito d'esame del 31-01-2003 è stata aggiornata (conteneva un errore nella soluzione del problema 5 sulle classi di Myhill-Nerode)

• Avviso del 3/10/2003
  Lunedì 6 ottobre 2003 ci sarà la prima esercitazione. Copia dei lucidi è in distribuzione presso la fotocopisteria Xerodigital (il file pdf è linkato in fondo a questa pagina)

• Avviso del 3/10/2003
  I file pdf delle lezioni, ed in particolare i file:
  • 02-linguaggi e grammatiche-v.1.0.pdf
  • 03-linguaggi regolari-v.1.0.pdf
  • 04-linguaggi non contestuali-v.1.0.pdf
  sono stati sostituiti con file che includono tutti i font (non presentano piu' problemi di stampa o visualizzazione).

 

Informatica Teorica / A cura di Maurizio Patrignani / 14 Ottobre 2003