703622 Theory and Practice of Decision Procedures

summer semester 2014 | Last update: 11.06.2014 Place course on memo list
Department of Computer Science Department of Computer Science
assoz. Prof. Dr. Cezary Kaliszyk assoz. Prof. Dr. Cezary Kaliszyk, +43 512 507 53299
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.

http://cl-informatik.uibk.ac.at/teaching/
12.03.2014
Group 0
Export course dates of this group as iCalendar (.ics)
Help
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