Jelenlegi hely
Tanszékcsoporti szeminárium
Félév:
2015/16 I. félév
Helyszín:
Árpád tér 2. II. em. 220. sz.
Dátum:
2015-09-15
Időpont:
14:00-15:00
Előadó:
Ésik Zoltán
Cím:
A fixpont műveletek azonosságelmélete
Absztrakt:
A fixpontműveletek a számítástudomány számos ágában játszanak fontos szerepet, mert segítségükkel adjuk meg a rekurzív definíciók szemantikáját. Számos konstrukció és nevezetes tétel bizonyítható a fixpont műveletek azonosságainak felhasználásával. Az előadás betekintést nyújt a fixpontműveletek azonosságelméletébe.