703622 Theory and Practice of Decision Procedures
summer semester 2014 | Last update: 11.06.2014 | Place course on memo list703622
Theory and Practice of Decision Procedures
PS 2
4
weekly
annually
English
Students who have completed this module know decision procedures for propositional logic and for restrictions of predicate logic. They can implement these decision procedures and formulate specifications in these logics and verify them using tools.
Practicing of the themes of the lectures by applying the presented concepts
Continuous assessment (based on regular written and/or oral contribution by participants).
Course examination according to § 7, statute section on "study-law regulations"
Will be discussed in the first lesson.
12.03.2014
- Faculty of Mathematics, Computer Science and Physics
Group 0
|
||||
---|---|---|---|---|
Date | Time | Location | ||
Wed 2014-03-12
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free | |
Wed 2014-03-19
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free | |
Wed 2014-03-26
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free | |
Wed 2014-04-02
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free | |
Wed 2014-04-09
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free | |
Wed 2014-04-30
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free | |
Wed 2014-05-07
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free | |
Wed 2014-05-14
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free | |
Wed 2014-05-21
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free | |
Wed 2014-05-28
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free | |
Wed 2014-06-04
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free | |
Wed 2014-06-11
|
13.15 - 15.00 | SR Container 1 SR Container 1 | ||
Wed 2014-06-18
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free | |
Wed 2014-06-25
|
13.15 - 15.00 | HS 10 HS 10 | Barrier-free |