Mathematical Structures in logic


Winter 2009, ILLC, Universiteit van Amsterdam
Home / Assigments / Contents

News


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


Course Material



Practicalities


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.