Diese Seite auf DE

Event

[WS2324086]

Type

lecture/exercise (VÜ)

Term

WS 23/24

SWS

Language

Deutsch

Appointments

Links

https://formal.kastel.kit.edu/teaching/FormSysWS2324
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

26.10.2023 14:00 - 15:30 - Room: 50.34 Raum -101
27.10.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
02.11.2023 14:00 - 15:30 - Room: 50.34 Raum -101
03.11.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
09.11.2023 14:00 - 15:30 - Room: 50.34 Raum -101
10.11.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
16.11.2023 14:00 - 15:30 - Room: 50.34 Raum -101
17.11.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
23.11.2023 14:00 - 15:30 - Room: 50.34 Raum -101
24.11.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
30.11.2023 14:00 - 15:30 - Room: 50.34 Raum -101
01.12.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
07.12.2023 14:00 - 15:30 - Room: 50.34 Raum -101
08.12.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
14.12.2023 14:00 - 15:30 - Room: 50.34 Raum -101
15.12.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
21.12.2023 14:00 - 15:30 - Room: 50.34 Raum -101
22.12.2023 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
11.01.2024 14:00 - 15:30 - Room: 50.34 Raum -101
12.01.2024 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
18.01.2024 14:00 - 15:30 - Room: 50.34 Raum -101
19.01.2024 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
25.01.2024 14:00 - 15:30 - Room: 50.34 Raum -101
26.01.2024 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
01.02.2024 14:00 - 15:30 - Room: 50.34 Raum -101
02.02.2024 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
08.02.2024 14:00 - 15:30 - Room: 50.34 Raum -101
09.02.2024 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal
15.02.2024 14:00 - 15:30 - Room: 50.34 Raum -101
16.02.2024 11:30 - 13:00 - Room: 30.22 Wolfgang-Gaede-Hörsaal