Computability and Logic 2008

News

About this class

Weekly schedules

Assignments

Students

Final exam

Final exam

dBerLog exam

Time: October 19 - October 23 2009

Lecturer: Mogens Nielsen

Internal Examiners: t.b.a.

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)

• Huth&Ryan:

  • chapters 1.1-1.4 (pages 1-53)
  • chapters 2.1-2.5 (pages 93-136)
  • chapters 4.1-4.3.2 (pages 256-287)

• Nielsen: Limitations of Program Verification

dBerLog exam questions:

• Computability
• Logic