703622 PS Theory and Practice of Decision Procedures

summer semester 2018 | Last update: 18.12.2017 Place course on memo list
703622
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
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