TU Wien:Nichtklassische Logiken VU (Fermüller)

Aus VoWi
Wechseln zu: Navigation, Suche

Daten[Bearbeiten]

Vortragende Fermüller
ECTS 3
Abteilung Forschungsbereich Theory and Logic
Wann Wintersemester
Links TISS, Homepage
Zuordnungen
M. Logic and Computation Wahlmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME

Mattermost: Channel "nichtklassische-logiken" Team invite & account creation link Mattermost-Infos

Inhalt[Bearbeiten]

Verschiedene Logiken und ihre Funktionsweise.

Ablauf[Bearbeiten]

ca. 10 Vorlesungen mit Hausübungen jeweils bis zur nächsten Einheit

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten]

Logikkenntnisse aus dem Bachelor (Theoretische Informatik und Logik)

Vortrag[Bearbeiten]

Sehr lebendig und engagiert.

Übungen[Bearbeiten]

Einiges an Aufwand (es werden durch viele logische Ausdrücke schnell mehrere Seiten pro Abgabe), dafür keine Prüfung.

Dauer der Zeugnisausstellung[Bearbeiten]

Ein paar Tage.

Zeitaufwand[Bearbeiten]

3 ECTS sind in etwa gerechtfertigt.

Unterlagen[Bearbeiten]

Folien von der Homepage

Tipps[Bearbeiten]

  • Latex-Vorkenntnisse helfen
  • Bei Beweisen muss man oft einfach mit den Definitionen arbeiten.

Verbesserungsvorschläge / Kritik[Bearbeiten]

noch offen