# Logik

**Summer**


(engl. Logic )

<table bgcolor="#7FB3D9" border="1" id="bkmrk-%5Btitle%5D" style="width: 100%; border-collapse: collapse; border-width: 1px; border-style: none;"><colgroup><col style="width: 100%;"></col></colgroup><tbody><tr style="background-color: rgb(235, 243, 249);"><td>##### <span style="color: rgb(0, 104, 180);">**Modulnummer: FIN-INF-110103** </span>

</td></tr></tbody></table>

<table bgcolor="#7FB3D9" border="1" id="bkmrk-" style="border-collapse: collapse; width: 100%;"><colgroup><col style="width: 14.2515%;"></col><col style="width: 14.2515%;"></col><col style="width: 13.061%;"></col><col style="width: 15.442%;"></col><col style="width: 14.2515%;"></col><col style="width: 14.2515%;"></col><col style="width: 14.2515%;"></col></colgroup><tbody><tr><td class="align-center" style="border: 5px solid rgb(255, 255, 255);"><span style="color: rgb(61, 61, 61);">**Kürzel**</span>

<span style="color: rgb(61, 61, 61);">Logik </span>

</td><td class="align-center" style="border: 5px solid rgb(255, 255, 255);"><span style="color: rgb(61, 61, 61);">**CP**</span>

<span style="color: rgb(61, 61, 61);">5 </span>

</td><td class="align-center" style="border: 5px solid rgb(255, 255, 255);"><span style="color: rgb(61, 61, 61);">**Semester**</span>

<span style="color: rgb(61, 61, 61);">Summer </span>

</td><td class="align-center" style="border: 5px solid rgb(255, 255, 255);"><span style="color: rgb(61, 61, 61);">**Fachsem.**</span>

<span style="color: #3d3d3d;">ab 2. </span>

</td><td class="align-center" style="border: 5px solid rgb(255, 255, 255);">**<span style="color: rgb(61, 61, 61);">Dauer</span>**

<span style="color: rgb(61, 61, 61);">1 Semester </span>

</td><td class="align-center" style="border: 5px solid rgb(255, 255, 255);"><span style="color: rgb(61, 61, 61);">**Sprache**</span>

<span style="color: rgb(61, 61, 61);">deutsch</span>

</td><td class="align-center" style="border: 5px solid rgb(255, 255, 255);"><span style="color: rgb(61, 61, 61);">**Niveau**</span>

<span style="color: rgb(61, 61, 61);">Bachelor </span>

</td></tr></tbody></table>

