About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint

This course will introduce you to propositional logic and first-order predicate logic. After reviewing syntax and semantics, we will cover some basic concepts like normal forms, substitution, and unification. You will be introduced to proof procedures such as the resolution calculus and related concepts including soundness, completeness, and decidability.

- The second test exam covers propositional logic and predicate logic up to slide 68.
- Prof. Hölldobler gives a lecture on November 26, and the lecture Science of Computational Logic starts on November 3.
- The second test exam takes place on November 27, 13:00-14:30.
- We have a lecture on Wednesday November 12 and a tutorial on Thursday November 13.
- The first test exam takes place on November 11, 11:10-12:40.
- We have two tutorials on Monday, October 27, and Tuesday, October 28
- The first tutorials will be on Monday, October 20.
- The lectures start on Monday 13 October, 14:50.

- Propositional Logic - lecturing slides [pdf] finished, natural deduction was not covered.
- Predicate Logic - lecturing slides [pdf]
- Propositional vs. PredicateLogic.pdf (updated) [pdf]

We plan to run two test exams where participation is compulsory and
results will count for 10% of the final grade.

The other 90% are determined by the score of the written exam.

However, this only holds if you pass the exam on the first attempt.

If you fail, your grade will solely be determined by the score of your second attempt.

This course will be examined as a part of the Foundations exam.

The Foundation exam consists of two separate exams:

a written examination for the course Logic
and an oral examination for the course Science of Computational Logic.

The written exam will be on Saturday, December 20, 2014 at 10:00.-
in room ZEU/250/Z (Zeunerbau, Georg-Bährstrasse 3c).

It's building number 4 on the north side of the
campus.

An entrance is at the south side, stairs up to the next
floor, to the right (westwards) and round the corner.
Here you are.

See also
here.

- no exam aids or support materials will be allowed.

In other words, only writing materials are allowed. - The emphasis of the exam will be on the proofs of theorems, propositions and lemmata from the lectures and the proofs occurring with the problems from the tutorials.
- In addition, in the first problem of the exam we will usually ask for some definition or algorithm presented on the lectures, e.g. define concepts like substitution, resolvent, interpretation, Skolemization, ... or algorithms like unification, transformation to clause form, ...
- Maybe, one or two exam problems will be the application of some of the presented calculi (e.g. resolution, natural deduction, normalform transformation, etc).

**Last update:** Tue, 25 Nov 2014 13:49:18, Tobias Philipp