Ü Übung Von Mengen über Kreuzprodukte bis zu Funktionen: Mathematische Grundlagen der formalen Semantik - [Übung zum HS Sem./Pragm. + Text u. Disk. + Spr. u. Bed. / HS Gramm. + Strukturb. d. Dt. + Spr. u. Str.] (Block 26.-29.10.2020) - Einzelansicht

In diesem Blockseminar (im Umfang von 1 SWS) wird in die logisch-mathematischen Grundlagen der formalen Semantik eingeführt. Wir werden uns mit den Grundlagen der Aussagenlogik, der Prädikatenlogik und dem Begriff der Funktion auseinandersetzen. Der Besuch des Blockseminars soll auf das HS zur formalen Semantik vorbereiten und wird allen Teilnehmer*innen dieses Hauptseminars empfohlen. Ergänzung (22.10.2020): Die Veranstaltung wird anders als ursprünglich geplant nun doch online stattfinden. Sollten Sie noch keine Mitteilung über Teams bekommen haben, dann schreiben Sie mir bitte eine kurze Mail, damit ich Sie in Teams in die Veranstaltung aufnehmen kann.

Die verbindlich geltenden Zulassungsvoraussetzungen entnehmen Sie eigenverantwortlich den Modulhandbüchern und Studienordnungen Ihres jeweiligen Studienganges.

Die zu erbringende Prüfungsleistungen sind den Regelungen der Modulhandbücher und der Studienordnung Ihres jeweiligen Studienganges eigenverantwortlich zu entnehmen.