<table border="1" id="bkmrk-verantwortung%3A-verwe" style="border-collapse: collapse; width: 100%; height: 89.3907px; border-width: 1px; border-style: none;"><colgroup><col style="width: 20.2601%;"></col><col style="width: 79.7399%;"></col></colgroup><tbody><tr><td>**Link zum LSF:**</td><td>[ LSF](https://lsf.ovgu.de/qislsf/rds?state=wsearchv&search=1&subdir=veranstaltung&veranstaltung.semester=20261&veranstaltung.dtxt=Logik&P_start=0&P_anzahl=30&P.sort=veranstaltung.dtxt&_form=display "Logik")</td></tr><tr><td>**Zugang beschränkt:**</td><td></td></tr><tr style="height: 29.7969px;"><td style="height: 29.7969px;">**Verantwortung:**</td><td style="height: 29.7969px;">Fabian Neuhaus </td></tr><tr style="height: 29.7969px;"><td style="height: 29.7969px;">**Dozent:in:**</td><td style="height: 29.7969px;">Fabian Neuhaus </td></tr><tr><td>**Lehrveranstaltungen:**</td><td>In Deutsch / In German - Vorlesung *Logik*
- Übung *Logik*

In Englisch / In English - Lecture *Logik*
- Exercise *Logik*

</td></tr><tr style="height: 29.7969px;"><td style="height: 29.7969px;">**Verwendbarkeit:**</td><td style="height: 29.7969px;">- B.Sc. INF: Mathematik / Logik  
- B.Sc. INF: Aufbaumodule (SPO 2027)  
- B.Sc. CV: Mathematik / Logik  
- B.Sc. CV: Computervisualistik Pflicht (SPO 2027)  
- B.Sc. INGINF: Mathematik / Logik  
- B.Sc. INGINF: Ingenieurinformatik Pflicht (SPO 2027)  
- B.Sc. INF (bilingual): Mathematik / Logik  
- B.Sc. INF (bilingual): Aufbaumodule (SPO 2027)  
- B.Sc. WIF: Informatik Pflicht (SPO 2027)  
  
</td></tr></tbody></table>

**Angestrebte Lernergebnisse:** Die Studierenden können

- die für Logik relevanten Begriffe und deren Definitionen erklären,
- logische Syntax (insbesondere  
    logische Formeln und Argumente lesen)
- Situationen durch logische Formeln beschreiben,
- logische Formeln ins Deutsche übersetzen und umgekehrt,
- Normalformen erkennen und herstellen,
- Situation als modelltheoretische Struktur aufschreiben,
- zwischen formaler Repräsentation und der Bedeutung (reale Welt/Anwendung) unterscheiden,
- Argumente auf logische Folgerungen überprüfen,
- Beweise selbstständig konstruieren,
- Algorithmen zur Auswertung und Umformung logischer Ausdrücke und Argumente anwenden.

  
**Inhalt:**

- Anwendungsfelder für Logik in der Informatik,
- Logische Syntax (Formelbegriff und Argumentbegriff für Aussagenlogik und Prädikatenlogik),
- formale Repräsentation von Wissen,
- Logische Semantik von zwei- und dreiwertiger Aussagenlogik sowie Prädikatenlogik,
- Domänenspezifische Sprachen und Abstraktion zu allgemeinen logischen Sprachen,
- Folgerungsbegriff und logische Folgerung,
- Regelsysteme (u.a. für Formeln und Beweise),
- grundlegende Algorithmen für logische Probleme (SAT-Solving, Hornformel-Algorithmus, Überführung in Normalformen)

**Arbeitsaufwand:**

- Präsenzzeiten: 14 X 4h = 56 h
- Selbstständiges Nachbereiten der Vorlesung: 94 h

  
<table border="1" id="bkmrk-studien-%2Fpr%C3%BCfungslei" style="border-collapse: collapse; width: 100%;"><colgroup><col style="width: 32.6591%;"></col><col style="width: 35.9941%;"></col><col style="width: 31.3468%;"></col></colgroup><tbody><tr><td>**Prüfungsvorleistungen:**</td><td>**Studien-/Prüfungsleistungen:**</td><td>**Lehrform / SWS:**</td></tr><tr><td style="vertical-align: top;">2 Drittel der Übungsaufgaben votiert

</td><td class="align-left" style="vertical-align: top;">- Klausur 120 Min.

  
</td><td class="align-left" style="vertical-align: top;">- Vorlesung (2 SWS)
- Übung (2 SWS)

  
</td></tr></tbody></table>

<table border="1" id="bkmrk-voraussetzungen-nach" style="font-family: var(--font-body); font-size: 14px; width: 100%;"><colgroup><col style="width: 50%;"></col><col style="width: 50%;"></col></colgroup><tbody><tr><td>**Voraussetzungen nach Prüfungsordnung:**</td><td>**Empfohlene Voraussetzungen:**</td></tr><tr><td class="align-left" style="vertical-align: top;">keine

</td><td class="align-left" style="vertical-align: top;"></td></tr></tbody></table>

<table border="1" id="bkmrk-medienformen%3A-litera" style="border-collapse: collapse; width: 100%;"><colgroup><col style="width: 50%;"></col><col style="width: 50%;"></col></colgroup><tbody><tr><td>**Medienformen:**</td><td>**Literatur:**</td></tr><tr><td class="align-left" style="vertical-align: top;"></td><td class="align-left" style="vertical-align: top;">- J. Barwise, J. Etchemendy: Sprache, Beweis und Logik.
- Dassow : Logik für Informatiker
- Schöning : Logik für Informatiker
- J. Kelly: Logik (im Klartext)

  
</td></tr></tbody></table>

**Hinweise:**