Informace ke kursu "Teoretická informatika" ("Theoretical Computer Science") (ZS 2015/2016)

Přednášející: prof. Petr Jančar (EA414), Petr.Jancar@vsb.cz ,
cvičící: Ing. Martin Kot, PhD. Martin.Kot@vsb.cz , Ing. Ondřej Meca Ondrej.Meca@vsb.cz , Ing. Martin Šurkovský martin.surkovsky@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í):

• 6.5.2016. Opravené zkouškové písemky z 5.5. budou k nahlédnutí 12.5. v 15.30 na EA414 . (V Edisonu se výsledky asi objeví dříve.)
• 4.2.2016. Opravené zkouškové písemky z 4.2. budou k nahlédnutí 5.2. v době 15.00 - 16.00 na EB430 .
• 25.1.2016. Opravené zkouškové písemky z 25.1. budou k nahlédnutí 27.1. v době 15.00 - 16.00 na EB430 .
• 11.1.2016. Opravené zkouškové písemky z 11.1. budou k nahlédnutí 13.1. v době 15.00 - 16.00 na EB430 .
• 15.12.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. Jsou vypsány tři termíny (11.1., 25.1., 4.2.) s de facto neomezenou kapacitou; nebudou přidávány žádné další termíny. Upozornění: místo konání je v posluchárnách C na kruhové budově (nikoli v budově FEI).
• 15.12.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 níže uvedeným náhradním termínem zápočtové písemky, konkrétně 7.1.2016 od 12.30 na C4 (kruhová budova).
• 15.12.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 7 bodů. (Viz podmínky níže.) Zapište se v Edisonu, termín je 7.1.2016 ve 14.00 na C4 (kruhová budova).
• 1.9.2015. Začíná se naplňovat tato stránka. Jedná se o první běh kursu Teoretická informatika, který vzniká jistou modifikací dřívějšího stejnojmenného kursu.

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
• (Nejen) teoretická informatika se pochopitelně opírá o logiku, jak si budeme během kursu také speciálně všímat.
  Zde naleznete učební text M. Duží: Logika pro informatiky, VŠB-TU Ostrava 2012:
  • Matlogika.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.

Informace k zápočtu a zkoušce:

• Zápočet
  1. V týdnu určeném níže v části "Průběh výuky" se bude psát zápočtová písemka. Celkově bude možné získat 21 bodů. Nutnou podmínkou k získání zápočtu je zisk alespoň 7 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, zřejmě na začátku ledna. Pro ty, kteří by nedosáhli 7 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 začátku ledna opravný termín, při němž by bylo nutné získat alespoň 11 bodů; při zisku x bodů, kde x je alespoň 11, bychom zapsali 7 + (x - 11)/2 bodů (tedy min. 7 a max. 12). Potřeba opravy zápočtové písemky by ale měla být opravdu výjimečná! S předstihem zde uvedeme ukázku struktury zápočtové písemky:
     Ukázka struktury zápočtové písemky je zde: 2015-ti-zap-uk.pdf .
  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 konce října a posluchačům bude číslo referátu přiděleno emailem; tento email nepotvrzujte, jen ten, kdo do 31.10. žá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 obhájený referát je 5-10 bodů. 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 s hodnocením v rozmezí 1-5 bodů v případě obhájeného referátu.
     Zadání referátů: (budou přiděleny automaticky, dostanete email do 31.10.) 2015-referaty.pdf .
  3. Další možností získání bodů k zápočtu bude aktivita na cvičení, za niž bude možno získat 0-7 bodů. S konkrétní formou této aktivity vás seznámí cvičící (stejně jako s modifikací pro studenty kombinované formy studia).
  Za udělený zápočet tedy student získá minimálně 7 + 1 + 0 = 8 bodů, maximálně pak 21 + 10 + 7 = 38 bodů.
• Zkouška bude písemná (90-minutová), podle potřeby doplněná ústní částí; max. zisk je 62 bodů, přičemž minimální zisk k uznanému absolvování je 25 bodů. Písemná zkouška bude mít dvě (tématické) části; z každé z nich je možné získat až 31 bodů, ale nutnou podmínkou je zisk alespoň 11 bodů z každé části. (V každé části je tedy nutné získat alespoň 11, přičemž součet musí být alespoň 25.)
  Ke zkoušce je možné jít jen po splnění požadavků k zápočtu. S předstihem zde uvedeme ukázku (struktury) zkouškové písemky.
  Ukázka dávající přibližnou představu o závěrečné zkoušce je zde: 2015-ti-zk-uk.pdf

Možnost konzultací:

Průběh výuky (v ZS 2015/16):

• 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 dřívějším kurzu, jehož modifikací současný kurs vzniká, může se na průběh v LS 2014/15 podívat zde: TI 2014/15 .

1. Týden od 14.9.: 01-tyden.pdf (verze z 15.9.), 01-slidy.pdf .
2. Týden od 21.9.: 02-tyden.pdf , 02-slidy.pdf .
3. Týden od 28.9.: (pondělní přednáška a cvičení odpadají kvůli státnímu svátku) Na cvičeních bude dokončen program z minula, případně doplněný cvičícími.
4. Týden od 5.10.: 04-tyden.pdf (verze z 5.10.), 04-slidy.pdf .
5. Týden od 12.10.: 05-tyden.pdf (verze z 12.10.); slidy jen používaly to, co je v zápisu přednášky
6. Týden od 19.10.: 06-tyden.pdf , 06-slidy.pdf .
7. Týden od 26.10.: (středeční cvičení odpadají kvůli státnímu svátku) 07-tyden.pdf , 07-slidy.pdf .
8. Týden od 2.11.: 08-tyden.pdf , 08-slidy.pdf .
9. Týden od 9.11.: 09-tyden.pdf , 09-slidy.pdf .
10. Týden od 16.11.: (úterní cvičení odpadají kvůli státnímu svátku) 10-tyden.pdf (třída PSPACE ještě nebyla), 10-slidy.pdf .
11. Týden od 23.11.: 11-tyden.pdf , 11-slidy.pdf .
12. Týden od 30.11.: V tomto týdnu je plánována zápočtová písemka (na cvičeních). 12-tyden.pdf , 12-slidy.pdf .
13. Týden od 7.12.: 13-tyden.pdf , 13-slidy.pdf .
14. Týden od 14.12.: V tomto týdnu je plánováno prověření referátů.