703501 Logic
winter semester 2007/2008 | Last update: 09.05.2008 | Place course on memo list703501
Logic
VO 2
4
weekly
annually
English
Students who have completed this module should understand the topics covered in the
lectures, and be able to express and apply them. They should be able to independently
acquire similar knowledge and have a basic understanding of specification and
verification methods.
semantics and proof systems of predicate logic and equational logic; introduction to
modal logic and second-order logic; use of interactive higher-order provers to perform
logic modelling
- Fakultät für Mathematik, Informatik und Physik
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Thu 2007-10-04
|
08.00 - 10.00 | HS 10 HS 10 | Barrier-free | |
|
Thu 2007-10-11
|
08.00 - 10.00 | HS 10 HS 10 | Barrier-free | |
|
Thu 2007-10-18
|
08.00 - 10.00 | HS 10 HS 10 | Barrier-free | |
|
Thu 2007-10-25
|
08.00 - 10.00 | HS 10 HS 10 | Barrier-free | |
|
Thu 2007-11-08
|
08.00 - 10.00 | HS 10 HS 10 | Barrier-free | |
|
Thu 2007-11-15
|
08.00 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2007-11-22
|
08.00 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2007-11-29
|
08.00 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2007-12-06
|
08.00 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2007-12-13
|
08.00 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-01-10
|
08.00 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-01-17
|
08.00 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-01-24
|
08.00 - 10.00 | HS B (Technik) HS B (Technik) | Barrier-free | 1. Klausur |
|
Wed 2008-03-05
|
13.00 - 15.00 | HSB 1 HSB 1 | Barrier-free | 2. Klausur Logik (Master) |
|
Wed 2008-06-11
|
12.00 - 14.00 | HS 11 HS 11 | Barrier-free | 3. Klausur |