TU Wien:Mathematische Logik 1 VU (Ciabattoni)
Daten[edit | edit source]
Lecturers | Agata Ciabattoni |
---|---|
ECTS | 3 |
Department | Forschungsbereich Theory and Logic |
Language | English |
Links | Homepage |
Master Logic and Computation | Pflichtmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME |
Master Technische Informatik | Wahlmodul Unbekannt oder "Prä-Modul-Ära" - EDIT ME |
Inhalt[edit | edit source]
- Klassische Logik 0. und 1. Stufe (Aussagen- und Prädikatenlogik)
- Nichtklassische Logiken (Lukasiewicz logic, Intuitionistic logic)
- Diverse wichtige Theoreme in oben genannten Logiken
- Beweistheorie
- Kalküle (Natural Deduction, Sequentialkalkül)
Je nachdem wie weit man im Studium ist hat man vieles aus dem Inhalt schon in der einen oder anderen Form gehört. Es wird aber doch oft weiter in die Tiefe gegangen als das in vorhergehenden LVAs der Fall war, so dass ein guter Mix aus Wiederholung und Vertiefung entsteht.
Ablauf[edit | edit source]
Es gibt eine wöchentliche Vorlesung zu je 1,5 Stunden. Um eine Note zu bekommen muss man laut Vorbesprechung im WS08/09 wahlweise eine schriftliche Prüfung absolvieren oder ein Paper aus dem Bereich der Logik ausarbeiten. Kreuzerlübungen gibt es keine.
Benötigte/Empfehlenswerte Vorkenntnisse[edit | edit source]
Den Logikteil aus Theoretische Informatik und Logik sollte beherrscht werden. Mathematische Logik 1 ist zwar nach Aussage der Vortragen in sich abgeschlossen, und es werden auch die Basiskonzepte der klassischen Logik vorgetragen, wer aber wirklich noch nie damit gearbeitet hat tut sich meiner Meinung nach schwer mit dem Tempo mitzuhalten.
Vortrag[edit | edit source]
Der Vortrag ist englisch. Prof. Ciabattoni verwendet Overhead-Folien und schreibt sehr viel an der Tafel. Sie trägt überwiegend sehr gut verständlich vor und verdeutlicht die Konzepte mit zahlreichen Beispielen. Lediglich hin und wieder finde ich das Tempo etwas zu hoch um gleichzeitig mitschreiben und mitdenken zu können.
Übungen[edit | edit source]
gab es im WS 2010 keine
Prüfung, Benotung[edit | edit source]
Schriftliche Prüfung am ende des Semesters. Alle Unterlagen erlaubt!
WS2010: Punkte wurden noch am selben Tag (!) per E-Mail mitgeteilt, Fragen dazu sofort beantwortet.
Zeitaufwand[edit | edit source]
Für die schriftliche Prüfung: Kripkemodelle, Intuitionistische Logik, PL0 und PL1 für Aussagenlogik, Sequentialkalkül lernen. Nicht allzu hoch, allerdings können zur Prüfung auch ungemütliche Formeln zur Intuitionistische Logik kommen (siehe Materialen). Man muss aber keine Beweise lernen.
Unterlagen[edit | edit source]
Jede Menge Links auf der LVA-HP
Tipps[edit | edit source]
- Die Vorlesung ist sehr interessant und bringt interessante Beweise im Detail die man sonst selten sieht
- Für die schriftliche Prüfung braucht man eigentlich nur ein Grundverständnis zu den behandelten Themen, es wurden keine Beweise verlangt
Verbesserungsvorschläge / Kritik[edit | edit source]
noch offen