FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

F3/F4 bei Farwer (2003)

F3/F4 bei Farwer (2003) 2003-08-18 00:50
Anonymer User
Hat wer dieses Semester eine F-Prüfung bei farwer gemacht?

Fragt er was zu diesen blöden PA-Ausdrücken, die im Skript (F4) völlig unverständlich hingeknallt wurden?

Bzw. kann wer mal hier erzählen, was/ wie er überhaupt fragt?

Re: F3/F4 bei Farwer (2003) 2003-08-18 03:05
Zaphod
Hmm… Soo unverständlich sind die da doch gar nicht.. die werden da auf vielen Seiten erläutert..

Re: F3/F4 bei Farwer (2003) 2003-08-18 03:25
TriPhoenix
die werden da auf vielen Seiten erläutert..

zu vielen [img]http://www.fb18.de/gfx/15.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-18 10:37
Slater
Fragt er was zu diesen blöden PA-Ausdrücken, die im Skript (F4) völlig unverständlich hingeknallt wurden?
die können doch gut dran kommen (bei mir nicht),

grundsätzlicher aufbau mit aktions-präfix, stop, error, nebenläufigkeit, ..
einfaches beispiel,


Bzw. kann wer mal hier erzählen, was/ wie er überhaupt fragt?

http://3773.rapidforum.com/topic=101684049566

hier steht schon ein bisschen,
sonst die normalen sachen wie in allen prüfungsprotokollen

http://www.informatik.uni-hamburg.de/Fachschaft/gprot/

Re: F3/F4 bei Farwer (2003) 2003-08-20 21:09
Christoph
Ich definiere dies Topic mal zu "alle Prüfungen in F3/4" um.

Protokoll der F3/4-Prüfung bei Herrn Valk am 21.08.03

Einstieg: Prozessalgebra
Was kann man damit machen?
Auf Umwegenwegen zu: Synchronisierte Proz. machen
Aktionen mit dem gleichen Namen zur gleichen Zeit.
Allgemein Synchronisation: Wie kann man das machen?
Welche der 3 Arten realisiert ein Semaphor und wie
funktioniert er?
Kann man die P-Operation mit einem Petrinetz modellieren? (Aufmalen)
Wann heißt ein Netz beschränkt?
Wann ist es lebendig?
Malen Sie ein netz, dass nicht beschränkt und nicht lebendig ist.
Formale Definition von Lebendigkeit?

Kleiner Sprung zu Parallelen Algorithmen:
Paralleles Sortieren? Wie heißt der Algortihmus und wie
funktioniert er? Zeit- und Workkomplexität? Kann es einen
besseren parallen Algo. geben (also mit W(n) \in o(n log n) <- ja, klein-o)

Dann zu F3:
Zeitkomplexität einer Turingmaschine?
Zeitbeschränkung? Für die Maschine sowie für einzelne Wörter

P-NP, polynomiell reduzierbar?
Wie läuft es ab, wenn A <=_pol B und ich w \in A ? berechnen will?
Sind alle Probleme in NP entscheidbar? Warum?
Beispiele für Probeleme aus P und NP…
Welches Problem ist nicht entscheidbar, aber aufzählbar?
Wie könnte eine Maschine arbeiten, die das Halteproblem
berechnet (also alle w \in H akzeptiert).
Das lief auf die Universelle Turingmaschine hinaus.

Und das wars glaube ich dann auch schon…
Note: 1.3 *freu*


Re: F3/F4 bei Farwer (2003) 2003-08-20 21:54
Popcorn
Toll Christoph. Ich hatte noch einen kleinen Rest an Hoffnung für 4.0 für morgen. Aber wenn ich mir das Protkoll ansehe?!

Welche der 3 Arten realisiert ein Semaphor und wie
funktioniert er?
Drei? Ich dachte nur Speichersynchronisation


Re: F3/F4 bei Farwer (2003) 2003-08-20 22:00
TriPhoenix
Welche der 3 Arten realisiert ein Semaphor und wie
funktioniert er?
Drei? Ich dachte nur Speichersynchronisation

Ja, deswegen heißt die Frage ja auch, welche der 3 Arten (von Synchronisation) ein Semaphor realisiert [img]http://www.fb18.de/gfx/28.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-20 22:46
Christoph
Danke, Bjorn! Und für morgen dann Dir (und allen anderen natürlich auch) viel Glück!
Wird schon klappen, denn bei Problemen wurde mir immer
recht bald geholfen. Ganz vergessen zu sagen: Die Atmosphäre
war nett und locker. Herrn Valk kann ich empfehlen, falls
jemand so gar keine Ahnung hat, wer von TGI gute Prüfungen macht.


