192.085 Non-classical Logics Nichtklassische Logiken
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022S, VU, 2.0h, 3.0EC, wird geblockt abgehalten
TUWEL

LVA-Bewertung

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage unterschiedliche Motive für die Erweiterung, Modifizierung, Verfeinerung und Verallgemeinerung der klassischen Logik zu erkennen. Insbesondere können erfolgreiche Absolventen Begriffe und Techniken der Modallogik anwenden um logisches Schließen zu modellieren, dass sich explizit auf das Wissen oder Fehlen von Wissen von (idealisierten) Agenten bezieht. Sie haben außerdem einen Überblick über die weite und variantenreiche Landschaft nichtklassischer logischer Formalismen.

Inhalt der Lehrveranstaltung

Einführung in die Modallogik unter besonderer Berücksichtigung der Epistemische Logik (Wissenslogiken), intuitionistischer Logik, mehrwertiger logiken, inklusive Fuzzylogiken. Dabei werden eine Reihe einschlägiger Ergebnisse der Bewesitheorie und formalen Semantik (z.B. Korrektheit, Vollständigkeit, und Komplexität von Logiken und Kalkülen) erarbeitet. Darüberhinaus werden auch Grundlagenprobleme der formallogischen Modellierung wichtiger Konzepte der Informatik besprochen.

Methoden

  • mathematische Beweise
  • Ableitungen in logischen Kalkülen
  • formales Modellieren

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Diese Jahr findet die LVA (so weit es die Pandemie-Situation zulässt) wieder in Präsenz statt.

Die erste Vorlesungseinheit ist am 14.März, 13.00 (bis ca 14.30) im Seminarraum FAV EG C (Gödel), Favoritenstr. 9-11, Erdgeschoß (Zugang über den Hof).

Bitte registrieren Sie sich, falls Sie Updates bzw. weitere Information erhalten wollen. (Die TISS-Registration verpflichtet nicht zur tatsächlichen Teilnahme.)

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.13:00 - 15:0014.03.2022 - 27.06.2022Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Non-classical Logics Nichtklassische Logiken - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.14.03.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.21.03.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.28.03.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.04.04.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.25.04.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.02.05.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.09.05.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.16.05.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.23.05.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.30.05.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.13.06.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.20.06.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.27.06.202213:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
LVA wird geblockt abgehalten

Leistungsnachweis

Die Standardform der Beurteilung besteht in der Bewertung von Lösungen zu laufend erteilten Übungsaufgaben. Bei Bedarf kann dies durch Zusatzaufgaben oder eine Online-Prüfung am Semesterende ergänzt werden.

LVA-Anmeldung

Von Bis Abmeldung bis
23.02.2022 12:00 27.04.2022 12:00 26.04.2022 12:00

Anmeldemodalitäten

Die Anmeldung im ist unverbindlich und dient lediglich der Kommunikation via TISS-Nachrichten.

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Kenntnisse in klassischer Aussagen und Prädikatenlogik

Sprache

Englisch