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

Přednášející: prof. Petr Jančar (EA414), Petr.Jancar@vsb.cz ,
cvičící: Ing. Martin Kot, PhD. Martin.Kot@vsb.cz , doc. Zdeněk Sawa Zdenek.Sawa@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í):

• 9.1.2017. Opravené zkouškové písemky z 9.1. budou k nahlédnutí 11.1. v době 15.00 - 15.45 na EB430 . (V Edisonu se výsledky asi objeví dříve.)
• 8.12.2016. 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 dva dny předem. Jsou vypsány čtyři termíny (9.1., 16.1., 23.1., 30.1.) 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).

  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 4.1.2017 ve 14.15 na C4 (kruhová budova).

  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 po výše uvedeném náhradním termínu zápočtové písemky, konkrétně 4.1.2017 od 15.00 na EA413 (FEI). (Zapisovat se na opravu referátu nemusíte.)

• 7.9.2016. Začíná se naplňovat tato stránka. Kurs bude mít podobný průběh jako loni ( TI-loni ), s případnými menšími modifikacemi.

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á!
     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 (platné i v r. 2016).
  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.
  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 2016/17):

• 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 podívat zde: TI-loni .

1. Týden od 12.9.: 01-tyden.pdf , 01-slidy.pdf .
2. Týden od 19.9.: (Používám text z loňska, stejně jako slidy Z. Sawy.) 02-tyden.pdf , 02-slidy.pdf .
3. Týden od 26.9.: 03-tyden.pdf , 03-slidy.pdf .
4. Týden od 3.10.: 04-tyden.pdf , 04-slidy.pdf .
5. Týden od 10.10.: 05-tyden.pdf , 05-slidy.pdf .
6. Týden od 17.10.: 06-tyden.pdf , slidy z předešlého týdne.
7. Týden od 24.10.: 07-tyden.pdf , 07-slidy.pdf .
8. Týden od 31.10.: 08-tyden.pdf , 08-slidy.pdf .
9. Týden od 7.11.: 09-tyden.pdf , 09-slidy.pdf .
10. Týden od 14.11.: 10-tyden.pdf , 10-slidy.pdf .
11. Týden od 21.11.: 11-tyden.pdf . Speciální slidy pro tento týden nejsou. Budou mj. užívány animace (z výše uvedeného odkazu).
12. Týden od 28.11.: 12-tyden.pdf . 12-slidy.pdf . V tomto týdnu se koná zápočtová písemka (na cvičeních).
13. Týden od 5.12.: 13-tyden.pdf . 13-slidy.pdf .
14. Týden od 12.12.: 14-tyden.pdf . 14-slidy.pdf . V tomto týdnu se koná prověření referátů (na cvičeních).