Re: F3/F4 bei Farwer (2003) 2003-08-20 23:59
Anonymer User
Ich wollte doch hier was vom Farwer hörn und nicht von dem F4-Typ…

1.3 ist aber nicht 1.0 oder [img]http://www.fb18.de/gfx/9.gif[/img]

War nur Spaß[img]http://www.fb18.de/gfx/14.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-21 00:00
Anonymer User
Huch, war ja nicht Janßen, ich nehm alles zurück und sowieso

Re: F3/F4 bei Farwer (2003) 2003-08-21 06:44
Popcorn
Wird schon klappen, denn bei Problemen wurde mir immer recht bald geholfen.
Ich hoffe, mir wird bei meinen Problemem auch recht bald geholfen. [img]http://www.fb18.de/gfx/28.gif[/img] Ich glaube, ich spring gleich hintern Zug. Wenn ich diese Prüfung hinter mir habe, mache ich echt drei Kreuze. Mit jeder Minute, die das Ding näher rückt, fallen mir fünf weitere Fragen ein, zu denen ich keine Antwort habe. Jedes Mal der gleiche Mist. [img]http://www.fb18.de/gfx/17.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-21 08:15
Zaphod
Uii.. um 5:44 schon wach.. da scheint aber jemand echt aufgeregt zu sein [img]http://www.fb18.de/gfx/24.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-21 08:51
Azure
Hey, gibt ja doch noch mehr Fruehaufsteher hier [img]http://www.fb18.de/gfx/23.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-21 09:22
Zaphod
Nur heute.. wegen F3/4 [img]http://www.fb18.de/gfx/25.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-21 09:24
Azure
Viel Glueck, Viel Erfolg - und Viel Spass [img]http://www.fb18.de/gfx/28.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-21 09:42
Slater
wird schon schiefgehen [img]http://www.fb18.de/gfx/17.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-21 14:59
Zaphod
2.3 [img]http://www.fb18.de/gfx/23.gif[/img]
Protokoll folgt bald.

Re: F3/F4 bei Farwer (2003) 2003-08-21 15:01
Azure
Glueckwunsch [img]http://www.fb18.de/gfx/14.gif[/img]

Aetsch, erster beim Gratulieren [img]http://www.fb18.de/gfx/28.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-21 15:04
Popcorn
Bei dem langen Fahrweg…
Hey, geil. Bestanden. 3,3. Blöd nur, das mir die gleichen Fragen vorher von Zaphod und Chandler gestellt wurden, die noch mal ihre Zusammenfassungen ein wenig auf mich geworfen haben. Da ging noch alles glatt und spontan. Schade, dass ich in der Prüfung mich einfach nicht fokusieren konnte. Sonst wäre es noch eine 2, geworden. Das wäre dann richtig witzig gewesen. Aber egal. Das teil wollte ich nur irgendwie bestehen, weil nix liegt mir weniger als F. So. Bin glücklich.

Re: F3/F4 bei Farwer (2003) 2003-08-21 15:22
Slater
bravo bravo,
auf zu neuen (irgendwie technischen oder gesellschaftlichen) zielen

Re: F3/F4 bei Farwer (2003) 2003-08-21 18:54
Anonymer User
2,7 bei Farwer, ich war ziemlich gar nicht konzentriert [img]http://www.fb18.de/gfx/27.gif[/img]

Fragen:

- erst F3 oder erst F4?

- Berechenbarkeitsmodelle
- Turingberechenbarkeit
- aufzählbar, entscheidbar
- aufzählbar, abzählbar
- Halteproblem
- NTM in DTM
- Komplexitätsklassen P und NP
- div and conquer -> welche Komplexität

- parallele Algorithmen: Kriterium
- verteilte Algorithem: Nachrichtenkomplexität, was ist da alles mit drinnen
- P(S)-Invarianten -> wo definiert
- T-Invarianten -> wo definiert
- lebendigkeit

Das meiste aus F4 weiß ich nicht mehr, was er gefragt hat, da ist mir dann nämlich der Faden abgerissen…

Re: F3/F4 bei Farwer (2003) 2003-08-22 17:03
Dennis
Hier sind nach dem ich vor 3 Wochen meine Prüfung bestanden habe (3,3) die Fragen:

