Sind Sie sich sicher?
Anmeldung zur Seminarteilnahme erfolgt per Mail an sebastian.bab@tu-berlin.de.
Basierend auf den zentralen Konzepten der Logik beschäftigen wir uns im Seminar mit der Theorie und den Anwendungen von Modal- und Zeitlogiken, der automatisierten Verifikation modellierter Prozesse mittels Model Checking Verfahren, epistemischen Logiken zur semantischen Erfassung des Wissens von Agenten / Subjekten, sowie intensionalen Logiken zur semantischen Erfassung von Sinnzusammenhängen in natürlicher Sprache. Die intensionalen Logiken sind hierbei Logiken, in deren Semantik explizit der Sinn einer Formeln (die sogenannte Proposition) und nicht allein ihr Wahrheitswert betrachtet und verwendet werden kann.
Termine:
Das Online-Seminar findet in diesem Semester als Block zu den angegebenen Terminen statt. Eine Teilnahme zum Vorbereitungstreffen am 13.04.2021 ist obligatorisch, da hier Themen der Lehrveranstaltung zur Bearbeitung verteilt werden.
Weitere Arbeitstermine zur Vorbereitung während des Semesters finden in Absprache mit den Teilnehmern statt. Bei Bedarf können
Die Termine des Blocks in Absprache mit den Teilnehmern unter Umständen noch angepasst werden.
