TU Wien:Nichtklassische Logiken VU (Fermüller)

From VoWi
Jump to navigation Jump to search
Diese LVA wurde ersetzt durch TU Wien:Non-classical Logics VU und befindet sich daher nur noch zu historischen Zwecken im VoWi.

Daten[edit]

Lecturers Christian Fermüller
ECTS 3
Department Forschungsbereich Theory and Logic
When winter semester
Language English
Links tiss:185249, Homepage
Zuordnungen
Master Logic and Computation Wahlmodul Logic, Mathematics, and Theoretical Computer Science


Inhalt[edit]

Verschiedene Logiken und ihre Funktionsweise.

Ablauf[edit]

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

Benötigte/Empfehlenswerte Vorkenntnisse[edit]

Logikkenntnisse aus dem Bachelor (Theoretische Informatik und Logik)

Vortrag[edit]

Sehr lebendig und engagiert.

Übungen[edit]

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

Dauer der Zeugnisausstellung[edit]

Ein paar Tage.

Zeitaufwand[edit]

3 ECTS sind in etwa gerechtfertigt.

Unterlagen[edit]

Folien von der Homepage

Tipps[edit]

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

Verbesserungsvorschläge / Kritik[edit]

noch offen

Attachments

This page has no attachments yet but you can add some.