About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Logic - Winter Term 2006/2007
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.
Schedule
This course starts on Wednesday, 11th October, and will go until Monday, 27th November. Afterwards, the follow-up course Science of Computational Logic will start on Wednesday, 29th November.
The first tutorial will be held on Wednesday, 25th October.
| Day | Time | What |
|---|---|---|
| Monday | 9:20 | Lecture |
| Wednesday | 9:20 | Tutorial |
| Wednesday | 13:00 | Lecture |
| Friday | 11:10 | Tutorial |
Course Materials
In the following you will find fragments of the English translation of the book "Logik und Logik-Programmierung". Please ignore references to earlier sections and exercises. We appreciate a lot if you point out errors, wrong usage of English, missing examples, parts which are difficult to understand, etc.
Homework
Homework is compulsory and counts for 10% of the final grade. The other 90% are determinated by the score of the written exam. However, this is only true if you pass the exam on the first attempt. If you fail, your grade will be determined by the score of your second attempt solely.
We encourage you to solve the homework exercises in groups of up to three persons: each individual will get the same grade for any given homework assignment. Please hand the solutions to Steffen at Monday morning lectures and remember to put the names of everyone in the group on the solution sheet.
Have a look at the exercises as early as possible. The Open House on Wednesdays is a excellent opportunity to ask questions.
| Week | Submission Date | Excercise Sheets | Avg. Grade % |
|---|---|---|---|
| 1. | 23.10.2006 | ps, pdf | 80.3 |
| 2. | 30.10.2006 | ps, pdf | 73.6 |
| 3. | 6.11.2006 | ps, pdf | 85.8 |
| 4. | 13.11.2006 | ps, pdf | 94.5 |
| 5. | 20.11.2006 | ps, pdf | 89.1 |
| 6. | 27.11.2006 | ps, pdf | 87.6 |
| 7. | 4.12.2006 | ps, pdf | 97.7 |
Examination
This course will be examined as a part within the Foundations exam. The Foundations exam will be on February 14, at 1:00 p.m. in rooms E05/E06 with a duration of 120 minutes. During this exam session all courses that belong to the Foundations module will be examined. However, you will have to make a choice for which courses you want to be examined in. There are two possible choices (together with what portion each course will have in the exam):
- Logic (50%) and Science of Computational Logic (50%)
- Complexity Theory (25%), Computer Algebra (25%), and Science of Computational Logic (50%).
Some exams from previous years
Last update: Wed, 17 Jan 2007 12:36:19