Introduction to logic

,

Lecturer | Uwe Wolter, e-mail: Uwe.Wolter, office: room 4146, HiB |
---|---|

exercises: | Thomas Agotnes |

READING | |

required : | lecture notes :final updated version (not exactly the same as the notes below) |

non-required : | A brief history of mathematical logic , lecture-slides |

recommended : | 1. ``Foundations of Computing'', T.Scheurer, Addison-Wesley |

2. ``Logic: A Foundation for Computer Science'', | |

V.Sperschneider, G.Antoniou, Addison-Wesley | |

Other stuff | a) prøveeksamen 1996 ( English version) |

b) eksamen 1996 ( English version) ( solution ) | |

c) eksamen 1997 ( English version) ( solution ) | |

d) eksamen 1998 ( English version) ( solution ) |

First lecture: 23.1 | |||
---|---|---|---|

Tuesday - | 12:15-14 (aud. B) | ||

Wednesday - | 14:15-16 (aud. B) | ||

Thursday - | 14:15-16 (Exercises: aud. B) |

Tuesday, Wednesday, 28/29.04 - | remaining exercises |

Tuesday, Wednesday, 12/13.05 - | summary lecture/questions-answers/EXAM-96 - b) above |

Exam: Monday, 11 June.