703622 PS Theory and Practice of Decision Procedures
summer semester 2018 | Last update: 18.12.2017 | Place course on memo list703622
PS Theory and Practice of Decision Procedures
PS 2
4
weekly
every 2nd year
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.
see dates
- Faculty of Mathematics, Computer Science and Physics
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Fri 2018-03-09
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-03-16
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-03-23
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-04-13
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-04-20
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-04-27
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-05-04
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-05-11
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-05-18
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-05-25
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-06-01
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-06-08
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-06-15
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-06-22
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |
|
Fri 2018-06-29
|
13.15 - 15.00 | HSB 9 HSB 9 | Barrier-free | |