UPPSALA UNIVERSITY
Department of Mathematics
Spring 2006
Applied Logic DV1 (Tillämpad Logik DV1)
General information
Exam corrected, see below.
(NEW!!)
Syllabus --- What to read for the exam!
Course information, literature etc. (
PDF-fil
)
Language:
the lectures, exercises and exam are given in English.
This page will be updated regularly.
Links to previous versions of the course can be found here:
2000
,
2001
,
2002
,
2004
.
Lectures
schedule
(Note: all lectures start quarter past the hour!)
Exercises
Exercise set 1.
Exercise set 2.
(Presented Friday 7 May)
Exercise set 3.
(To be presented Monday 15 May)
Laboratory work
Parts of Bishop set theory formalised in Agda/Alfa.
For information about Agda/Alfa and previous laboratory exercises, see web pages from
2002
and
2004
.
Demos of the theorem prover Otter.
Otter
an automatic theorem prover for first order logic
Examination
The course ends with a written exam on
June 1.
Remember to sign up for the exam at least 14 days before the exam date.
Resultat av tentamen den 1 juni 2006:
skrivande med födelsedatum 841108 är Väl Godkänd. (skrivningspoäng 40 av 40).
Lecturers
Professor Erik Palmgren.
Examiner.
Johan Granström,
Teaching assistant, PhD student in mathematical logic.
Links
Mathematical logic in
Uppsala.
Haskell
-- a pure functional language.
List of systems for automatic theorem provers
Multi-agent epistemic logic
(Lectures at ESSLLI 2003 by Rineke Verbrugge)
Program logic
at Chalmers in Göteborg.
BDD Portal
June 2, 2006,
Erik Palmgren
.