Vorlesung: 2.01.400 Theoretische Informatik: Logik (V) - Details

Vorlesung: 2.01.400 Theoretische Informatik: Logik (V) - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: 2.01.400 Theoretische Informatik: Logik (V)
Untertitel inf400
Veranstaltungsnummer 2.01.400
Semester SoSe2023
Aktuelle Anzahl der Teilnehmenden 157
erwartete Teilnehmendenanzahl 250
Heimat-Einrichtung Department für Informatik
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Erster Termin Dienstag, 11.04.2023 10:15 - 11:45, Ort: A11 1-101 (Hörsaal B)
Art/Form 3V+1Ü
Teilnehmende Die Vorlesung führt in die Aussagenlogik, die Prädikatenlogik, die Logik-Programmierung und die Temporale Logik ein. Ein gutes Verständnis von Logik ist für die Informatik von zentraler Bedeutung. Dieses wird durch die weite Verbreitung der logischen Formelsprache in der Informatik belegt:

• Einfache Boolesche Ausdrücke kommen in jeder Programmiersprache und beim Schaltkreisentwurf vor,
• Horn-Klauseln werden zur Wissensrepräsentation eingesetzt,
• Formeln der Prädikatenlogik oder Temporalen Logik werden zum Spezifizieren von Eigenschaften von Soft- und Hardware benutzt,
• mit Hilfe von Model-Checking wird z.B. die Gültigkeit von bestimmten temporale Logik Spezifikationen für diverse Systeme gezeigt,
• aus dem Bereich der Logik-Programmierung wird die Programmiersprache Prolog benutzt und
• neuere Anwendungen wie interaktives und automatisches Beweisen unterstreichen den Werkzeugcharakter der Logik in der Informatik.

In der Vorlesung werden Syntax, Semantik und Verfahren zur Überprüfung des Wahrheitswertes von Formeln der Aussagenlogik, Prädikatenlogik und Temporalen Logik eingeführt und an Beispielen illustriert. Zentral ist der Begriff der logischen Folgerung.
Lehrsprache deutsch

Modulzuordnungen

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.