TU Wien:Nichtklassische Logiken VU (Fermüller)

Aus VoWi
Wechseln zu: Navigation, Suche


Daten[Bearbeiten]

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