Computability and Logic 2008

News

About this class

Weekly schedules

Assignments

Students

Final exam

Assignments

The final exam for dBerLog will take the form of a 20 minute oral exam without preparation time. The two questions for the exam will be Computability and Logic respectively.

In order to be accepted for the final oral dBerLog exam, all students must answer satisfactorily two compulsory written assignments.

Second Assignment:

Write a manuscript as described below, but for the exam question: Logic.

Hand in to your tutor Friday oct 10 latest

First Assignment:

Write a manuscript (2-3 pages) for a 15 minute presentation on Computability.

Your manuscript should contains at least:

• an outline of the presentation
• brief argumentation for choices made
• indications of levels in the dBerLog learning taxonomy:
  • to be familiar with the basic terminology for computability and logic
  • to describe basic computability classes and fundamental logics
  • to describe basic properties of computability classes and logics
  • to explain constructive/algorithmic approaches to computability classes and logics
  • to analyse and to prove properties of computability classes and logics

Hand in to your tutor during your TA session in week 39 (starting sep 22)

The dBerLog curriculum follows from dBerLog home page - Weekly Schedules, it can also been seen under Final Exam.