From PBDN

Introduction

This is a set of wiki pages for the course Applied Logic (Tillämpad Logik) at Uppsala University in the Autumn term of 2007 (HT07). The lecturer is Professor Erik Palmgren, and the teaching assistant is Anton Hedin.

Anyone associated with the class is free to register an account and contribute by editing the material that's already here or adding new material. If you add a new page, please add {{tillog}} to the bottom of the page so that it appears in the Applied Logic category.

Although it looks quite different, this wiki uses the same Wikimedia software as Wikipedia. If you're familiar with editing or creating Wikipedia pages, you can do the same here. The TeX mathematics extension works fine (it was previously broken).

By way of a little interesting historical trivia, according to the Mathematics Genealogy Project, Prof. Palmgren is a "descendent" (in the sense of PhD thesis supervision) of Stephen Kleene (his "great grand advisor") and Alonzo Church who supervised the doctoral theses of both Kleene and Alan Turing. The AMS Collaboration Distance Calculator suggests that Prof. Palmgren's Erdős number is 4 at most.

Course Text

The course text, Logic in Computer Science (ISBN 0 521 54310X), by Huth and Ryan, was not available in Studentbokhandeln on Thursday, 30th of August, 2007. There was one copy left in Akademibokhandeln on Friday, 31st of August, 2007 (although they may have more in storage). Look in the Computer Books section on a shelf against the wall (rather than the mathematics section, which is on a gondola), on the left hand side (nearest the information desk) and below eye-level; it cost 465.00 kr.

There are already several errata for the book, with a few in the initial pages.

Installing Agda

A page about installing Agda has been added after problems were encountered while installing from source. The Installation section of Installing Agda may be useful for those installing from the binary distributions.

Lectures

The following are extracted from the complete timetable as "seeds" to start editing:

1. Lecture 1 (2007-08-30 13:00)
2. Lecture 2 (2007-09-04 13:00)
3. Tutorial 1 (2007-09-06 10:00)
4. Lecture 3 (2007-09-13 08:00)
5. Lecture 4 (2007-09-18 13:00)
6. Tutorial 2 (2007-09-20 13:00)
7. Lecture 5 (2007-09-24 13:00)
8. Tutorial 3 (2007-09-27 10:00)

Examination

According to the course timetable, the exam is scheduled for the 17th of December, but it does not appear in the exam registration system yet.

Back to Applied Logic main page.