Prüfungsprotokolle

Prüfungsprotokolle lesen

Prüfer:

Fach:

Protokolle (2 gefunden)

Nr.	Prüfer	Fach
1067	Schweikardt, Nicole Prof. Dr.	Ausgewählte Kapitel der Logik: Lokalität

Protokoll

= Datum der Prüfung
SoSe2026
= Benötigte Lernzeit als Empfehlung
2 Wochen + (an allen Uebungen teilgenommen, war schon im Stoff drin)
= Verwendete Materialien (Bücher, Skripte etc...)
Skript 
= "Atmosphäre" der Prüfung / Verhalten der Beisitzer
Angenehm

= Prüfungsfragen

Was sagt der Satz von Gaifman?
- Struktur von allem was in GNF vorkommt wissen (inkl. Basis-lok-satz)!
- Def. lokale Formel!
- Beispiel angeben von formel die nicht lokal ist
- beweise, dass sie nicht lokal ist!

Wie lang kann die GNF von einer Formel werden?
-> gibt saetze phi_h der Laenge O(h) wo GNF mind. Laenge Tower(h) hat.

Wie sehen diese Saetze phi_h aus? 
Wie erreicht man, dass die Saezte O(h) lang sind?
-> gehe darauf ein wie man erreicht, dass die eq_h[x,y] O(h) Lang sind, sehr grob

Wie beweist man nun die Tower(h) Schranke fuer die GNF?
- gebe die Strukturen die man fuer das Gegenbeispiel braucht an
- und grob den beweis

Die phi_h waren in FO[s], wie sieht es mit FO+MOD[s] aus?
(war kein beweis voller gefragt, nur das der Beweis sich nicht trivial uebertragen laesst!)

Was war das Problem COUNT_phi,d?
Wie schnell kann man das Problem loessen?
Erklaere den Algorithmus!
- grob die Technik erklaert, wie man reduziert auf rainbow-colored indep set
- weichtig dabei das es in Lin'Zeit geht;
- wichtige Tricks die man erklaeren koennen muss:
       - r-Typen tau immer in Zusammenhangskomponenten (CCs) zerlegen
       - kann R  finden s.d. nur in N_R(a1) nach den tupel (a1,...,) suchen muss die CC erfuellen, anzahl Knoten in N_R haengt nur von r,d,s ab und nicht |Universum|
- Warum ist grad vom Rainbow colored indep. set problem beschränkt?

Wie lösst man das Rainbow Colored Indep. Set problem (mit beschränktem Grad) effizient? 
- Inklusion/Exklusion grob erklären
- Kommt nochmal ein Zusammenhangskomponenten + N_R trick vor. 



= Note (Optional)
1.0
= Fazit (Gute/schlechte Prüfung , angemessene Benotung etc...)
Supi

Nr.	Prüfer	Fach
1068	Schweikardt, Nicole Prof. Dr.	Ausgewählte Kapitel der Logik: Lokalität

Protokoll

= Datum der Prüfung 23.07.26
= Benötigte Lernzeit als Empfehlung | Nach aktivem Vorlesungs- und Übungsbesuch 6-7 richtige Lerntage.
= Verwendete Materialien (Bücher, Skripte etc...) | Skript, Teilweise auch Skripte aus anderen Vorlesungen.
= "Atmosphäre" der Prüfung / Verhalten der Beisitzer | Prof. Schweikardt will, dass man eine gute Leistung bringt, hilft einem, gerade wenn sie das Gefühl hat, dass man eigentlich noch mehr kann.
= Prüfungsfragen | (kann sein, dass ich hier etwas vergesse) Erste Frage über Gaifman-Lokalität: Genaue Definition, Wozu ist das gut?.
Dann weiter mit Gaifman-Normalform: Was sagt der Satz von Gaifman, wie ist eine Formel in GNF aufgebaut? Warum ist eine Formel in Gaifman-Normalform Gaifman-Lokal?

Dann ging es weiter mit Algorithmischen Metatheoremen. Was können wir damit zeigen? (Skript SS26 Satz 5.3). Wie macht man das?
Nachhaken bei Stichwörtern: (r, 2kr) Nachbarschaftsüberdeckung: Was soll das sein? Berechnung des r-Kerns; Lazy Array Initialization. Hier war ich mir recht unsicher und musste mir das ganze selbst nochmal herleiten, habe den Raum/Zeit dafür bekommen und auch Stichworte, hab es dann aber auch beantworten können.
Was hilft uns lokal beschränkte Baumweite?
Was besagt der Satz von Courcelle?

Dann ging es noch um Algorithmische Metatheoreme auf Grad-beschränkten Klassen von Strukturen, aber weniger gründlich. Auswertung eines HNF-Satz, Theorem 1.19. Habe die Berechnung für 'Count' und 'Enumerate' bis zu der Reduktion auf RCIS angegeben, aber mehr war nicht gefragt.

Abschlussfrage war Ausblick für Count und Enumerate für Gaifman Normalform, da das aber kein Vorlesungsinhalt ist nur spontane Gedanken dazu.

Abschließende Notiz: Keine Beispiele oder Konstruktionen waren gefordert, wahrscheinlich eher für wenn man nicht auf 1.0-Kurs ist.

= Note (Optional) | 1,0
= Fazit (Gute/schlechte Prüfung , angemessene Benotung etc...) | Prüfung war sehr fair, einige Themen vertieft, andere gar nicht behandelt. Meinem Gefühl direkt nach der Prüfung nach hätte auch es 1,3 sein können, Note also mehr als Fair.