Semesterside for INF5800 - V?r 2011

Eksamen mm

Frist for innlevering av essayet - utgangen av mai - send meg en pdf-fil

Muntlig eksamen tirsdag 7.juni

Eksaminator: HRJ Sensor : Roger Antonsen

Sted: Rom 7166 - m?terom i 7.etasje

Tid: Lars J?rgen 0900 Vegard 0945 Lars-Erik 1030 Tobias 1115

12. mai 2011 16:04

WELCOME

The theme this semester is incompleteness. First a little about the organization

Our lectures are in the shell-room in the new informatics building - first floor far away from the entrance. The lectures are Tuesday 1015-1200 and Wednesday 1015-1200. It is supposed to be 13 weeks with 3 hours pr week. We do instead 10 weeks with 4 hours pr week. Each week we go through a chapter in my monograph which you find on this page - we skip the chapter on modality and then take the remainder of the chapters 1 - 11. I will omit some of the tougher sections.

As a preparation for the first time look for G?dels incompleteness and LOGICOMICS on the web.

Each student is supposed to write an essay on a topic found together with me - it could be mathematical, philosophical, computational ... At the end we have an oral exam where you are questioned on the essay and stuff from the lectures. In this way it is possible...

19. jan. 2011 14:26