T-79.5102 Special Course in Computational Logic Final results for the exam arranged on the 17th of December, 2007 A1 A2 A3 A4 A5 Sum G H1 H2 H3 T 33892T ************************ 6 4 8 9 7 34 3 4 5 5 4 58435M ************************ 5 1 8 12 8 34 3 4 4 4 3 58587M ************************ 0 0 5 4 0 9 0 3 4 2 0 63306V ************************ 5 5 7 12 4 33 2 5 3 3 3 Mapping from points 0-50 to grades 1-5: 0-23 (0), 24-28 (1), 29-33 (2), 34-39 (3), 40-44 (4), 45-50 (5) The overall course grade has been calculated according to equation T = round(0.7xG + 0.1xH1 + 0.1xH2 + 0.1xH3). The grading (both exam and home assignments) was available for inspection on the 15th of January, 2008, at 15:15-16:00 hours, in room TB357. Otaniemi, the 23rd of January, 2008, D.Sc.(Tech.) Tomi Janhunen Responsible teacher