TU Wien:Nichtklassische Logiken VU (Fermüller)
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 | edit source]
| Lecturers | Christian Fermüller |
|---|---|
| ECTS | 3 |
| Department | Forschungsbereich Theory and Logic |
| When | winter semester |
| Language | English |
| Links | tiss:185249, Homepage |
| Master Logic and Computation | Wahlmodul Logic, Mathematics, and Theoretical Computer Science |
Inhalt[edit | edit source]
Verschiedene Logiken und ihre Funktionsweise.
Ablauf[edit | edit source]
ca. 10 Vorlesungen mit Hausübungen jeweils bis zur nächsten Einheit
Benötigte/Empfehlenswerte Vorkenntnisse[edit | edit source]
Logikkenntnisse aus dem Bachelor (Theoretische Informatik und Logik)
Vortrag[edit | edit source]
Sehr lebendig und engagiert.
Übungen[edit | edit source]
Einiges an Aufwand (es werden durch viele logische Ausdrücke schnell mehrere Seiten pro Abgabe), dafür keine Prüfung.
Dauer der Zeugnisausstellung[edit | edit source]
Ein paar Tage.
Zeitaufwand[edit | edit source]
3 ECTS sind in etwa gerechtfertigt.
Unterlagen[edit | edit source]
Folien von der Homepage
Tipps[edit | edit source]
- Latex-Vorkenntnisse helfen
- Bei Beweisen muss man oft einfach mit den Definitionen arbeiten.
Verbesserungsvorschläge / Kritik[edit | edit source]
noch offen