|
|
News
- July 1 2009:
Course material for the 2009 version of the course:
The books appearing below are available from Stakbogladen, Naturfag.
- Dec 19:
Information om re-eksamen
Eksamen i Beregnelighed og Logik - januar 2009
Tid: onsdag den 7-1-2009 - med start kl kl. 13.00!
Sted: Shannon 156, Finlandsgade 24 A
Form: 20 minutters mundtlig eksamen uden forberedelse
For yderligere detaljer se Final Exam
Eksaminator: Mogens Nielsen
Censor: Anders Møller
Tilmeldte studerende:
20073501 Martin Fjordvald
20074363 Esben Agerbæk Black
20070803 Martin Castberg Thuesen
20064013 Jørgen Ligaard Sørensen
20070706 Anders Mikkelsen
- Oct 22: The exam location is: Shannon-157, Finlandsgade 24 A
- Oct 15: If you can go the exam the 23 of October, please consider switching with Casper who has an exam that day. His email is u072807 at daimi.au.dk.
- Oct 15: The exam questioning classes for DA2 and DA4 will be on Tuesday, 21.10., 10-12 in Turing-014.
- Oct 10: If you need someone to switch exams spots with, pay attention to the newsgroups:here. If you do not know to post on daimi.dBerLog send an email to Thomas Mølhave with your posting and he'll post it on your behalf. If you don't care when your exam is, please check the newsgroup and consider switching with someone who needs to switch.
- Oct 5: More information about the exam is now available on the exam page. The time of the exam is Thursday October 23 - Wednesday October 29 2008.
- Sep 30: As Karl Klose is curretly ill, his tutoring session Oct 1 has been canceled.
- Sep 28: The second assignment should be handed in to your TA no later then Friday Oct 10, This is a hard deadline so please hand in in good time.
- Sep 16: You can now see the assignments. The first assignment should be handed in to your TA at your TA sessin in week 39 (starting sep 22).
- Aug 27: If you need to find someone to switch with you can try posting on the daimi.dberlog newsgroup. (More info on DAIMI newsgroups is here). Alternatively, show up for the class you'd like to attend and talk to the TA.
- Aug 25: The protocol for switching classes is that you find someone to switch with and notify both TAs after that.
- Aug 22: There are lectures, but no TA sessions in the first week (24/8-29/8).
- Aug 20: Class listings and hours announced.
About this class
Contents
The course focuses on:
- universal models for computation, including Turing machines
- characterizations of computable and semi-computable
problem classes, including presentations of a number of
unsolvable problems, diagonalization, and reduction
- introduction to propositional logic, predicate logic, and
program logic, logical proof systems with applications
(program verification)
- Gödel’s completeness and incompleteness theorems
Goals
The goals of this course are to give the student the following
capabilities:
- 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
Lecturer
Mogens Nielsen
Examination
Oral, 12-scale; two assignments have to be answered
satisfactorily in order to attend the final oral exam.
ECTS
5 ECTS
Time and place:
Wednesday 14 - 17. Auditorium D1 (1531-113).
|
