Výučba v zimnom semestri 2026/27
Prednášky:
- Pondelok, 9:50 – 12:05, miestnosť F1-328
Cvičenia:
- Štvrtok, 13:10 – 14:40, akvárium M-VII (skupina 1)
- Štvrtok, 15:40 – 17:10, akvárium M-X (skupina 2)
- Štvrtok, 16:30 – 18:00, akvárium M-IV (skupina 3)
Oznamy
29. októbra 2026, 17:30
Pribudli zadania tretej sady domácich úloh. Riešenia je potrebné odovzdať do štvrtka 12. novembra 2026, 18:00 do krabice umiestnenej na chodbe pred sekretariátom KI (miestnosť M-254).
29. októbra 2026, 17:30
Prvá písomka bude v piatok 6. novembra 2026 o 13:10 v posluchárni A. Na písomke sa môžu vyskytnúť úlohy zamerané na látku zodpovedajúcu prvým šiestim cvičeniam (a sadám úloh na cvičenia 2 až 7), to znamená predovšetkým:
- Slová, jazyky a operácie na nich; homomorfizmy a inverzné homomorfizmy; úlohy na porovnanie dvojíc jazykov.
- Bezkontextové gramatiky a dokazovanie správnosti ich konštrukcie matematickou indukciou.
- Normálne tvary bezkontextových gramatík (redukovaný, Chomského a „bezepsilonový”) a príslušné štandardné konštrukcie.
- Stromy odvodenia, jednoznačnosť a viacznačnosť bezkontextových gramatík.
- Deterministické a nedeterministické konečné automaty a dokazovanie správnosti ich konštrukcie matematickou indukciou.
- Štandardné konštrukcie pre konečné automaty a regulárne gramatiky: „odepsilonovanie” a determinizácia automatu, konštrukcia regulárnej gramatiky ku konečnému automatu a naopak.
29. októbra 2026, 17:30
Pribudli riešenia vybraných úloh z minulých rokov k tematickým okruhom z prvej polovice semestra.
8. októbra 2026, 18:30
Termíny písomiek boli stanovené nasledovne:
- Prvá písomka v piatok 6. novembra 2026 o 13:10, poslucháreň A.
- Druhá písomka v piatok 27. novembra 2026 o 13:10, poslucháreň F2.
- Opravná písomka v piatok 11. decembra 2026 o 13:10, poslucháreň F2.