703640 VO Interactive Theorem Proving

summer semester 2019 | Last update: 29.03.2019 Place course on memo list
703640
VO Interactive Theorem Proving
VO 2
4
weekly
every 2nd year
English
Students who have completed this module are familiar with the verification of specifications. They know first- and higher-order logics and can carry out structured proofs in those logics and verify them in interactive theorem provers

Design of an LCF prover; formal proofs; structured proofs and proof scripts; higher-order logic: induction, recursive data structures and recursive functions; automation; termination proofs; correctness of programs

Lectures

Written exam

Announced in the course

None

not applicable

Begin as announced

see dates
Group 0
Date Time Location
Thu 2019-03-07
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-03-14
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-03-21
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-03-28
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-04-04
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-04-11
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-05-02
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-05-09
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-05-16
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-05-23
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-06-06
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-06-13
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-06-27
13.15 - 15.00 HS 10 HS 10 Barrier-free