Témy záverečných prác

Bakalárske záverečné práce

• Školiteľ: Ján Kľuka

  Témy:

  • Efektívne stromové štruktúry (napríklad lexikografické stromy a variácie na tému PATRICIA; B-stromy; digit trees)
  • Editory štruktúrovaných dát (formátovaný text, programy, dôkazy; implementácia v CL, prípadne aj v JavaScripte)
  • Spracovanie XML v CL, XPath a XSLT, JavaScript (porovnanie, vzájomný preklad, implementácia časti XPath v CL)
  • Efektívne rozpoznávanie regulárnych výrazov
  • Rozpoznávanie bezkontextových gramatík
  • Iné témy súvisiace s deklaratívnym programovaním, pokročilými dátovými štruktúrami, syntaktickou analýzou a kompiláciou, webom (po dohode)
  • Vyvážené stromy (červeno-čierne, 2-3) (tému spracoval Matej Vince)

  Niektoré z uvedených tém sú príliš všeobecné alebo zložité pre bakalársku prácu. Upresníme ich po dohode so záujemcami.

  Pri všetkých témach očakávame implementáciu v CL a vypracovanie sprievodného vysvetľujúceho textu pre zverejnenie na webe.

• Školiteľ: Ján Komara

  Témy:

  • Deklaratívne programovanie

    • haldy a prioritné fronty (na téme pracuje Dávid Kováč)
    • algoritmy na stromoch
    • algoritmy na poliach
    • ... (po dohode so školiteľom)

  Pri všetkých témach očakávame implementáciu v CL a vypracovanie sprievodného vysvetľujúceho textu pre zverejnenie na webe.

Magisterské diplomové práce

• Školiteľ: Ján Komara

  Témy:

  • Špecifikácia a verifikácia programov

    • haldy a prioritné fronty
    • algoritmy na stromoch
    • algoritmy na poliach
    • ... (po dohode so školiteľom)

  • Rekurzívne funkcie a teória vypočítateľnosti

    • Turingove stroje (TM): interpreter TM, operácie na TM, ekvivalentnosť TM a μ-rekurzívnosti
    • to isté ako pre TM ale pre iný výpočtový model, napr. pre registrové stroje
    • ... (po dohode so školiteľom)

  Pri všetkých témach očakávame implementáciu v CL a vypracovanie sprievodného vysvetľujúceho textu pre zverejnenie na webe.