Course Designers:Course
Fausto Giunchiglia
fausto [ at ] disi.unitn.itAlessandro Agostini
agostini [ at ] disi.unitn.itOfficial Lectures Time and Location (*):
(*) Please always check latest news below!
- Tuesday 14:30 - 16:30, Faculty of Science, room 208
- Thursday 16:30 - 18:30, Faculty of Science, room 208
Reception Time and Location:
- Office hours at DISI-UniTn: by appointment.
News and Announcements:
- Tue 21.07.2009: Results of the Exam, Session II (Mon 20 July):
1. GASPARELLA Luca (135834), 15
2. IORI Enrico (130007), 13.5
3. MATTAREI Cristian (132177), 9.5 (*)
4. MOVER Sergio (133889), 15
5. PHAN Quoc Sang (135264), 15
6. SARTORI Enrico (138531), --(*) Admitted to the oral exam under condition. The oral exam is tomorrow, Wednesday 22 July, at 14:30 in room 208.
- Tue 09.06.2009: Results of the Exam, Session I (Mon 8 June):
List of results no more available.
- Tue 09.06.2009: The oral exam is tomorrow, Wednesday 10 June, at 14:30 in room 207. The results will be posted on this website later tonight.
- Mon 25.05.2009: Slides Week 14 posted, syllabus updated, reference CXL2 posted.
- Fri 15.05.2009: No lecture on Tuesday 19 May. See you on Thursday 21!
- Fri 15.05.2009: Slides Week 13 posted, syllabus updated (references NML1-2, CXL1, WCXL1 posted).
- Fri 08.05.2009: Slides Weeks 11,12 posted, syllabus updated (references DL3, DL4 posted).
- 03.05.2009: No lecture on Tuesday 5 May. See you on Thursday 7.
- 03.05.2009: Results of the Midterm Exam (Thu 16 April):
List of results no more available.
- Fri 24.04.2009: Slides Week 10 posted, syllabus updated (references DL1, DL2, and WDL1 posted). Results of Midterm exam (Week 9, Thu 16 April) will be posted soon.
- Fri 24.04.2009: Solutions of exercises of the midterm exam (Week 9, Thu 16 April) are available here (PDF).
- Fri 24.04.2009: Errata: C is subsumed by D iff for all x C(x) implies D(x). Peano used the symbol of inclusion (which is used to define the semantics of subsumption) exactly with the *opposite meaning* of the meaning universally given at present to that symbol. Sorry for the inconvenience. - AA
- Fri 10.04.2009: Slides Week 8 posted, syllabus updated.
- Fri 03.04.2009: Slides Week 7 posted, syllabus updated.
- Fri 27.03.2009: Slides Weeks 5,6 posted, syllabus updated.
- Thu 19.03.2009: No lecture today. See you on Tuesday 24.
- Fri 13.03.2009: Slides Weeks 3,4 posted, syllabus updated.
- Mon 02.03.2009: Slides Week 2 posted, syllabus updated.
- Mon 23.02.2009: Slides Week 1 posted, syllabus updated.
- Tue 17.02.2009: This site online. Welcome!
EXAMS (Scheduling):The following Exam Sessions are planned. Please check the latest news for updatings.
Session I - June 2009:
- [written] Mon 08, at 10:00, room 208.
- [oral (*)] Wed 10 since 14:30, room 207.
(*) For those students who have passed the written exam.Session II - July 2009:
- [written] Mon 20, at 10:00, room 208.
- [oral (*)] Wed 22 since 14:30, room 208.
(*) For those students who have passed the written exam.Session III - September 2009:
- [written] Mon 07, at 10:00 room 208.
- [oral (*)] TBA.
(*) If any (optional).Session IV - January 2010:
- [written] Mon 18.
- [oral (*)] TBA.
(*) If any (optional).Session V - February 2010:
- [written] Mon 8.
- [oral (*)] TBA.
(*) If any (optional).
[ Further information and bug reports | Return top to this Page | Last modified: 21/07/2009]
|