TU Wien:Nichtklassische Logiken VU (Fermüller)

Aus VoWi
Wechseln zu: Navigation, Suche
Diese LVA wurde ersetzt durch TU Wien:Non-classical Logics VU und befindet sich daher nur noch zu historischen Zwecken im VoWi.


Daten[Bearbeiten]

Vortragende Christian Fermüller
ECTS 3
Abteilung Forschungsbereich Theory and Logic
Wann Wintersemester
Sprache English
Links tiss:185249, Homepage
Zuordnungen
Master Logic and Computation Wahlmodul Logic, Mathematics, and Theoretical Computer Science


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

Materialien

Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.