T-79.5102 Special Course in Computational Logic Home assignments Results and grading (as of June 10, 2008) 1 2 3 ------------------- 33892T 4 5 5 49542L 3 3 3 57973E 3 5 3 58435M 4 4 4 58587M 3 4 2 60925N 3 3 4 61401P 4 4 3 61450E - - - 63306V 5 3 3 ------------------- 1-5 = pass 0 = fail (corrections necessary) - = no submission Otaniemi, June 10, 2008, Tomi Janhunen lecturer