Computability and Logic 2008

News

About this class

Weekly schedules

Assignments

Students

Final exam

Final exam

dBerLog exam

Time: October 19 - October 23 2009

 DateTimePlace
DAG219-10-20099 - 18IT-Huset Lok. 129
DAG320-10-20099 - 18IT-Huset Lok. 129
DAG421-10-20099 - 18IT-Huset Lok. 129
DAG522-10-20099 - 18IT-Huset Lok. 129
DAG623-10-20099 - 16IT-Huset Lok. 129

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

Karl Klose