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.

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

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Distance Learning

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 ausschließlich online, durch Vorlesungsvideos und Live-Feedbacksessions statt.

Die erste Vorlesungseinheit ist ein Live-Event via ZOOM  am 15.März, 14.00 (bis ca 15.30). Der entsprechende Link, so wie alle anderen Details zur LVA, werden im TUWEL-Kurs veröffentlicht werden. (Wenn Sie an diesem Meeting nicht teilnehmen können, aber dennoch diese LVA absolvieren möchten, so informieren Sie mich bitte per Email.)

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.14:00 - 15:3015.03.2021 online [ZOOM-Link in TUWEL]Erste Einheit (Online Meeting)
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
03.03.2021 12:00 28.04.2021 12:00 27.04.2021 12:00

Anmeldemodalitäten

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

Curricula

StudienkennzahlSemesterAnm.Bed.Info
066 931 Logic and Computation

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Kenntnisse in klassischer Aussagen und Prädikatenlogik

Sprache

Englisch