Formálne jazyky a automaty (2)

Bodované domáce úlohy

Počas semestra bude zverejnených niekoľko sád bodovaných domácich úloh. Dohromady bude možné za tieto úlohy získať najviac 30 bodov, pričom do celkového hodnotenia sa započítajú iba v prípade zisku aspoň 15 bodov.

Riešenia každej zo sád bodovaných domácich úloh bude potrebné do stanoveného termínu odovzdať do krabice pred sekretariátom KI (miestnosť M-254), prípadne osobne na cvičení.

• Momentálne nie sú k dispozícii žiadne úlohy.

Ú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 (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).

• Úlohy na cvičenia č. 2 (PDF, TeX)

Prémiové domáce úlohy

• Momentálne nie sú k dispozícii žiadne úlohy.