Start my eKVV Studieninformation Lernräume Prüfungsverwaltung Bewerbungs-/Statusportal Anmelden

230012 Einführung in die Modallogik (S) (WiSe 2020/2021)

Inhalt, Kommentar

Im Seminar werden wir die Grundlagen der modalen Aussagenlogik kennenlernen und intensiv einüben. Zuerst werden wir uns anschauen, was genau die Modaloperatoren (Box und Diamant) semantisch von den aussagenlogischen Operatoren unterscheidet, und welche Rolle mögliche Welten dabei spielen. Anschließend werden wir uns einen Überblick über einige modallogische Systeme verschaffen und ein allgemeines Verfahren kennenlernen, mit dem wir überprüfen können, ob ein gegebener Schluss in einem gegebenen System gültig oder eine gegebene Formel in einem gegebenen System tautologisch ist. Abschließend werden wir das Verständnis der modallogischen Grundideen vertiefen, indem wir uns eine Erweiterung dieser Ideen vornehmen, die für ein spezielles Anwendungsgebiet konzipiert wurde.

Lehrende

Termine (Kalendersicht )

Rhythmus Tag Uhrzeit Format / Ort Zeitraum  
wöchentlich Mi 10-12 ONLINE   02.11.2020-12.02.2021

Klausuren

  • Keine gefunden

Fachzuordnungen

Modul Veranstaltung Leistungen  
23-TXT-BaCL5 Vertiefungsmodul Veranstaltung aus dem Vertiefungsbereich Studienleistung
Studieninformation

Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.

Konkretisierung der Anforderungen
Keine Konkretisierungen vorhanden
Lernraum
Teilnehmer*innen
Automatischer E-Mailverteiler der Veranstaltung
Änderungen/Aktualität der Veranstaltungsdaten
Sonstiges