Kommentar |
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. |