Aprilis 17-en 10-kor a szobamban kombinatorika szeminarium.
Az eloadas:

Hajnal Peter: Algebrai bizonyitasi semak es bonyolultsaguk

Az eloadasban tobbvaltozos polinom egyenletrendszerek
megoldasarol lesz szo. Pontosabban az erdekel, hogy az
egyenletrendszer megoldhatatlansaga hogyan bizonyithato.
Erre ad modszert Hilbert nevezetes Nullstellensatz-a,
az algebrai geometria sarokkove. Az eloadas foeredmenye
Razborov egy tetelenek bizonyitasa lenna, amely
also becslest ad egy specialis egyenletrendszer
megoldhatatlansaganak bizonyitasara. A bizonyitas nagyon
erdekes es otletes, algebrai es kombinatorikus otleteket
igenyel.

Minden erdeklodot szeretettel varunk,

Peter