703622 Theory and Practice of Decision Procedures

summer semester 2014 | Last update: 11.06.2014 Place course on memo list
703622
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.

not applicable
12.03.2014
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