Logic
Einführungsveranstaltung in die Logik für den bilingualen BA.
(in German: Logic )
Module-ID: FIN-INF- |
| Link: | LSF |
| Responsibility: | Martin Glauer |
| Lecturer: | Martin Glauer |
| Classes: | Vorlesung: Logic Übung: Logic |
| Applicability in curriculum: | - B.Sc. INF (bilingual): Mathematik / Logik |
|
Abbreviation Logic |
Credit Points 5 |
Semester Sommer |
Term ab 2. |
Duration 1 Semester |
Language english |
Level Bachelor |
Intended learning outcomes:
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.
Content:
- 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)
Workload:
Präsenzzeiten: 14 X 4h = 56 h
Selbstständiges Nachbereiten der Vorlesung: 94 h
| Pre-examination requirements: | Type of examination: | Teaching method / lecture hours per week (SWS): |
|
- Zulassungsvoraussetzung: 2 Drittel der Übungsaufgaben votiert - Prüfung: Klausur 120 Min. - Unbenotete Leistung: Vorleistungen entsprechend Angabe zum Semesterbeginn |
schriftliche Prüfung |
- Vorlesung (2 SWS) - Übung (2 SWS) |
| Prerequisites according to examination regulations: | Recommended prerequisites: |
|
keine |
| Media: | Literature: |
|
- J. Barwise, J. Etchemendy: Language, Proof and Logic.
|
Comments: