T-79.5101 Advanced Course in Computational Logic (Spring 2008)	
Results of the Home Assignments  1-3 

Student		T1	T2	T3

910J            OK      OK      OK
011U            OK      OK      OK
398L            OK      OK      OK
306V            OK      OK      OK
528C            OK      OK      OK
516D            OK      OK      OK
198N            OK      OK      OK


OK = the assignment passed 
     (otherwise points to be revised mentioned; in this case contact the
     lecturer)
 - = no submission for the assignment


Otaniemi, 13.6.2008


Ilkka Niemelä
Lecturer of the course