Formálne jazyky a automaty (1)

Pravidlá predmetu

Podmienky úspešného absolvovania predmetu:

1. Získať aspoň 50 bodov dohromady za semester a za písomnú časť skúšky (zo 100 bodov celkom).
2. Získať aspoň 15 bodov za druhú písomku (z 20 bodov celkom).
3. Dodržať limit najviac dvoch neospravedlnených neúčastí na cvičeniach.
4. Vyriešiť tri úlohy na cvičenia a dosiahnuť ich uznanie (detaily nižšie).
5. Dosiahnuť hodnotenie aspoň 50% z každej spomedzi štyroch sád domácich úloh.

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

Bodovanie a známkovanie

Celkovo je na predmete možné získať aspoň 100 bodov. Z toho:

• 20 bodov za prvú písomku (píše sa približne po polovici semestra).
• 20 bodov za druhú písomku (píše sa približne po troch štvrtinách semestra).
• 60 bodov za písomnú časť skúšky.

Navyše bude možné získať bonusové body napríklad za vynikajúce riešenie domácich úloh (detaily nižšie) a za riešenie prémiových úloh v rámci prvej písomky a písomnej časti skúšky. Po písomnej časti skúšky sa stanoví hodnotenie pozostávajúce z jednej zo známok D+, D, E a FX podľa nasledujúceho kľúča:

• D+ – 70 bodov a viac (za splnenia požiadaviek na účasť, úlohy na cvičenia a domáce úlohy).
• D – aspoň 60 a menej ako 70 bodov (za splnenia požiadaviek na účasť, úlohy na cvičenia a domáce úlohy).
• E – aspoň 50 a menej ako 60 bodov (za splnenia požiadaviek na účasť, úlohy na cvičenia a domáce úlohy).
• FX – menej ako 50 bodov (alebo nesplnenie požiadaviek na účasť, úlohy na cvičenia a domáce úlohy).

Š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 časti 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 a písomnej časti (to napríklad znamená, že študent so 100 bodmi má o poznanie vyššiu šancu na zisk známky A, než študent so 70 bodmi).

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.

Termíny obidvoch písomiek sa stanovia tak, aby vyhovovali všetkým študentom. Neúčasť tak bude možné ospravedlniť iba v obzvlášť závažných prípadoch po individuálnom posúdení vyučujúcich; na ospravedlnenie neúčasti na písomke nikomu a priori nevzniká nárok.

Ú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 ú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.

Domáce úlohy

V priebehu semestra budú zverejnené štyri sady domácich úloh. Tieto úlohy budú hodnotené percentuálne a nezávisle od bodového hodnotenia za semester. Na úspešné absolvovanie predmetu je nutné získať z každej jednotlivej sady domácich úloh hodnotenie aspoň 50%.

Koncom výučbovej časti semestra bude možnosť opravného odovzdania jednej ľubovoľne zvolenej sady domácich úloh.

Študenti s priemerným hodnotením domácich úloh dosahujúcim aspoň 90% (po opravných odovzdaniach) získajú ako bonus 5 bodov do celkového hodnotenia.

Skúšky

Počas skúškového obdobia budú vypísané minimálne tri termíny písomnej časti skúšky (jeden riadny, dva opravné). Študenti, ktorí po písomnej časti skúšky získajú hodnotenie D+, sa budú môcť prihlásiť na termín ústnej časti skúšky. Na písomnú a ústnu časť skúšky sa prihlasuje nezávisle. V prípade účasti na ústnej časti skúšky už nie je možné ďalej opravovať písomnú časť.

Opravné písomky a opravné termíny skúšok

Koncom výučbovej časti semestra bude možné opraviť si buď prvú, alebo druhú písomku (nie však obidve tieto písomky zároveň). 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 (je teda možné si aj pohoršiť).

Všetci študenti majú nárok na dva opravné termíny skúšky (v súčte opravných pokusov na písomnej a ústnej časti).