Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Logic 2014

  News | Dates | Grading | Content | Exercises | Exam | Slides | Literature | Software

Exam

There will only be a final written exam at the end of the lecture period. Grades will be determined using the following table:
  • [0,5) points: 5,0
  • [5,11) points: 4,7
  • [11,17) points: 4,3
  • [17,19] points: 4,0
  • (19,22] points: 3,7
  • (22,24] points: 3,3
  • (24,26] points: 3,0
  • (26,28] points: 2,7
  • (28,30] points: 2,3
  • (30,32] points: 2,0
  • (32,34] points: 1,7
  • (34,36] points: 1,3
  • (36,40] points: 1,0