(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)
Úlohou bakalarskej práce je naštudovať platformu pre volunteer computing (napr. BOINC) a v nej implementovať distribuovaný výpočet stabilných modelov logického programu. To, ako výpočet distribuovať sa dozviete.