Mathematical Structures in logic

Winter 2009, ILLC, Universiteit van Amsterdam

News

13-11-09 The last Homework is available.
10-12-09 Lecture notes have been updated.
03-12-09 Lecture notes have been updated; the numeration in the homework has been synchronized with the new lecture notes..
02-12-09 Lecture notes have been updated.
27-11-09 Lecture notes have been updated.
27-11-09 The sixth Homework is available.
24-11-09 The fifth Homework has been updated, it should be more comprehensible now.
24-11-09 Lecture notes have been updated; the numeration in the homework has been synchronized with the new lecture notes..
24-11-09 There have been modifications to Exercises 3 and 4 in the fifth Homework, other modifications will be uploaded later.
20-11-09 Lecture notes have been updated; the numeration in the homework has been synchronized with the new lecture notes..
19-11-09 Lecture notes have been updated; the numeration in the homework has been synchronized with the new lecture notes..
13-11-09 The fifth Homework is available.
10-11-09 Lecture notes have been updated. There are several modifications on lectures 7 to 10..
8-11-09 Lecture notes have been updated(Lecture 10 draft).
29-10-09 Lecture notes have been updated(Lecture 9 draft).
29-10-09 Lecture notes have been updated(Lecture 9 draft).
30-09-09 The fourth Homework is available.
29-10-09 Lecture notes have been updated(Lecture 8 draft).
09-10-09 The third Homework is available.
09-10-09 Lecture notes have been updated(Lecture 7 draft).
08-10-09 Important (Room Change): The lecture of 12th Oct is in REC A.108.
04-10-09 Lecture notes have been updated
27-09-09 Lecture notes have been updated; Exercise 3.10 has been corrected.
25-09-09 The list of contents has been modified.
25-09-09 The second Homework is available.
25-09-09 Lecture notes have been updated.
16-09-09 Lecture notes have been updated.
15-09-09 Lecture notes have been updated.
14-09-09 Some typos have been corrected in the first Homework. New version is now available.
10-09-09 The first Homework is available.
09-09-09 Lecture notes have been updated.

Welcome to the web page for the course Mathematical Structures in Logic.

Here you will find information about the development of the course. In particular, you will find homework assignments and information about time and location.

The persons in charge of the course are Alessandra Palmigiano, Raul Andres Leal and Yde Venema

Time and Location

Classes run from September 3 to October 17 and from October 29 to December 12.
There will be no classes during Week 43.
There are two sessions per week:
- On Mondays from 10.00 to 11.45 there is a lecture in A3.02 (REC, i.e Roerterseilend complex)(period 1) and B3.41. (period 2) respectively.
- On Thursdays from 13.00 - 14.45 there is a practice session in C1.112 (Science Park).

Course Material

Introduction to Lattices and Order by B. A. Davey & H. A. Priestley; Cambridege University Press 2002.
A Course in Universal Algebra by S. B. & H.P Sankappanavar. You can download this book for free Here.
Abstract and concrete categories: The joy of cats by J. Adamek, H. Herrlich and G. Strecker (Originally published by: John Wiley and Sons, New York, 1990). You can download this book for free Here.

Practicalities

The course is worth 6 ECTS (162 hours of work).
The grading is based on biweekly homework assigments.
There will be a homework assigment every two weeks.
More detailed information can be found on the Assigments page.
The official language of the course is English.

Course Description

Course content

This term the course will focus on Adjunctions .

Course set-up

In the lectures we discuss the main ideas of the theory. You are then supposed to read the course material as indicated on the contents page, and to get acquainted with the material by doing the indicated exercises at the practice sessions. (If these don't allow you enough time for finishing all the indicated exercises, then you are strongly advised to make them before the practice sessions.) Solutions to exercises will be discussed during the practice sessions. Finally, in case you follow the course for credits you have to hand in the biweekly homework sets.

Prerequisites

First of all, it is assumed that students have some familiarity with first order logic (syntax and semantics). Second, we assume some basic mathematical knowledge and skills, including some exposure to relations, functions and their properties, and the ability to give proofs by induction.