703501 Logic
winter semester 2008/2009 | Last update: 23.02.2009 | 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
written
- Fakultät für Mathematik, Informatik und Physik
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Thu 2008-10-02
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-10-09
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-10-16
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-10-23
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-10-30
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-11-06
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-11-13
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-11-20
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-11-27
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-12-04
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2008-12-11
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2009-01-08
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Thu 2009-01-15
|
08.00 - 11.00 | rr 15 rr 15 | Barrier-free | |
|
Thu 2009-01-22
|
08.15 - 10.00 | HS E (Technik) HS E (Technik) | Barrier-free | |
|
Fri 2009-03-06
|
14.00 - 16.00 | HS E (Technik) HS E (Technik) | Barrier-free | Prüfungen zu Logik und Komplexitätstheorie (703751) |