Diese Seite auf DE

Event

[WS2024086]

Type

lecture/exercise (VÜ)
Online

Term

WS 20/21

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 (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

05.11.2020 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
06.11.2020 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
12.11.2020 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
13.11.2020 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
19.11.2020 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
20.11.2020 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
26.11.2020 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
27.11.2020 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
03.12.2020 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
04.12.2020 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
10.12.2020 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
11.12.2020 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
17.12.2020 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
18.12.2020 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
07.01.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
08.01.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
14.01.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
15.01.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
21.01.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
22.01.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
28.01.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
29.01.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
04.02.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
05.02.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
11.02.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
12.02.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
18.02.2021 14:00 - 15:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal
19.02.2021 12:00 - 13:30 - Room: 30.22 Wolfgang-Gaede-Hörsaal