Diese Seite auf DE

Event

[WS1924086]

Type

lecture/exercise (VÜ)

Term

WS 19/20

SWS

Language

Deutsch

Appointments

Links

https://formal.iti.kit.edu/teaching/FormSysWS1819/
ILIAS

Lecturers

Organisation

KIT-Fakultät für Informatik

Part of

Brick Formal Systems | Information Systems (M.Sc.)
Brick Formal Systems | Information Systems (B.Sc.)
Brick Formal Systems | Information Engineering and Management (M.Sc.)

Literature

Vorlesungsskriptum 'Formale Systeme',
User manuals oder Bedienungsanleitungen der benutzten Werkzeuge (SAT-solver, Theorembeweiser, Modellprüfungsverfahren (model checker)).

Weiterführende Literatur

Wird in der Vorlesung bekannt gegeben.

Appointments

17.10.2019 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
18.10.2019 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
24.10.2019 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
25.10.2019 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
31.10.2019 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
07.11.2019 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
08.11.2019 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
14.11.2019 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
15.11.2019 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
21.11.2019 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
22.11.2019 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
28.11.2019 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
29.11.2019 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
05.12.2019 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
06.12.2019 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
12.12.2019 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
13.12.2019 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
19.12.2019 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
20.12.2019 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
09.01.2020 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
10.01.2020 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
16.01.2020 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
17.01.2020 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
23.01.2020 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
24.01.2020 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
30.01.2020 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
31.01.2020 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
06.02.2020 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
07.02.2020 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal