Fachrat Informatik - Forum

Hi,
Advanced Logic ist - soweit ich weiß - reine Masterveranstaltung. Entsprechend wirst du sie, wenn du noch Bachelor studierst, nicht auf der Anmeldungsseite finden. Du müsstest dann soweit ich weiß die Prüfung auf Schein machen und bei der Anmeldung zum Master vorlegen, aber es gibt denke ich genug Leute hier, die dir das ggf. genauer erklären können. Logik und Formale Systeme steht bei mir unter "199 - Grundlagen der Informatik", Unterpunkt "400 - Basismodul Logik und formale Systeme",
Name der Prüfung ist "410 - Logik und formale Systeme".

Solltest du Master studieren: Logik und formale Systeme ist eigentlich reine Bachelorveranstaltung und wird dementsprechend im Master vermutlich nicht auftauchen. Wo dann Advanced Logic zu finden wäre kann ich dir leider nicht sagen.


Hoffe, dass dir das irgendwie hilft.

Mit freundlichen Grüßen,
Anselm

Um die Klausur auf Schein zu schreiben musst du sie nicht im Anmeldesystem anmelden. Allerdings weiß ich auch nicht 100% wie es in dem Fall dann mit der Note aussieht
und ob man sich auf irgendeine andere Art anmelden muss (beim Dozenten).
(Ich gehe einfach mal davon aus, dass du noch im Bachelor bist)

Es ist da anscheinend etwas Verwirrung aufgetreten. Ich hatte es bereits in der Vorlesung gestern angesagt. Wenn sich jemand bei mir in Advanced Logics prüfen lassen will, so muss er sich für "Logik und Komplexität" anmelden. Zwar steht dort Herr Prof. Vollmer als Prüfer, aber das wird noch geändert, ich habe bereits den Zuständigen Bescheid gesagt.

Kurz: Für Advanced Logics meldet man sich im System unter "Logik und Komplexität" an.

Grüße,
Arne Meier