Informace ke kursu "Teoretická informatika" ("Theoretical Computer Science") (LS 2010/2011)

Přednášející: prof. Petr Jančar (A1046), Petr.Jancar@vsb.cz ,
cvičící: Ing. Stanislav Böhm Stanislav.Bohm@vsb.cz , Ing. Martin Kot Martin.Kot@vsb.cz , Ing. Zdeněk Sawa Zdenek.Sawa@vsb.cz ,

KOMBINOVANÉ STUDIUM: 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 (bude zřízena k 4.2.2011):

• komb-studium.htm .

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

• 24.6.2011. Opravené zkouškové písemky z 28.6. budou k nahlédnutí 29.6. v 16.00 na B4 .
• 13.6.2011. Opravené zkouškové písemky z 13.6. budou k nahlédnutí 14.6. v 16.00 na B5 .
• 23.5.2011. Opravené zkouškové písemky z 23.5. budou k nahlédnutí 27.5. v 14.15 na B5 .
• 19.5.2011. Opravené zápočtové písemky z 18.5. budou k nahlédnutí 20.5. v 16.30 hod. na A1046. (Na mailovy dotaz na pocet realne ziskanych bodu na pisemce zkusim odpovedet.)
• 12.5.2011. Opravené zkouškové písemky z 12.5. budou k nahlédnutí 13.5. v 17 hod. na A1023.
• 16.5.2011. Mimořádný opravný termín pro prezenční studenty, kteří nesplnili úkol Referát se koná 23.5. v 10 hod. na A1024. Ohlaste se ale cvičícímu mailem během tohoto pracovního týdne.
• 12.5.2011. Opravené zkouškové písemky z 12.5. budou k nahlédnutí 13.5. v 17 hod. na A1023.
  Opravené zápočtové písemky z 12.5. budou k nahlédnutí 16.5. v 16.15 na A1046.
  Na 18.5. je vypsán v Edisonu opravný zápočtový test (pro studenty, kteří nesplnili v řádném či náhradním termínu, ale splnili referát [viz dřívější informace o opravném termínu níže]).
• 22.4.2011. Kontrola referátů v prezenčním studiu proběhne na cvičeních v zápočtovém týdnu (9.-13.5). Půjde o rychlé prověření; nebude-li u někoho jeho porozumění problému rychle zřejmé, bude odkázán na 13.5. 11.30 na C4 (více vám sdělí cvičící.) Studenti kombinované formy, podívejte se na info na vaši podstránce (před posledním tutoriálem).
• 21.4.2011. V Edisonu už jsou vypsány termíny zkoušek v řádném zkouškovém období. (Pokud by náhodou v daný den byla naplněna kapacita, ozvěte se mi mailem.) Termín 12.5. je určen výhradně pro studenty, kteří se hlásí k SZZ v 6/2011 (jiní prosím se nezapisujte ani o to nežádejte).
  Na 12.5. je vypsán i náhradní (nikoli opravný!) termín zápočtové písemky pro ty, kteří byli řádně omluveni u řádného termínu. (Slibovaný mimořádný opravný termín pro ty, kteří neuspěli bude pravděpodobně vypsán na 18.5.)