- Welche Berechenbarkeitsbegriffe kennst Du?
– Was ist die von einer TM akzeptierte Sprache?
— Hält die TM auch bei Worten, die nicht in ihrer akzeptierten Sprache liegen an?
- Was heißt Turingberechenbar?
- Was ist Komplexität?
– Warum ist die Komplexität immer das Minimum?
- Wie simuliert man eine NTM durch eine DTM?
- Welche Arten von Mengen haben wir im Bezug auf TM’s kennengelernt?
– Sind entscheidbare Mengen echte Teilmengen von aufzählbaren Mengen?
- Was ist die Komplexität einer DTM, einer NTM?
- Was ist das Halteproblem?
- Was ist ein Greedy-Algorithmus?
- Was ist branch-and-bound?
- Wie funktioniert devide-and-conquer?
– Welche Komplexität hat Mergesort?
- Was sind parallele Algorithmen?
– Wo werden sie eingesetzt?
— Welche Komplexitätsklassen haben sie?
—- Welche Komplexität hat Simple-Merge-Sort?
- Was sind verteilte Algorithmen?
– Welche Komplexitätsklassen haben sie?
- Was ist Nebenläufigkeit?
– Wie kann man sie realisieren?
- Wie funktioniert ein P/T-Netz?
- Was sind S-Invarianten?
– Wie berechnet man sie?
- Was sind T-Invarianten?
– Wie berechnet man sie?
- Was ist ein lebendiges Netz?
- Was ist ein faires Netz?

Re: F3/F4 bei Farwer (2003) 2003-08-22 17:47
Zaphod
F3/4-Prüfung bei Berndt Farwer
Datum: 22.08.03

Welche Berechenbarkeitsbegriffe gibt es? (Turingmaschine, RAM,..)
Was ist eine TM?
Wann akzeptiert eine TM ein Wort?
Wann ist eine Funktion berechenbar?
Wann ist eine Menge entscheidbar?
Wann ist eine Menge aufzählbar und was ist der Unterschied zur Abzählbarkeit?
Was ist die Turingsche These? Kann man sie beweisen?

Wann ist eine TM t(n)-zeitbeschränkt?
Es gibt da so 2 Komplexitätsklassen, die angeblich ganz wichtig sind… (P, NP)
Sind die gleich?
Wann ist ein Problem NP-vollständig?
Was heißt es, wenn ein Problem polynomiell reduzierbar auf ein anderes ist?

Was ist ein gefärbtes Petrinetz?
Was macht W-Dach ?
Wann ist eine Transition aktiviert?
Irgendwas mit Faltung kam dran
Kann man jedes gefärbte Petrinetz als S/T-Netz modellieren? Wie ist das, wenn die natürlichen Zahlen in C auftauchen?
Was ist eine S-Invariante? Wie berechnet man sie? Wenn ich dir ein Netz (grafisch) und einen Vektor gebe, von dem ich behaupte, dass er eine S-Invariante ist.. wie kannst du das nachprüfen?
Gibt es noch andere Formalismen zum modellieren von Nebenläufigkeit? (PA, PROG)
Was ist der Unterschied zwischen Parallelität und Nebenläufigkeit?
Aufschreiben, wie es als PA-Ausdruck aussieht, wenn 2 Prozesse parallel laufen (P || Q)

Mehrfach kam die Frage "Warum <=> und nicht nur => ?", wenn ich was formal aufgeschrieben hatte.

Das ist nicht ganz vollständig, aber mir fällt gerade nicht mehr ein. Über Petrinetze und TMs hat er noch mehr gefragt.


Atmosphäre: Locker, sehr angenehm
Note: 2.3 (hätte ich gewusst, dass dieser eine Satz "Turingsche These" heißt, sowie den Unterschied zwischen Parallelität und Nebenläufigkeit, dann hätte es sogar 1.7 werden können)

Fazit: Berndt Farwer ist als Prüfer unbedingt empfehlenswert.

Re: F3/F4 bei Farwer (2003) 2003-08-30 11:57
Anonymer User
Wie wäre es, wenn Ihr die Protokolle auf der Fachschaftsseite veröffentlichen würdet? Denn nich alle kennen dieses Forum.

http://www.informatik.uni-hamburg.de/Fachschaft/gprot/

Danke im Voraus
Stefan


Re: F3/F4 bei Farwer (2003) 2003-08-30 13:02
UncleOwen
Ich glaub, inzwischen kennen mehr Leute dieses Forum als die Fachschaftsseiten… (zumindest was die unteren 2 Jahrgaenge betrifft) [img]http://www.fb18.de/gfx/10.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-30 13:14
BoTaS
In so fern wäre ein Link hier her wohl besser… [img]http://www.fb18.de/gfx/23.gif[/img]
Allerdings sollte man sich mal überlegen ob man nicht ein Thema machen sollte wo die Themen mit Protokollen gesammelt werden.

