témavezető: Ésik Zoltán
helyszín (magyar oldal): SZTE helyszín rövidítés: SZTE
A kutatási téma leírása:
Jól ismert az, hogy a számítástudományban mindenhol fellelhető rekurzív definíciók fixpont egyenletekhez vezetnek. Az utóbbi évtizedekben sikerült igazolni azt, hogy a számítástudomány számos alapvető eredménye csak a fixpont művelet néhány azonosságán múlik. Kleene nevezetes tétele mellett (amely a reguláris és a véges automatákkal felismerhető nyelvek ekvivalenciáját mondja ki) ilyen pld. Parikh nevezetes tétele a környezetfüggetlen nyelvekre, a Floyd-Hoare logika helyessége és relatív teljessége, stb. A fixed pont műveletek teljes axiomatizálását adják az iterációs elméletek. A kitűzött feladat az iterációs elméletek alkalmazása a számítástudomány különböző
területeinek axiomatikus tárgyalásában.
felvehető hallgatók száma: 1
Jelentkezési határidő: 2014-05-15
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
Bejelentkezés
