Formálne jazyky a automaty
(letný semester 2022/2023)

Bodované domáce úlohy

V priebehu semestra bude vypísaných niekoľko sád bodovaných domácich úloh (typicky päť sád po dvoch úlohách), za ktoré bude možné získať dohromady 30 bodov. Z týchto 30 bodov je potrebné získať aspoň 15, keďže v opačnom prípade sa body za domáce úlohy nezapočítajú do výsledného bodového zisku, čo môže znamenať pomerne závažnú komplikáciu.

Každú z bodovaných domácich úloh je potrebné do príslušného termínu písomne vypracovať a odovzdať do krabice umiestnenej na chodbe pred sekretariátom KI (miestnosť M-254). Riešenia domácich úloh by mali vykazovať aspoň základné formálne znaky „slušného matematického textu“.

Úlohy na cvičenia

Spravidla na každé cvičenie (okrem úvodného) bude v približne týždennom predstihu vypísaná sada úloh určená na preriešenie v rámci daného cvičenia. Podmienkou úspešného absolvovania predmetu je dosiahnutie uznania aspoň troch riešení takýchto úloh a ústna prezentácia aspoň jedného z nich. Na uznanie riešenia je potrebné:

• Najneskôr do začiatku cvičenia si úlohu predbežne rezervovať (možno tak urobiť po prihlásení sa do systému na tejto stránke). Jednu úlohu si môže v jednej skupine rezervovať najviac jeden študent. Podobne, jeden študent si môže na jedno cvičenie rezervovať najviac jednu úlohu (je však odporúčané vo vlastnom záujme samostatne riešiť aj ďalšie úlohy).
• Odovzdať na cvičení správne riešenie v písomnej forme. O správnosti odovzdaného riešenia, a teda aj o jeho uznaní, rozhoduje cvičiaci po skončení cvičenia, pričom zoznam uznaných riešení bude k dispozícii na stránke. V prípade neuznaného riešenia sa ďalší postup stanovuje individuálne.
• Byť ochotný na výzvu cvičiaceho riešenie ústne prezentovať pri tabuli.

Tu možno nájsť aktuálny stav rezervácií.