703026 VO Logik
Sommersemester 2026 | Stand: 21.05.2026 | LV auf Merkliste setzen703026
VO Logik
VO 3
4,5
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls verstehen Logikkalküle und können diese anwenden. Sie haben die Fertigkeit erworben, sich ähnliche Inhalte selbst zu erarbeiten. Darüber hinaus sind sie in der Lage, zu abstrahieren und komplexe Probleme in formalen Kalkülen zu modellieren.
Aussagenlogik; Prädikatenlogik; Einführung in Beweissysteme; Kalküle des natürlichen Schließens für Aussagenlogik und Prädikatenlogik; binäre Entscheidungsdiagramme; Einführung in Verifikation und Model Checking
Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.
schriftliche Prüfung
Michael Huth and Mark Ryan
Logic in Computer Science (second edition)
Cambridge University Press, 2007
ISBN 0-521-54310-X (paperback)
Vertrautheit mit formaler Notation und den Methoden, die in den Lehrveranstaltungen Einführung in die Theoretische Informatik und Diskrete Strukturen vermittelt werden
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
- SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
- SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 02.03.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Di 03.03.2026
|
15.30 - 16.00 | HS G (Technik) HS G (Technik) | Barrierefrei | TUTORIUM |
|
Mo 09.03.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 11.03.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mo 16.03.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 18.03.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mo 23.03.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 25.03.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mo 13.04.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 15.04.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mo 20.04.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 22.04.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mo 27.04.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 29.04.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mo 04.05.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 06.05.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mo 11.05.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 13.05.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mo 18.05.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 20.05.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mi 27.05.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mo 01.06.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 03.06.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mo 08.06.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 10.06.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mo 15.06.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 17.06.2026
|
10.15 - 11.00 | rr 26 rr 26 | TUTORIUM | |
|
Mo 22.06.2026
|
08.30 - 11.00 | HSB 1 HSB 1 | Barrierefrei | |
|
Mi 24.06.2026
|
10.15 - 11.45 | Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) | Barrierefrei | TUTORIUM |
|
Mo 29.06.2026
|
08.00 - 11.30 | HSB 1 HSB 1 | Barrierefrei | 1st exam |
|
Mo 29.06.2026
|
08.00 - 11.30 | HSB 3 HSB 3 | Barrierefrei | 1st exam |
|
Di 15.09.2026
|
08.00 - 12.00 | HSB 3 HSB 3 | Barrierefrei | 2nd exam |
|
Do 04.02.2027
|
08.00 - 12.00 | HSB 3 HSB 3 | Barrierefrei | 3rd exam |
| Gruppe | Anmeldefrist | Prüfungsdatum | |
|---|---|---|---|
|
703026-0
703026-0 |
01.02.2026 08:00 - 27.06.2026 23:59 | Zur LV anmelden | |
| Middeldorp A. | |||
|
703026-0
703026-0 |
25.05.2026 00:00 - 15.06.2026 23:59 |
29.06.2026
8:30 - 11:00
HSB 1 & HSB 3
|
Zur Prüfung anmelden |
|
Hinweis: 1st exam Informationen zu Kommissionellen Wiederholungsprüfungen (4./5. Antritt): Wiederholung von Prüfungen |
Middeldorp A. | ||
|
703026-0
703026-0 |
11.08.2026 00:00 - 01.09.2026 23:59 |
15.09.2026
8:30 - 11:00
HSB 3
|
|
|
Hinweis: 2nd exam Informationen zu Kommissionellen Wiederholungsprüfungen (4./5. Antritt): Wiederholung von Prüfungen |
Middeldorp A. | ||
|
703026-0
703026-0 |
31.12.2026 00:00 - 21.01.2027 23:59 |
04.02.2027
08:30 - 11:00
HSB 3
|
|
|
Hinweis: 3rd exam Informationen zu Kommissionellen Wiederholungsprüfungen (4./5. Antritt): Wiederholung von Prüfungen |
Middeldorp A. | ||