703522 Automatic Deduction

summer semester 2011 | Last update: 19.07.2011 Place course on memo list
Department of Computer Science Department of Computer Science
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
703522
Automatic Deduction
VO 2
4
weekly
annually
English
Automatic theorem proving in first- and higher-order systems; Consolidation of the understanding of logic by practical training on widely-used theorem provers; logical foundations of automatic deduction; selection of appropriate automated deduction tool in order to solve a specific task.
written exam
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Wed 2011-03-09
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-03-16
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-03-23
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-03-30
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-04-06
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-04-13
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-05-04
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-05-11
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-05-18
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-05-25
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-06-01
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-06-08
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-06-15
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-06-22
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Wed 2011-06-29
 13.15 - 15.00 HS 10 HS 10 Barrier-free