TU Wien:Nichtklassische Logiken VU (Fermüller)
Zur Navigation springen
Zur Suche springen
Diese LVA wurde ersetzt durch TU Wien:Non-classical Logics VU und befindet sich daher nur noch zu historischen Zwecken im VoWi.
Daten[Bearbeiten | Quelltext bearbeiten]
Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.
| Vortragende | Christian Fermüller |
|---|---|
| ECTS | 3 |
| Sprache | English |
| Links | tiss:185249 , Homepage |
| Masterstudium Logic and Computation |
Inhalt[Bearbeiten | Quelltext bearbeiten]
Verschiedene Logiken und ihre Funktionsweise.
Ablauf[Bearbeiten | Quelltext bearbeiten]
ca. 10 Vorlesungen mit Hausübungen jeweils bis zur nächsten Einheit
Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]
Logikkenntnisse aus dem Bachelor (Theoretische Informatik und Logik)
Vortrag[Bearbeiten | Quelltext bearbeiten]
Sehr lebendig und engagiert.
Übungen[Bearbeiten | Quelltext 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 | Quelltext bearbeiten]
Ein paar Tage.
Zeitaufwand[Bearbeiten | Quelltext bearbeiten]
3 ECTS sind in etwa gerechtfertigt.
Unterlagen[Bearbeiten | Quelltext bearbeiten]
Folien von der Homepage
Tipps[Bearbeiten | Quelltext bearbeiten]
- Latex-Vorkenntnisse helfen
- Bei Beweisen muss man oft einfach mit den Definitionen arbeiten.
Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]
noch offen