• 19.4.2011. Studenti, kteří jdou nyní k SZZ (a ohlásili se již dříve pí Geletičové), se kterými jsme neprobrali podklady k referátu v pátek 15.4. mají možnost toto absolvovat ve středu 20.4. v 16.45 na A1023 . (Výhradně) pro tyto studenty (tedy pro ty, kteří se hlásí k SZZ v 6/2011) bude vypsán jeden zkouškový termín, a sice 12.5.2011.
• 5.4.2011. Na zápočtovou písemku se v době 6. - 10.4. zapište v Edisonu
• 24.2.2011. Níže (Požadavky k zápočtu) byl dodán soubor se zadáním referátů. Emailem budou studentům přiřazena čísla referátů zřejmě 25.2.2011.
• 22.2.2011. na odpolední přednášce 11.4. (14.15 - 15.45) proběhne zápočtová (45-minutová) písemka
• 2.2.2011. Předmět má čtyřhodinovou přednášku; v rozvrhu je rozdělena na dvě dvouhodinové části. První část je základní a měla by stačit těm, komu jde jen o absolvování předmětu. Druhá část je zamýšlena hlavně pro studenty s hlubším zájmem o matematické pozadí, o důkazy vybraných tvrzení apod. Zvládnutí této problematiky se bude prověřovat (v podstatě jen) 8-bodovým příkladem v závěrečné zkoušce. (Další doplnění stránky plánuji 4.2.) (Tak nakonec až 5.2.: zacneme podobne jako loni, s technickymi zmenami v realizaci pozadavku k zapoctu a zkousce seznamim posluchace na prvni prednasce; bude pak k dispozici zapis na webu v prubehu predmetu, ktery se bude objevovat nize.)
• 8.1.2011. Stránka bude doplněna kolem 2.2.2011. Představu o kursu a požadavcích si posluchači mohou udělat z dřívejšího běhu: TI v 2009/10 .

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 (tato verze vznikla z verze z 31.8.2007 odstraněním některých drobných chyb, na které upozornili [hlavně] studenti; 13.10.2011 jsem pak opravil nepříjemnou chybu u paralelních algoritmů).
• 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é 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í během 3. týdne v semestru a posluchačům bude číslo referátu přiděleno emailem; tento email nepotvrzujte, jen ten, kdo ve 4. týdnu žá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ů: 2011-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 2010/11):

• Zde budou postupně přibývat informace o průběhu výuky po jednotlivých týdnech. Typicky v pondělí v podvečer se zde objeví obsah přednášky z téhož dne, spolu s příklady na cvičení a (případné) slidy z přednášky. 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.)

1. Týden od 7.2.: 01-tyden-2011.pdf , slidy-pr-01.pdf .
2. Týden od 14.2.: 02-tyden-2011.pdf , slidy-pr-02-ho.pdf .
3. Týden od 21.2.: 03-tyden-2011.pdf , slidy-pr-03-ho.pdf .
4. Týden od 28.2.: 04-tyden-2011.pdf , slidy-pr-04-ho.pdf .
5. Týden od 7.3.: 05-tyden-2011.pdf , slidy-pr-05-ho.pdf .
6. Týden od 14.3.: 06-tyden-2011.pdf , slidy-pr-06-ho.pdf .
7. Týden od 21.3.: 07-tyden-2011.pdf (slidy nejsou)
8. Týden od 28.3.: 08-tyden-2011.pdf , slidy-pr-08-ho.pdf .
9. Týden od 4.4.: 09-tyden-2011.pdf , slidy-pr-09-ho.pdf .
10. Týden od 11.4.: 10-tyden-2011.pdf , slidy-pr-10-ho.pdf .
    na odpolední přednášce 11.4. (14.15 - 15.45) proběhne zápočtová (45-minutová) písemka
11. Týden od 18.4.: 11-tyden-2011.pdf (slidy budou přiloženy u přednášky 2.5.)
12. Týden od 25.4.: (Velikonoční pondělí) 12-tyden-2011.pdf
13. Týden od 2.5.: 13-tyden-2011.pdf , slidy-pr-13-ho.pdf .
14. Týden od 9.5.: slidy-pr-14-ho.pdf .
    Na přednášce budou načrtnuty některé pokročilejší partie teoretické informatiky (které jsou mj. plánovány pro podzimní volitelný kurs Vybrané partie teoretické informatiky ), speciálně aproximační a pravděpodobnostní algoritmy. Odpolední přednáška může být využita mj. ke konzultacím ke zkoušce, přijdou-li studenti s náměty do diskuse.
    Cvičení jsou určena k prověření referátů (jak uvedeno v Akt. inf. výše).