Veranstaltungsart und -inhalt |
|
Titel: | Logik, Semantik, Wissensrepräsentation |
Veranstalter: | Liskiewicz, Reischuk |
Einordnung: | Master-Studiengang 2. Semester |
Inhalt: |
Logik ist eine wesentliche Grundlage vieler Bereiche der Informatik, z.B. der Spezifikation und Verifikation von Programmen, der Datenbankanfragesprachen, der Wissensrepräsentation und Inferenz in der KI sowie der logische Programmierung. In diesem Modul behandeln wir die klassische Aussagen- und Prädikatenlogik und geben eine Einführung in die modale und temporale Logik, sowie deren Anwendungen. |
Buchempfehlungen: |
|
Übung |
|
Übungsblätter: |