Diese Seite auf DE

Event

[WS2124086]

Type

lecture/exercise (VÜ)

Term

WS 21/22

SWS

Language

Deutsch

Appointments

Links

https://formal.iti.kit.edu/teaching/FormSysWS2122/
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 (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

21.10.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
22.10.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
28.10.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
29.10.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
04.11.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
05.11.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
11.11.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
12.11.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
18.11.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
19.11.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
25.11.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
26.11.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
02.12.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
03.12.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
09.12.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
10.12.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
16.12.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
17.12.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
23.12.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
07.01.2022 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
13.01.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
14.01.2022 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
20.01.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
21.01.2022 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
27.01.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
28.01.2022 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
03.02.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
04.02.2022 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
10.02.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
11.02.2022 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal