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  

Zeige vergangene Termine >>

Fachzuordnungen

Modul Veranstaltung Leistungen  
23-TXT-BaCL5 Vertiefungsmodul Veranstaltung aus dem Vertiefungsbereich Studienleistung
Studieninformation
26-HM_TP2_VL Hauptmodul TP2: Vertiefung Logik Seminar 1 Studienleistung
Studieninformation
Seminar 2 Studienleistung
Studieninformation
- benotete Prüfungsleistung 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.

Keine Konkretisierungen vorhanden
Kein Lernraum vorhanden
registrierte Anzahl: 16
Dies ist die Anzahl der Studierenden, die die Veranstaltung im Stundenplan gespeichert haben. In Klammern die Anzahl der über Gastaccounts angemeldeten Benutzer*innen.
Adresse:
WS2020_230012@ekvv.uni-bielefeld.de
Lehrende, ihre Sekretariate sowie für die Pflege der Veranstaltungsdaten zuständige Personen können über diese Adresse E-Mails an die Veranstaltungsteilnehmer*innen verschicken. WICHTIG: Sie müssen verschickte E-Mails jeweils freischalten. Warten Sie die Freischaltungs-E-Mail ab und folgen Sie den darin enthaltenen Hinweisen.
Falls die Belegnummer mehrfach im Semester verwendet wird können Sie die folgende alternative Verteileradresse nutzen, um die Teilnehmer*innen genau dieser Veranstaltung zu erreichen: VST_221942193@ekvv.uni-bielefeld.de
Reichweite:
12 Studierende direkt per E-Mail erreichbar
Hinweise:
Weitere Hinweise zu den E-Mailverteilern
Letzte Änderung Grunddaten/Lehrende:
Montag, 11. Mai 2020 
Letzte Änderung Zeiten:
Donnerstag, 20. August 2020 
Letzte Änderung Räume:
Donnerstag, 20. August 2020 
Art(en) / SWS
S / 2
Einrichtung
Fakultät für Linguistik und Literaturwissenschaft
Fragen oder Korrekturen?
Fragen oder Korrekturwünsche zu dieser Veranstaltung?
Planungshilfen
Terminüberschneidungen für diese Veranstaltung
Link auf diese Veranstaltung
Wenn Sie diese Veranstaltungsseite verlinken wollen, so können Sie einen der folgenden Links verwenden. Verwenden Sie nicht den Link, der Ihnen in Ihrem Webbrowser angezeigt wird!
Der folgende Link verwendet die Veranstaltungs-ID und ist immer eindeutig:
https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=221942193
Seite zum Handy schicken
Klicken Sie hier, um den QR Code zu zeigen
Scannen Sie den QR-Code: QR-Code vergrößern
ID
221942193