Diese Seite auf DE

Event

[WS2224086]

Type

lecture/exercise (VÜ)

Term

WS 22/23

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

27.10.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
28.10.2022 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
03.11.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
04.11.2022 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
10.11.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
11.11.2022 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
17.11.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
18.11.2022 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
24.11.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
25.11.2022 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
01.12.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
02.12.2022 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
08.12.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
09.12.2022 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
15.12.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
16.12.2022 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
22.12.2022 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
23.12.2022 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
12.01.2023 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
13.01.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
19.01.2023 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
20.01.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
26.01.2023 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
27.01.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
02.02.2023 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
03.02.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
09.02.2023 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
10.02.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
16.02.2023 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
17.02.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal