Formálne jazyky a automaty (1)

Pravidlá predmetu

Podmienky úspešného absolvovania predmetu:

Aspoň 60 bodov zo semestra.
Najviac dve neospravedlnené neúčasti na cvičeniach.
Tri uznané riešenia úloh na cvičenia.

Nesplnenie niektorej z uvedených podmienok má automaticky za následok hodnotenie FX.

1. Bodovanie

V priebehu semestra je možné získať aspoň 120 bodov. Z toho:

30 bodov za malú písomku (píše sa približne v polovici semestra).
60 bodov za veľkú písomku (píše sa koncom semestra).
30 bodov za bodované domáce úlohy.
Body za domáce úlohy sa do výsledného hodnotenia započítavajú iba v prípade zisku aspoň 15 bodov.
Body za prémiové domáce úlohy a prémiové úlohy v rámci písomiek.

Po skončení výučbovej časti semestra sa stanoví výsledné hodnotenie za cvičenia, pozostávajúce z jednej zo známok D+, D, E a FX, podľa nasledujúceho kľúča:

D+ – 84 bodov a viac (za splnenia požiadaviek na účasť a úlohy na cvičenia).
D – aspoň 72 a menej ako 84 bodov (za splnenia požiadaviek na účasť a úlohy na cvičenia).
E – aspoň 60 a menej ako 72 bodov (za splnenia požiadaviek na účasť a úlohy na cvičenia).
FX – menej ako 60 bodov (alebo nesplnenie požiadaviek na účasť a úlohy na cvičenia).

Študent s hodnotením D, E, resp. FX získava z predmetu danú známku. Študent s hodnotením D+ si buď môže dať zapísať známku D, alebo sa zúčastniť ústnej skúšky, na ktorej je teoreticky možné získať ľubovoľné z hodnotení A–FX, avšak s prihliadnutím na body zo semestra (to napríklad znamená, že študent so 120 bodmi má o poznanie vyššiu šancu na zisk známky A, než študent s 84 bodmi).

2. Neúčasti na cvičeniach a písomkách

Za semester sú povolené najviac dve neospravedlnené neúčasti na cvičeniach. V odôvodnených prípadoch je možné na konci semestra prípadné ďalšie neúčasti ospravedlniť u cvičiaceho.

Riadne termíny obidvoch písomiek sa stanovia tak, aby vyhovovali všetkým študentom. Prípadnú neúčasť na niektorej z písomiek možno ospravedlniť iba v obzvlášť závažných prípadoch. Neospravedlnená neúčasť znamená prepadnutie riadneho termínu danej písomky.

3. Úlohy na cvičenia

Na každé cvičenie okrem úvodného bude približne v týždňovom predstihu zverejnená sada niekoľkých domácich úloh. Za tieto úlohy sa nebudú udeľovať žiadne body; podmienkou úspešného absolvovania predmetu ale sú aspoň tri uznané riešenia takýchto úloh. Na uznanie riešenia úlohy je nutné:

Najneskôr do začiatku príslušného cvičenia si úlohu rezervovať (možno tak urobiť po prihlásení). Každú úlohu si v rámci jednej skupiny môže rezervovať nanajvýš jeden študent a žiaden študent si nemôže na jedno cvičenie rezervovať viac ako jednu úlohu (hoci je odporúčané samostatne riešiť aj ďalšie úlohy).
Odovzdať na cvičení riešenie úlohy v písomnej forme.
Na požiadanie cvičiaceho prezentovať riešenie úlohy pri tabuli (nebudú sa prezentovať všetky úlohy, ale treba počítať s tým, že každý sa počas semestra dostane na rad aspoň raz).

Po skončení cvičenia bude písomne odovzdané riešenie skontrolované cvičiacim a v prípade jeho správnosti bude uznané. V opačnom prípade sa ďalší postup stanoví individuálne (obvykle bude potrebné riešenie prerobiť a odovzdať znova).

Neodovzdanie rezervovanej úlohy na cvičenia alebo odmietnutie jej prezentácie znamená prepadnutie úlohy. V prípade nemožnosti, neschopnosti alebo neochoty splniť vyššie uvedené podmienky je teda potrebné zarezervovanú úlohu v dostatočnom predstihu pred danými cvičeniami odrezervovať. Za neodovzdanie úlohy, ktorá je v deň cvičení rezervovaná, môžu byť v prípade potreby počas semestra zavedené bodové postihy.

Opravné termíny

Každý študent má nárok na dva opravné termíny, pričom na každom si môže opraviť buď jednu z písomiek, alebo ústnu skúšku. Rozhodnutie písať opravnú písomku znamená, že pôvodný výsledok z písomky sa anuluje a do výsledného hodnotenia sa započíta výsledok z opravnej písomky (teda je možné si aj pohoršiť). Body za bodované domáce úlohy sa nahradiť nedajú.

Termíny opravných písomiek budú stanovené koncom výučbovej časti semestra po dohode so študentmi, pričom vypísaný bude jeden prvý opravný a jeden druhý opravný termín. Ospravedlniť neúčasť na opravnom termíne písomky možno iba v závažných prípadoch, pričom neospravedlnená neúčasť znamená prepadnutie termínu.