Informace ke kursu "Teoretická informatika" ("Theoretical Computer Science") (LS 2014/2015)

Přednášející: prof. Petr Jančar (EA414), Petr.Jancar@vsb.cz ,
cvičící: doc. Petr Šaloun Petr.Saloun@vsb.cz , doc. Zdeněk Sawa Zdenek.Sawa@vsb.cz , Ing. Martin Kot Martin.Kot@vsb.cz , Ing. Ondřej Meca Ondrej.Meca@vsb.cz

KOMBINOVANÉ STUDIUM:
Vede Ing. Martin Kot, PhD.
Požadavky na studenty kombinované formy jsou v zásadě stejné jako požadavky na studenty prezenční formy studia; níže uvedené informace jsou tedy v mnohém relevantní i pro ně. Pro specifika týkající se studentů v kombinované formě studia je zřízena tato stránka:

• komb-studium.htm .

Aktuální důležité informace (v obráceném chronologickém pořadí):

• 24.6.2015. Opravené zkouškové písemky z 25.6. budou k nahlédnutí 29.6. v době 13.15 - 14.00 na EB430 . (Připomínáme, že další zkouškové termíny už v tomto zkouškovém období nebudou.)
• 11.6.2015. Opravené zkouškové písemky z 11.6. budou k nahlédnutí 12.6. v době 14.30 - 15.15 na EB430 .
• 29.5.2015. Opravené zkouškové písemky z 26.5. budou k nahlédnutí 1.6. v době 13.15 - 14.00 na EB430 .
• 19.5.2015. Možnost opravy referátů (jak pro ty, co úkol nesplnili, tak pro ty, kteří byli případně v řádném termínu omluveni) bude před prvním termínem zkoušky, konkrétně 26.5. v době 13.30 - 15.00 v kancelářích EA413 a EA414.
• 5.5.2015. V Edisonu jsou již vypsány termíny zkoušky ve zkouškovém období. Zapište se vždy co nejdříve, nejpozději během předchozího dne. Jiné než (tři) vypsané termíny nebudou.
• 5.5.2015. V Edisonu je vypsán náhradní termín zápočtové písemky pro ty, kteří byli řádně omluveni u řádného termínu. Zároveň se jedná i o opravný termín pro ty, kteří nedosáhli 8 bodů. (Jak je psáno v podmínkách níže, u opravného termínu je nutné získat alespoň 12 bodů, ale zapíšeme jen 8 bodů.) Zapište se v Edisonu, termín je 12.5.2015 ve 14.15 na C3.
• 5.5.2015. Referáty budou prověřovány na cvičeních v zápočtovém týdnu 11.-15.5.2015. Studenti, kteří půjdou v červnu 2015 k SZZ, mají možnost splnit úkol referát na cvičeních v pondělí 11.5. (později) odpoledne (i když jejich řádné cvičení je v týdnu později). Výhradně pro tyto studenty (tedy pro ty, kteří se hlásí k SZZ v 6/2015) bude vypsán speciální zkouškový termín, a sice ve středu 13.5.2015 v 15 hod. na C1 (kruhová budova). Studenti se na termín v Edisonu nepřihlašují, ale po odevzdání diplomových prací se tito studenti ohlásí mailem pí Geletičové, která nám oprávněnost účasti na uvedených mimořádných termínech potvrdí.
• 12.3.2015. Zápočtová písemka proběhne 16.4.2015 (viz Průběh výuky). Bude nutný zápis v Edisonu. Konkrétní termíny k zápisu posluchačů budou vypsány v Edisonu do konce března.
• 6.2.2015. Kromě základní každotýdenní pondělní přednášky se každý sudý týden koná čtvrteční přednáška
  P1/01 Sudý Čt 12:30 - 14:00 2 POREC2
  Je to rozšiřující přednáška určená pro studenty s hlubším zájmem, kteří také aspirují na lepší hodnocení v předmětu. První se tedy koná v 8. týdnu roku, tedy 19.2.2015.

Studijní opora

• Základní studijní text, P. Jančar: Teoretická informatika, VŠB-TU Ostrava 2007 (2010) je zde uložen jako pdf-soubor (rozsah 336 stran):
  • ti-text.2010-01-20.pdf
• Animace, které by vám měly pomoci osvětlit některé části textu, byste měli nalézt zde:
  • http://www.cs.vsb.cz/kot/animace.php.

Požadavky k zápočtu a způsob zkoušky:

• 1. Na přednášce určené (s předstihem) níže v části "Průběh výuky" se bude psát 45-minutová zápočtová písemka. Formálně bude rozdělena na dvě části, z každé z nich je možné získat až 12 bodů (celkově tedy 24 bodů). Nutnou podmínkou k získání zápočtu je zisk celkově alespoň 8 bodů.
     Je zde jen jeden pokus, který v zásadě není možné opakovat. Nemůže-li se někdo z vážného důvodu zúčastnit, musí se bez zbytečného prodlení (což většinou znamená předem) omluvit [např. cvičícímu emailem] a posléze onen vážný důvod doložit. Pro tyto případy by byl uspořádán výjimečný náhradní termín. Pro ty, kteří by nedosáhli 8 bodů, ale např. kvalitním referátem (viz níže) by doložili, že jsou schopni výpadek dohnat, bychom pravděpodobně uspořádali na konci semestru opravný termín, při němž by bylo nutné získat alespoň 12 bodů, ale zapsali bychom jen 8 bodů.
     Ukázka (struktury) zápočtové písemky je zde: 2010-ti-zap-uk.pdf . (Je možné, že dojde ke změnám, ale ne zásadního rázu.)
  2. Další nezbytnou podmínkou k získání zápočtu je úspěšné zvládnutí referátu (v opačném případě zápočet udělen nebude). Zadání se zde objeví do poloviny března a posluchačům bude číslo referátu přiděleno emailem; tento email nepotvrzujte, jen ten, kdo do 15.3. žádný email se zadáním nebude mít, nechť se ohlásí (emailem) cvičícímu. Rychlé prověření podkladů k referátu s otestováním skutečného porozumění proběhne v termínu ke konci semestru (bude určen v Průběhu výuky níže). Zisk bodů za referát je 5-11. Ukáže-li se, že referující tématu ve skutečnosti nerozumí a/nebo nemá rozumné podklady pro 15 minutový referát, úkol nesplní a na zápočet nemá nárok. (Je možné, že dáme v takovém případě možnost mimořádné opravy, pak už ale jen za 1 bod.)
     Zadání referátů: (budou přiděleny automaticky, dostanete email do 15.3.) 2015-referaty.pdf .
