703026 VO Logic

winter semester 2017/2018 | Last update: 27.02.2018 Place course on memo list
703026
VO Logic
VO 3
4,5
weekly
annually
English
Students who have completed this module understand logical calculi and can apply them. They are able to model complex problems abstractly in formal models and acquired the ability to obtain similar knowledge independently.
Propositional logic; predicate logic; introduction to proof systems; natural deduction for propositional and predicate logic; binary decision diagrams; introduction to verification and model checking.

Lecture, assessment is based on a single examination at the end of the course.

written exam
Michael Huth and Mark Ryan Logic in Computer Science (second edition) Cambridge University Press, 2004 ISBN 9780521543101 (paperback)

familiarity with formal notation and methods as taught in Introduction to Theoretical Computer Science and Discrete Mathematics

not applicable
see dates
Group 0
Date Time Location
Mon 2017-10-02
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2017-10-05
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2017-10-09
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2017-10-12
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2017-10-16
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2017-10-19
08.15 - 10.00 HS G (Technik) HS G (Technik) Barrier-free
Mon 2017-10-23
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2017-10-30
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2017-11-06
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2017-11-09
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2017-11-13
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2017-11-16
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2017-11-20
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2017-11-23
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2017-11-27
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2017-11-30
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2017-12-04
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2017-12-07
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2017-12-11
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2017-12-14
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2018-01-08
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2018-01-11
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2018-01-15
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2018-01-18
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2018-01-22
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2018-01-25
08.15 - 10.00 HS F (Technik) HS F (Technik) Barrier-free
Mon 2018-01-29
10.15 - 11.00 HS F (Technik) HS F (Technik) Barrier-free
Thu 2018-02-01
08.00 - 11.00 HS F (Technik) HS F (Technik) Barrier-free 1st exam
Thu 2018-02-01
08.00 - 11.00 HS D (Technik) HS D (Technik) Barrier-free 1st exam
Thu 2018-09-27
08.30 - 12.30 HSB 3 HSB 3 Barrier-free 3rd exam