703026 Logic
winter semester 2012/2013 | Last update: 12.02.2013 | Place course on memo list703026
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.
written exam
Michael Huth and Mark Ryan
Logic in Computer Science (second edition)
Cambridge University Press, 2004
ISBN 9780521543101 (paperback)
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Mon 2012-10-01
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2012-10-04
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2012-10-08
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2012-10-11
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2012-10-15
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2012-10-18
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2012-10-22
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2012-10-25
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2012-10-29
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2012-11-05
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2012-11-08
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2012-11-12
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2012-11-15
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2012-11-19
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2012-11-22
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2012-11-26
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2012-11-29
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2012-12-03
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2012-12-06
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2012-12-10
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2012-12-13
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2013-01-07
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2013-01-10
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2013-01-14
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2013-01-17
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2013-01-21
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2013-01-24
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Mon 2013-01-28
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrier-free | |
|
Thu 2013-01-31
|
08.00 - 11.30 | HSB 6 HSB 6 | Barrier-free | |