Cena rektora za najlepšiu diplomovú prácu

Srdečne blahoželáme nášmu úspešnému absolventovi Michalovi
Mrenovi (študijný program Informačné systémy) k získaniu ceny rektora za najlepšiu diplomovú
prácu. Diplomová práca s názvom Softvérová knižnica na dynamickú tvorbu
rozhodovacích diagramov a pod vedením doc. Ing. Miroslava Kvaššaya, PhD. z Katedry
informatiky sa venuje tvorbe softvérovej knižnice na dynamickú tvorbu
rozhodovacích diagramov. Rozhodovacie diagramy predstavujú grafovú štruktúru,
prostredníctvom ktorej je možné efektívne reprezentovať a manipulovať
booleovskými a viachodnotovými logickými funkciami. Široké uplatnenie
nachádzajú v oblasti logického návrhu a analýzy spoľahlivosti.
V diplomovej práci Michal vytvoril knižnicu v jazyku C++, ktorá
dovoľuje vytvárať a pracovať s rozhodovacími diagramami využívanými
v analýze spoľahlivosti komplexných systémov. Michalovi blahoželáme a prajeme
mu veľa ďalších úspechov.