LFU:online

Students who have completed this module understand the topics covered in the lecture, and are able to express and apply them. They are able to independently acquire similar knowledge. They understand logical calculi and can apply them. Moreover they are able to model complex problems abstractly in formal calculi.

Discussion, deepening and practicing the contents of the lecture; practicing of scientific argumentation and the presentation of formal content

Weekly exercises that are presented and discussed in the Proseminar

Continuous assessment of course work

Michael Huth and Mark Ryan
Logic in Computer Science (second edition)
Cambridge University Press, 2007
ISBN 0-521-54310-X (paperback)

Slides as well as solutions to selected exercises will be made available online.

Allocation of places in courses with a limited number of participants (PS, SE, VU, PJ)

In courses with a limited number of participants, course places are allocated as follows:

1. Students for whom the study duration would be extended due to the postponement are to be given priority.

2. If the criteria in no. 1 do not suffice, first, students for whom this course is part of a compulsory module are to be given priority, and second, students for whom this course is part of an elective module.

3. If the criteria in no. 1 and 2 do not suffice, the available places are drawn by random.

Curriculum BA Computer Science 2019W