TU Wien:Logik und Grundlagen der Mathematik UE UE (Goldstern)
- Logik und Grundlagen der Mathematik UE UE (Goldstern) (TU Wien, 0 Materialien)
- Logik und Grundlagen der Mathematik VO (Goldstern) (TU Wien, 5 Materialien)
Daten[Bearbeiten | Quelltext bearbeiten]
| Vortragende | Martin Goldstern• Jakob Kellner |
|---|---|
| ECTS | 1,5 |
| Alias | Logic and Foundations of Mathematics UE (en) |
| Letzte Abhaltung | 2024W |
| Sprache | Deutsch |
| Mattermost | logik-und-grundlagen-der-mathematik-ue • Register • Mattermost-Infos |
| Links | tiss:104342, eLearning, Homepage |
| Bachelorstudium Informatik | Modul Logik und Grundlagen der Mathematik (Breite Wahl) |
Inhalt[Bearbeiten | Quelltext bearbeiten]
Viel Überschneidung mit LGM VO: Aussagenlogik, Prädikatenlogik, Resolution, Vollständigkeitssatz, berechenbarkeit, (semi-)entscheidbarkeit, my-rekursive funktionen, Sigma0 und Sigma1 Formeln (und Mengen), ZFC-Mengenkehre, Ordinalzahlen, Kardinalzahlen, Kofinalität, Transfinite Rekursion, Auswahlaxiom-Äquivalenzen,
Teilweise gibt es freiwillige Zusatzbeispiele, die über den Stoff in der VO hinausgehen.
Ablauf[Bearbeiten | Quelltext bearbeiten]
Übungen werden von Jakob Kellner abgehalten. Klassische Kreuzerlübung 1h pro Woche. Man kriegt die Bsp 5-7 Tage vor der Übung und kreuzt in Tuwel die gemachten an.
Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]
siehe VO
Vortrag[Bearbeiten | Quelltext bearbeiten]
siehe VO
Übungen[Bearbeiten | Quelltext bearbeiten]
Jakob Kellner ist sehr entspannt, lässt freiwillige Meldungen zu und hilft bei kleinen Problemen. Manchmal ist Martin Goldstern auch anwesend und stellt teilweise gemeine Fragen. Verständnis ist beim Vortragen eines Beispiels wichtig.
Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]
Benotung ist sehr nett. Es empfieht sich möglichst alle Bsp anzukreuzen und zu machen. Dann kriegt man eine 1 oder 2.
Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]
Sehr schnell WS24: weniger als eine Woche
Zeitaufwand[Bearbeiten | Quelltext bearbeiten]
sehr groß, weil es jede Woche einen Übungszettel mit 4-5 Aufgaben gibt. Ich habe für die meisten Übungszettel mind. 1,5 Tage gebraucht.
12h * 14 = 170h
Für nur 1,5 ECTS
Unterlagen[Bearbeiten | Quelltext bearbeiten]
noch offen
Tipps[Bearbeiten | Quelltext bearbeiten]
Unbedingt die LGM VO gleichzeitig besuchen, da wird der Stoff erklärt. Am besten mit anderen Studies wöchentlich die Lösungen für Beispiele austauschen und erklären. Wenn man die Übung mit einer guten Note abgeschlossen hat und brav für die VO Prüfung lernt sollte diese auch kein Problem sein.
Highlights / Lob[Bearbeiten | Quelltext bearbeiten]
noch offen
Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]
noch offen