Výuka

Přednášky  probíhají prezenčně dle rozvrhu: Po 12:00–13:50 v posluchárně D2. Znalost problematiky probrané na přednášce je předpokladem plnohodnotné účasti na cvičeních.

Pokud v některém týdnu nemůžete navštívit přednášku, pak je látku možno nastudovat ze skript. Pročtení relevantní části skript po každé přednášce se důrazně doporučuje v každém případě.

Cvičení probíhají prezenčně dle rozvrhu. Ve skupině IB005/01 bude kladen větší důraz na samostatnou práci a budou se občas řešit obtížnější varianty příkladů. Na cvičení prosím choďte připraveni (se znalostí odpřednášené látky). Účast na cvičeních se neeviduje.

Pokud v nějakém týdnu nemůžete navštívit svoji skupinu, navštivte nějakou jinou (je-li kapacita místnosti naplněna, mají přednost studenti zapsaní do skupiny). Pokud získáte pocit, že řešení probíraných příkladů chcete slyšet vícekrát, můžete navštívit více skupin cvičení. Návštěvu jiné skupiny, než do které jste zapsaní, si ideálně předem domluvte s cvičícím cílové skupiny.

Literatura

Výuka se opírá o dva základní texty: skripta a sbírku příkladů.

K dispozici jsou i četné softwarové nástroje.

• Vyhodnocovací služba pro regulární jazyky – Dokáže zkontrolovat, zda je vaše řešení výpočetních příkladů pro regulární jazyky správné. Také dokáže zadané výpočetní příklady přímo řešit.
• Vyhodnocovací služba pro bezkontextové gramatiky – Totéž jako předchozí služba, ale pro příklady na převody bezkontextových gramatik.
• Nástroj pro formální dokazování uzávěrových vlastností – Umožňuje snadno procvičovat formální argumentaci ve webovém prohlížeči.
• Inteligentní simulátor zásobníkového automatu – Simuluje výpočet zadaného PDA na zadaném slově. Ukazuje, zda existuje a kudy vede akceptující výpočet.
• Webový simulátor Turingova stroje – Simuluje výpočet zadaného Turingova stroje na zadaném slově.
• Automata Tutor– Procvičování všech hlavních částí (konečné automatiky a regulární jazyky, PDA a bezkontextové jazyky, TM)

Hodnocení

V předmětu nebude žádná vnitrosemestrální písemka, pouze závěrečná zkoušková písemka a domácí úkoly.

Domácí úkoly

Během semestru bude každý týden zadán domácí úkol. Úkol se bude obvykle skládat ze dvou příkladů a bude za něj možné získat zpravidla 1 bod. Za domácí úkoly bude možné během semestru získat celkem 12 až 13 bodů (z technických důvodů se v každém týdnu nezískává právě jeden bod).

Úkoly jsou rozděleny do 3 bloků vždy po 4 úkolech: 1. – 4. úkol, 5. – 8. úkol, 9. – 12. úkol. Za každý blok bude možné získat alespoň 4 body. Nemusíte odevzdat každý domácí úkol, ale k závěrečné zkoušce mohou přijít pouze studenti, kteří z domácích úkolů získají z každého ze tří bloků alespoň 2 body a celkem alespoň 7 bodů. Body získané z úkolů nad hranici 7 bodů slouží jako tzv. měkké body a mohou vylepšit známku v případě úspěšného absolvování předmětu. 

Nesplnění požadovaných počtů bodů z domácích úkolů (včetně bodů po blocích) vede k hodnocení X, a tedy nemožnosti účastnit se zkoušky, resp. zkouškové písemky pro dosažení zápočtu (vizte níže).

Zkouška

Zkoušková písemka bude písemná, na 100 bodů. Kdo z písemky získá méně než 50 bodů, dostane hodnocení F. Kdo z písemky získá alespoň 50 bodů, tomu se přičtou měkké body z domácích úkolů a známka se určí dle následující tabulky:

počet bodů	hodnocení
90 a více	A
alespoň 80 a méně než 90	B
alespoň 70 a méně než 80	C
alespoň 60 a méně než 70	D
alespoň 50 a méně než 60	E

Zápočet je možné získat po splnění požadovaných počtů bodů z domácích úkolů (včetně bodů po blocích) a po dosažení alespoň 45 bodů ze zkouškové písemky.