FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Theoretische Informatik (HS)

PNL Vorlesung heute (23.11.2006)

PNL Vorlesung heute (23.11.2006) 2006-11-22 12:16
guiltyguy
Hallo, kann mir jemand bitte sagen, wie weit Herr Valk heute gekommen ist?
Hat er schon mit Script Teil 2 angefangen, oder hat er nur die Korrektheit des Alternierbitprotokolls bewiesen?
Danke!

Re: PNL Vorlesung heute (23.11.2006) 2006-11-22 12:47
Anonymer User
Er hat mit dem zweiten Teil angefangen, ist aber nicht sehr weit gekommen. (Nur die Einleitung zu Kapitelk 5 `, wenn ich mich recht entsinne.)

Eddie

Re: PNL Vorlesung heute (23.11.2006) 2006-11-22 18:30
Viprex
richtig. Alternierbit ist durch, dann hat er noch 10 Minuten zu Kapitel 5 geredet. War afaik nur Einleitung und Motivation.

Re: PNL Vorlesung heute (23.11.2006) 2006-11-27 09:39
Anonymer User
ja die tollen beweise:

wir blähen a||b auf verdecken dann a und b und schon haben wir unsere lösung wenn hinter den cVerdecktsymbol(a,b) dann das gleiche steht wie vorher