- 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 29 novembre 2010
Risultati prima prova intermedia di Informatica Teorica
I risultati della prima prova intermedia di Informatica Teorica sono disponibili qui: IT-270-2010-11-03-esonero-1.pdf.
- 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
- 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! - 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).
- 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).
- Avviso del 2 febbraio 2010
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
Gli esami di Informatica Teorica del 15/09/2009 avranno luogo nelle aule N10 e N11 secondo i seguenti orari:
- 9:00 Informatica Teorica I (DM509) e primo modulo di Infomatica Teorica (DM270)
- 11:00 Informatica Teorica II (DM509) e secondo modulo di Infomatica Teorica (DM270)
- Avviso del 9 giugno 2009
Esami di Informatica Teorica del 25/06/2009
Gli esami di Informatica Teorica del 25/06/2009 avranno luogo nelle aule N10 e N11 secondo i seguenti orari:
- 9:00 Informatica Teorica I (DM509) e primo modulo di Infomatica Teorica (DM270)
- 11:00 Informatica Teorica II (DM509) e secondo modulo di Infomatica Teorica (DM270)
- Avviso del 6 febbraio 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
- 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 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: |
- 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:
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:
|
|
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. Sarà possibile dicutere la valutazione e verbalizzare il voto in uno dei seguenti appuntamenti:
|
|
Avviso del 29/07/2008 Risultati appello del 22 luglio 2008 Il risultati della prova di Informatica Teorica II del 22 luglio 2008 sono disponibili qui: IT_2-2008-07-22.pdf. Sarà possibile dicutere la valutazione e verbalizzare il voto il 15 settembre alle ore 11 presso ufficio del docente Chi avesse bisogno di verbalizzazione anticipata può contattare il docente. Dopo il 15 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:
|
|
Avviso del 04/07/2008 Risultati appello del 1 luglio 2008 Il risultati della prova di Informatica Teorica I del 1 luglio 2008 saranno disponibili su questo sito a partire da mercoledì 9 luglio. Sarà possibile dicutere la valutazione e verbalizzare il voto in uno dei seguenti appuntamenti:
|
|
Avviso del 25/02/2008 Risultati appello del 7 febbraio 2008 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:
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:
|
|
Avviso del 13/11/2007 Orario ricevimento studenti
|
|
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:
|
|
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:
|
|
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
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:
|
|
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.
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.
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.
|
|
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.
|
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.
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.
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
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
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
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)
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)
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