TU Wien:Logik für Wissensrepräsentation UE (Tompits)
- Logik für Wissensrepräsentation UE (Tompits) (TU Wien, 3 Materialien)
- Logik für Wissensrepräsentation VO (Tompits) (TU Wien, 5 Materialien)
- Logik für Wissensrepräsentation VU (Tompits) (TU Wien, 0 Materialien)
Daten[Bearbeiten | Quelltext bearbeiten]
| Vortragende | Hans Tompits |
|---|---|
| ECTS | 3 |
| Alias | Logic for Knowledge Representation (en) |
| Letzte Abhaltung | 2022W |
| Sprache | Deutsch |
| Mattermost | logik-fuer-wissensrepraesentation • Register • Mattermost-Infos |
| Links | tiss:184699 |
| Bachelorstudium Medizinische Informatik | |
| Bachelorstudium Software & Information Engineering |
Inhalt[Bearbeiten | Quelltext bearbeiten]
Vertiefung der gleichnamigen LVA. Diese UE bildet mit der LVA ein Wahlmodul
Ablauf[Bearbeiten | Quelltext bearbeiten]
Es gibt insgesamt ca. 5 Termine: 4x soll ein Arbeitsblatt ausgearbeitet werden und 1x ein Vortrag gehalten werden
WS19: jeweils 2h Termine, Anzahl hängt Dauer der Durcharbeitung der Übungsblätter ab. Am Anfang der Einheit müssen die gemachten Beispiele gekreuzt werden, Tafelleistung 1x Pflicht mit freiwilliger Meldung. Wenn man an einem Termin keine Zeit hat, dann muss man vorab die Ausarbeitungen per E-Mail schicken. Es muss außerdem eine Präsentation (max. 20 min Länge) gehalten werden, 1x 2h Präsentation der Themen + Auswahl, 3 Termine zu je ca. 4h zum Präsentieren.
Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]
Der gleichzeite Besuch der gleichnamigen Vorlesung ist sehr empfehlenswert.
Übungen[Bearbeiten | Quelltext bearbeiten]
Die Übungsblätter umfassen ca. 8-10 Beispiele.
Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]
Kreuzerlliste (min. 50% gekreuzt), eine positive Tafelleistung sowie ein Vortrag. Der Vortrag zählt lt. LVA-Leitung eher mehr zur Note.
Die LVA-Leiter sind nicht sehr streng, was die Tafelleistung angeht.
WS2019[Bearbeiten | Quelltext bearbeiten]
Die Bewertung der Tafelleistung scheint nicht besonders streng zu sein, auch wenn man einmal (oder zweimal) hängt, scheint es nichts zu machen. Jedoch scheint Prof. Tomits sehr viel Wert auf die formalen Definitionen zu legen, welche auch 1:1 so verwendet werden sollten, aber es hat im allgemeinen keinen negativen Einfluss, wenn man diese mal nicht verwendet.
Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]
WS11: Zeugnis kam Ende Februar (letzter Übungstermin war Mitte Jänner) WS19: wie WS11
Zeitaufwand[Bearbeiten | Quelltext bearbeiten]
Je nach Umfang des Übungsblatts würde ich mir schon mind. 1-2 Tage Zeit nehmen. Wenn z.B. Beweise verlangt werden, muss man vielleicht etwas länger überlegen, herumprobieren, im Internet recherchieren, bis man auf eine passable Lösung kommt.
Speziell die Fink-Beispiele bedeuten durchaus einen ziemlichen Aufwand. Es gibt immer ein Beispiel, das ohne Recherche praktisch nicht lösbar ist (lt. Fink selbst), da man auf Ergebnisse kommen müsste, für die andere Experten lang gearbeitet haben. Dazu muss man halt das geeignete Paper finden. WS19: Fink nivht mehr Teil der LVA
Unterlagen[Bearbeiten | Quelltext bearbeiten]
noch offen
Tipps[Bearbeiten | Quelltext bearbeiten]
- Wenn ihr euch die formalen Definitionen des Wahrheitswertes und die Regeln für Beweise gut anschaut vor der Übung, dann kann das fürs Lösen der Übungsbeispiele sehr Hilfreich sein.
Highlights / Lob[Bearbeiten | Quelltext bearbeiten]
noch offen
Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]
noch offen