Re: F3/F4 bei Farwer (2003) 2003-08-30 13:15
Zaphod
Wer die Seite mit den Gedächtnisprotokollen findet, wird auf folgende Zeilen stoßen:
In der Bibliothek werden übrigens Protokolle auf Papier angeboten. Die sind zu Teilen dieselben wie hier, zum Teil aber auch andere. Bei http://3773.rapidforum.com kann man in der Regel auch Prüfungserfahrungen nachlesen.

P.S. Wenn dieser gottverdammte Trommler vor der Burse nicht gleich verschwindet, dann schmeiß ich Steine. Wofür hält der sich?? Sonntäglichen Weckdienst? [img]http://www.fb18.de/gfx/20.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-30 19:49
Faleiro
Ach? Vielleicht ist das einer aus der Gruppe, die im 5. oder 6. Stock so gern gegen Mitternacht Laerm macht. Die geraten dabei voellig in Ekstase und klopfen dann offenbar im Takt mit diversen Gegenstaenden gegen Waende, Moebel und Heizungsrohre. Ahhh :-)

Zum Thema: Ich denke auch, dass alle Protokolle bei den offiziellen Fachschaftsseiten gesammelt werden sollten. Das macht am meisten Sinn, zumal es hier etwas umstaendlich ist, einzelne Protokolle aus Laberthreads zu isolieren.

Re: F3/F4 bei Farwer (2003) 2003-08-31 06:15
Tzwoenn
P.S. Wenn dieser gottverdammte Trommler vor der Burse nicht gleich verschwindet, dann schmeiß ich Steine. Wofür hält der sich?? Sonntäglichen Weckdienst? [img]http://www.fb18.de/gfx/20.gif[/img]

Ahh, Monsieur Zaphod lebt sich ein… [img]http://www.fb18.de/gfx/22.gif[/img]

Re: F3/F4 bei Farwer (2003) 2003-08-31 11:21
leif
P.S. Wenn dieser gottverdammte Trommler vor der Burse nicht gleich verschwindet, dann schmeiß ich Steine. Wofür hält der sich?? Sonntäglichen Weckdienst?
Sind sie nicht süß, die lieben Kinder? [img]http://www.fb18.de/gfx/15.gif[/img]

Ach? Vielleicht ist das einer aus der Gruppe, die im 5. oder 6. Stock so gern gegen Mitternacht Laerm macht. Die geraten dabei voellig in Ekstase und klopfen dann offenbar im Takt mit diversen Gegenstaenden gegen Waende, Moebel und Heizungsrohre. Ahhh :-)
Solche komischen Sachen macht im 6. keiner.

Frank ist hier schon lange ausgezogen (und hat außerdem auf der Nordseite gewohnt), Martins Trommel kommt nur noch sehr selten zum Einsatz und die Subwoofer sind die meiste Zeit ebenfalls dezent eingestellt.

Vielleicht waren es ja schon die Vorboten dessen, was wir zukünftig von der neuen Wohnungscrew im 8. zu erwarten haben?

Zum Thema: Ich denke auch, dass alle Protokolle bei den offiziellen Fachschaftsseiten gesammelt werden sollten. Das macht am meisten Sinn, zumal es hier etwas umstaendlich ist, einzelne Protokolle aus Laberthreads zu isolieren.
FULLACK.

Re: F3/F4 bei Farwer (2003) 2003-08-31 12:09
Zaphod
Sind sie nicht süß, die lieben Kinder? [img]http://www.fb18.de/gfx/15.gif[/img]
Nenee.. das war son Typ ca. 40 Jahre alt. Die Kinder hat er nur ausgelacht, als einer von Ihnen meinte, es sei Mittagsruhe..

Re: F3/F4 bei Farwer (2003) 2003-08-31 15:14
leif
Sind sie nicht süß, die lieben Kinder? [img]http://www.fb18.de/gfx/15.gif[/img]
Nenee.. das war son Typ ca. 40 Jahre alt.
Oh, ein Langzeitstudent. [img]http://www.fb18.de/gfx/22.gif[/img]

Ich hatte den Trommler von meiner Ecke aus nicht gesehen, nahm also einfach an, daß es die spielenden Kinder waren.

Vielleicht war es ja auch die Rache eines Nachbarn, der den Studenten mal demonstrieren wollte, wie es ist, wenn man mit Lärm im Schlaf belästigt wird.