TU Wien:Higher-order Logic VU (Leitsch)

Daten

Vortragende	Alexander Leitsch• Martin Riener
ECTS	3,0
Letzte Abhaltung	2024W
Sprache	English
Mattermost	higher-order-logic • Register • Mattermost-Infos
Links	tiss:192040

Zuordnungen

Masterstudium Logic and Computation

Modul Logic, Mathematics, and Theoretical Computer Science (Gebundenes Wahlfach)

Inhalt

noch offen, bitte nicht von TISS/u:find oder Homepage kopieren, sondern aus Studierendensicht beschreiben.

Ablauf

Prof Leitsch trägt im Monolog den Stoff aus seinen Folien vor und rechnet hin und wieder Beispiele an der Tafel vor. Zusätzlich zum Foliensatz gibt es allerdings ein ausführliches Skriptum, in welchem jedes einzelne Tafelbeispiel sauber und vollständig dokumentiert ist. Dementsprechend braucht man bei den Beispielen nicht mitzuschreiben, sondern kann sich aufs Verständnis konzentrieren, was auch von Herrn Leitsch so empfohlen wurde.

Benötigte/Empfehlenswerte Vorkenntnisse

Es wird de facto erwartet, den Kurs Logic and Computability VU bereits abgeschlossen zu haben. Zwar wird vieles noch einmal neu erklärt, jedoch ist man ohne Vorkenntnisse zu First-order Logic, Sequent Calculus (Calculus LK) und diversen Theoremen aus dem erwähnten Fach schnell etwas überfordert. (Anmerkung: geschrieben aus der Sicht von jemandem, der L&C parallel zu Higher-order logic gemacht hat)

Prof. Leitsch ist aber wirklich sehr bemüht, auf Fragen von Studenten einzugehen und alles möglichst verständlich zu erklären.

Vortrag

Prof. Leitsch geht meistens in einem angenehmen Tempo durch den Stoff (manchmal etwas zügig, gerade bei neuen Notationen, wo es sich oft lohnt, ihn mit Fragen etwas auszubremsen). Er bemüht sich aber generell sehr, das Verständnis der Studenten zu fördern. Tafelbeispiele müssen wie erwähnt nicht mitgeschrieben werden (stehen fast 1:1 so im Skript).

Übungen

Eine Handvoll Übungsblätter, die für üblich einen überschaulichen Umfang haben.

Außerdem sind die Übungsblätter freiwillig. In den Übungsstunden (die alle paar Wochen statt der Vorlesung stattfinden), rechnen freiwillige Studenten die Beispiele vor. Meldet sich niemand, rechnet Prof. Leitsch das Beispiel selbst vor. Ihm ist wichtig, dass die Übungsstunden wirklich keine Prüfungssituation sind, sondern eine Möglichkeit, um aus Fehlern zu lernen.

Generell eine sehr angenehme Atmosphäre in den Übungsstunden.

Prüfung, Benotung

Die komplette Note hängt von der mündlichen Prüfung am Ende ab. Termin nach Vereinbarung.

Prof. Leitsch nennt dies aber nur ungern Prüfung sondern eher "Fachgespräch" und beginnt mit einfachen Fragen, auf denen er dann kontinuierlich mit schwierigeren Fragen aufbaut. Sein Ziel sei, dass man auch während der Prüfung noch Neues dazulernen kann, daher sagt er an einem bestimmten Punkt "So, damit haben Sie den Einser. Alles was jetzt kommt, sind Zusatzfragen.".

Dauer der Zeugnisausstellung

noch offen

Zeitaufwand

noch offen

Unterlagen

noch offen

Tipps

noch offen

Highlights / Lob

Super fand ich, dass alle Tafelbeispiele ohne Abstriche im Skriptum dokumentiert sind. Daher musste man nie mitschreiben (außer kleine Notizen), was beim Verständnis erheblich geholfen hat.

Verbesserungsvorschläge / Kritik

Vorlesungsunterlagen wurden jede Woche per E-Mail geschickt, was oft etwas klobig ist. Es wäre schön, wenn man den Kurs auf denselben Stand wie nahezu alle anderen Kurse bringen könnte -> Kurs im TUWEL anlegen. Wenn dort auch Abgaben für die Übungen eingerichtet werden, bringt auch das mehr Übersichtlichkeit für die Studierenden, die für üblich halt doch einige Kurse gleichzeitig machen.

Materialien

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