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

July 11

The exam and possible solutions.

May 28

Please note the modifications of the undecidability proofs for validity and satisfiability of predicate logic respectively (undecidability.pdf)

Apr 17

Next lecture: Wed, Apr 23, 2014

Apr 07

Site went online.