Tímový projekt

Tímový projekt - 10 bodov

Projekt vypracujete v rámci skupiny o veľkosti max. 5 členov (ideálne tvorených zo študentov v rámci daného cvičenia).

V rámci projektu spracujete zvolenú tému do formy elaborátu, pričom výsledný dokument bude obsahovať minimálne 10 strán. Projekt bude ukončený záverečnou prezentáciou v 13. týždni.

Témy súvisia s aplikáciou logiky v informatike.

Štruktúra

Pre vypracovanie projektu je potrebné si zvoliť tému a následne vypracovať elaborát:

• Opísať a zhodnotiť aktuálny stav v oblasti.
• Vysvetliť motiváciu za voľbou témy, jej využitie v informatike.
• Zvoliť si konkrétny nástroj/technológiu/jazyk... a vypracovať jednoduchý výučbový tutoriál.
• V rámci tutoriálu (v závislosti od témy) vhodne spracovať nasledované:
  • Vysvetliť teoretický základ.
  • Vysvetliť aktuálny stav problematiky v oblasti výskumu. Aké sú aktuálne výzvy?
  • Proces inštalácie/kompilácie... .
  • Vysvetliť použitie na konkrétnych príkladoch.
  • Zhodnotiť riešenie.
  • Aké ďalšie možnosti existujú (napr. čo ste nevysvetlili z objektívnych dôvodov a pod.).
  • Aké využite v praxi má konkrétny vami zvolený nástroj/technológia/jazyk a pod. Uviesť príklad.
• Záver.
  • Zhodnoťte svoje riešenie.
  • Ako ste postupovali.
  • Rozdelenie tímu a príspevok každého člena.
• Použitá literatúra.
• Prílohy:
  • Zdrojové kódy príkladov
  • Použité datasety.
  • A podobne podľa témy.

Šablóna pre vypracovanie projektu.

Témy

• SAT solvers.
• Satisfiability modulo theories.
• Automated theorem proving.
• Model checking.
  • Symbolic model checking.
  • Bounded model checking.
  • a iné...
• Formal verification.
• Proof assistants.
• Logic programming.
• Vlastná téma (po dohode s cvičiacim).

Forma odovzdania

Záverečná prezentácia projektu bude prebiehať v rámci cvičení v 13. týždni. Čas na prezentáciu maximálne 12 minút plus 3 minúty diskusia.

Po záverečnej prezentácii projektu a hodnotení vypracovaného elaborátu získa každý tím výsledný počet bodov podľa nasledujúceho vzorca: $$tim\_body= n\times x,$$ kde:

• $tim\_body$ - počet bodov, ktorý získal celý tím,
• $n$ - počet členov tímu,
• $x$ - hodnotenie projektu udelené cvičiacim (0 až 10).

Výsledné body za tím si členovia rozdelia na základe dohody.

Vypracované projekty vás poprosím odovzdať do konca 12. týždňa semestra v systéme moodle v kurze LPI.