Computability and Logic 2008

News

About this class

Weekly schedules

Assignments

Students

Final exam

Final exam

dBerLog exam

Time: Thursday October 23 - Wednesday October 29 2008

Place:

• Shannon-157, Finlandsgade 24 A

Lecturer: Mogens Nielsen

Internal Examiners: Gudmund Frandsen, Erik Ernst, Anders Møller, Michael Schwartzbach

Form: 20 minute oral exam - without preparation time

Please show up for your exam well in advance of your scheduled time !

dBerLog examination requirements:

• Martin: Introduction to Languages and the Theory of Computation:

  • chapter 9
  • chapters 10.1-10.2, 10.3, 10.5 (excluding proofs of Theorems 10.8 and 10.9)
  • chapter 11 (excluding proof of Theorems 11.14 and Theorem 11.15)

• Kelly: The Essence of Logic

  • chapter 1
  • chapter 4
  • chapters 6.1-6.7.4, 6.9-6.10
  • chapter 7

• Nielsen: Limitations of Program Verification

dBerLog exam questions:

• Computability
• Logic