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
"Once you figure out what a joke everything is, being the comedian's the only thing makes sense."
~The Comedian