en | de

Logic

master program

VO2  WS 2007/2008  703501

Introduction

The course provides a broader understanding of logic and builds upon the corresponding lecture from the bachelor programme. The following topics are discussed:

Literature

The lecture is based on the following books.

Michael Huth and Mark Ryan, Logic in Computer Science (second edition).
Cambridge University Press, 2004, ISBN 978-0-521-54310-1 (paperback).
Mordechai Ben-Ari: Mathematical logic for computer science.
Springer, 2nd ed. 2001. ISBN 978-1-85233-319-5 (paperback).

Language

The course is taught in English.

Prerequisites

Logic from the bachelor programme or logic in computer science (Algorithmische Mathematik 7). Registration to the course is not required.