Thesis supervisor: Zoltán Ésik
Location of studies (in Hungarian): SZTE Abbreviation of location of studies: SZTE
Description of the research topic:
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.
Number of students who can be accepted: 1
Deadline for application: 2016-09-30
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).