• Při nesplnění některé nutné podmínky student zápočet nedostane. (Za udělený zápočet tedy student získá minimálně 8 + 1 = 9 bodů, maximálně pak 24 + 11 = 35 bodů.)

Zkouška: písemná (90-minutová), podle potřeby doplněná ústní částí:
(max. zisk 65 bodů ; minimální zisk k uznanému absolvování: 25 bodů)
Ke zkoušce je možné jít jen po splnění požadavků k zápočtu.
Ukázka dávající přibližnou představu o závěrečné zkoušce je zde: 2008-ti-zk-uk.pdf

Možnost konzultací:

Průběh výuky (v LS 2014/15):

• Zde budou postupně přibývat informace o průběhu výuky po jednotlivých týdnech. Budu se snažit dávat plán dopředu, jak obsah přednášky, tak příklady na cvičení. Uvedené informace by měly být užitečné i pro studenty kombinovaného studia (pro získání rámcového přehledu). (Odkazujeme se k výše uvedenému studijnímu textu, pokud není uvedeno jinak.)
  Kdo si chce dopředu udělat rámcovou představu o celém průběhu kurzu, může se podívat např. na loňský průběh: TI 2013/14 . (Někdy mohou být užitečné i tam uložené dříve použité slidy z přednášky, byť v současném běhu kurzu používány nebudou.)

1. Týden od 9.2.: 01-tyden-2015.pdf . (Zápisy zachycují přednášky jen rámcově, nemohou je samozřejmě nahradit.)
2. Týden od 16.2.: 02-tyden-2015.pdf .
   Ve čtvrtek 19.2.2015 se koná první rozšiřující přednáška (12:30 - 14:00 EC2). V této souvislosti je možnost zisku bonusových bodů: kdo se první přihlásí [např. předem emailem] a předvede srozumitelně a kompletně důkaz tvrzení, že jazyk je regulární právě tehdy, když množina jeho levých kvocientů podle všech slov je konečná, tak může získat 5 bonusových bodů. Musí toto ovšem mít podloženo svým vlastním textem.
3. Týden od 23.2.: 03-tyden-2015.pdf .
4. Týden od 2.3.: 04-tyden-2015.pdf .
   Ve čtvrtek 5.3.2015 se koná další rozšiřující přednáška (12:30 - 14:00 EC2). V této souvislosti je možnost zisku bonusových bodů: kdo se první přihlásí [např. předem emailem] a předvede srozumitelně a názorně postup konstrukce, která k zadanému konečnému automatu sestrojí regulární výraz, který reprezentuje jazyk přijímaný oním automatem, tak může získat 5 bonusových bodů. (Musí to ovšem třeba dodatečně podložit svým vlastním textem.)
5. Týden od 9.3.: 05-tyden-2015.pdf .
6. Týden od 16.3.: 06-tyden-2015.pdf .
   Ve čtvrtek 19.3.2015 se koná další rozšiřující přednáška (12:30 - 14:00 EC2). V této souvislosti je možnost zisku bonusových bodů: kdo se první přihlásí [např. předem emailem] a předvede srozumitelně a názorně řešení následujícího úkolu, tak může získat 5 bonusových bodů. (Musí to ovšem třeba dodatečně podložit svým vlastním textem.)
   Úkol. Ukažte konstrukci, která k zadanému zásobníkovému automatu M (s přijímajícími stavy) sestrojí zásobníkový automat M' tak, že jazyk přijímaný automatem M přijímajícími stavy je stejný jako jazyk přijímaný automatem M' prázdným zásobníkem.
7. Týden od 23.3.: 07-tyden-2015.pdf .
8. Týden od 30.3.: 08-tyden-2015.pdf .
   Ve čtvrtek 2.4. se rozšiřující přednáška nekoná. V době další rozšiřující přednášky 16.4. se pak píše zápočtová písemka.
9. Týden od 6.4.: (velikonoční pondělí) Na cvičeních v tomto týdnu je na programu dořešení příkladů z dřívějších týdnů.
10. Týden od 13.4.: 09-tyden-2015.pdf .
    Místo rozšiřující přednášky ve čtvrtek 16.4. (12.30-14.00) proběhne zápočtová (45-minutová) písemka. (Konkrétní termíny [určující přesný čas a místo] k zápisu posluchačů jsou vypsány v Edisonu.)
11. Týden od 20.4.: 10-tyden-2015.pdf .
12. Týden od 27.4.: 11-tyden-2015.pdf .
    Ve čtvrtek 30.4. je na rozšiřující přednášce kromě programu popsaného v textu možnost se věnovat i např. tématům ke zkoušce.
13. Týden od 4.5.: 12-tyden-2015.pdf .
14. Týden od 11.5.: Proběhne dokončení a zopakování látky semestru. Na cvičeních se budou prověřovat referáty. Čtvrteční rozšiřující přednáška je primárně zamýšlena jako možnost aktivní konzultace zkoušky pro studenty.