# Logik

##### Sommer 


##### (in German: Logik )

<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);">**Module-ID:** </span><span style="color: rgb(0, 104, 180);">**FIN-INF-110492** </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);">**Abbreviation**</span>

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

</td><td class="align-center" style="border: 5px solid rgb(255, 255, 255);"><span style="color: rgb(61, 61, 61);">**Credit Points**</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);">Sommer </span>

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

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

</td><td class="align-center" style="border: 5px solid rgb(255, 255, 255);">**<span style="color: rgb(61, 61, 61);">Duration</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);">**Language**</span>

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

</td><td class="align-center" style="border: 5px solid rgb(255, 255, 255);"><span style="color: rgb(61, 61, 61);">**Level**</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: 124.8px; border-width: 1px; border-style: none;"><colgroup><col style="width: 24.7879%;"></col><col style="width: 75.2121%;"></col></colgroup><tbody><tr style="height: 35.4px;"><td style="height: 35.4px;">**Link:**</td><td style="height: 35.4px;">[ 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>**Limited accessability:**</td><td></td></tr><tr style="height: 29.8px;"><td style="height: 29.8px;">**Responsibility:**</td><td style="height: 29.8px;">Martin Glauer </td></tr><tr style="height: 29.8px;"><td style="height: 29.8px;">**Lecturer:**</td><td style="height: 29.8px;">Martin Glauer </td></tr><tr><td>**Classes:**</td><td>- Lecture *Logic*
- Exercise *Logic*

 </td></tr><tr style="height: 29.8px;"><td style="height: 29.8px;">**Applicability in curriculum:**</td><td style="height: 29.8px;">- B.Sc. INF (bilingual): Mathematik / Logik  
- B.Sc. INF (bilingual): Aufbaumodule (SPO 2027)  
  
</td></tr></tbody></table>

**Intended learning outcomes:** Students can

- explain the terms relevant to logic and their definitions,
- read logical syntax (in particular logical formulae and arguments)
- describe situations using logical formulae,
- translate logical formulae into German and vice versa,
- recognize and produce normal forms,
- write down situations as model-theoretical structures,
- distinguish between formal representation and meaning (real world/application),
- check arguments for logical conclusions,
- construct proofs independently,
- use algorithms to evaluate and transform logical expressions and arguments.

  
**Content:**

- Fields of application for logic in computer science,
- Logical syntax (concept of formula and concept of argument for propositional logic and predicate logic),
- Formal representation of knowledge,
- Logical semantics of two- and three-valued propositional logic and predicate logic,
- Domain-specific languages and abstraction to general logical languages,
- Concept of inference and logical inference,
- Rule systems (e.g. for formulas and proofs), - Basic algorithms for logical problems (SAT solving, Horn formula algorithm, transfer to normal forms) rule systems (e.g. for formulas and proofs),
- basic algorithms for logical problems (SAT solving, Horn formula algorithm, transfer to normal forms)

**Workload:** Attendance time: 14 x 4 hours = 56 hours Independent follow-up work on the lecture: 94 hours

<table border="1" id="bkmrk-studien-%2Fpr%C3%BCfungslei" style="border-collapse: collapse; width: 100%;"><colgroup><col style="width: 32.0641%;"></col><col style="width: 34.9204%;"></col><col style="width: 33.0155%;"></col></colgroup><tbody><tr><td>**Pre-examination requirements:**</td><td>**Type of examination:**</td><td>**Teaching method / lecture hours per week (SWS):**</td></tr><tr><td>2/3 of the exercises voted

</td><td>120 minute written exam

</td><td>- Lecture (2 SWS)
- Exercise (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>**Prerequisites according to examination regulations:**</td><td>**Recommended prerequisites:**</td></tr><tr><td>none

</td><td></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>**Media:**</td><td>**Literature:**</td></tr><tr><td></td><td>\- J. Barwise, J. Etchemendy: Language, Proof and Logic.

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

**Comments:**