inf400 - Theoretische Informatik: Logik (Vollständige Modulbeschreibung)
Modulbezeichnung | Theoretische Informatik: Logik |
Modulkürzel | inf400 |
Kreditpunkte | 6.0 KP |
Workload | 180 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | |
Kompetenzziele | Einführung in die Aussagenlogik, Prädikatenlogik, Logik-Programmierung und Temporale Logik Fachkompetenzen
Methodenkompetenzen
Sozialkompetenzen
Selbstkompetenzen
|
Modulinhalte | Die Vorlesung führt in die Aussagenlogik, Prädikatenlogik, Logik-Programmierung und Temporale Logik ein. Ein gutes Verständnis von Logik ist für die Informatik von zentraler Bedeutung. Dieses wird bereits durch die weite Verbreitung der logischen Formelsprache in der Informatik belegt. Zum Beispiel kommen einfache Boolesche Ausdrücke in jeder Programmiersprache und beim Schaltkreisentwurf vor; Horn-Klauseln werden zur Wissensrepräsentation eingesetzt; Formeln der Prädikatenlogik und Temporalen Logik werden zum Spezifizieren von Eigenschaften von Soft- und Hardware benutzt. Neuere Anwendungen wie interaktives und automatisches Beweisen sowie Logik-Programmierung und die damit verwandte Programmiersprache PROLOG unterstreichen den Werkzeugcharakter der Logik in der Informatik. In der Vorlesung werden Syntax, Semantik, Verfahren und Kalküle zur Überprüfung der Gültigkeit von Formeln der Aussagenlogik, Prädikatenlogik und Temporalen Logik eingeführt und an Beispielen illustriert. Zentral ist der Begriff der logischen Folgerung.
|
Literaturempfehlungen | Essentiell: Skript "Logik" |
Links | |
Unterrichtssprache | Deutsch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | jährlich |
Aufnahmekapazität Modul | unbegrenzt |
Lehr-/Lernform | V+Ü |
Vorkenntnisse | Nützliche Vorkenntnisse: Grundlagen der Mengenlehre, Definition von Funktionen und Relationen |
Lehrveranstaltungsform | Kommentar | SWS | Angebotsrhythmus | Workload Präsenz |
---|---|---|---|---|
Vorlesung | 3 | SoSe | 42 | |
Übung | 1 | SoSe | 14 | |
Präsenzzeit Modul insgesamt | 56 h |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | Am Ende der Vorlesungszeit |
Klausur oder mündliche Prüfung |