Informace ke kursu "Teoretická informatika" ("Theoretical Computer Science") (LS 2008/2009)

Přednášející: prof. Petr Jančar (A1046), Petr.Jancar@vsb.cz ,
cvičící: Ing. Martin Kot Martin.Kot@vsb.cz , Ing. Zdeněk Sawa Zdenek.Sawa@vsb.cz , Ing. Petra Škňouřilová Petra.Sknourilova@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:

• komb-studium.htm .

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

• 29.6.2009. Možnost diskuse písemek z 1.7.: čtvrtek 2.7. v 15 hodin na C3. (Poté uzavřeme předmět studentům, kteří splnili.) (Pro jistotu také opakuji: žádný další termín v tomto šk. roce nebude.)
• 26.6.2009. Teď už za odhalené drobné chyby v textu bod nedávám.
• 16.6.2009. Ještě jedna možnost diskuse písemek z 10.6.: čtvrtek 18.6. 16.15 na A1023. (Můžete požádat např. i kolegu, aby se za vás na písemku podíval.)
• 10.6.2009. Možnost diskuse písemek z 10.6.: pondělí 15.6. 13.15 na C3. (Poté uzavřu předmět studentům, kteří splnili.)
• 28.5.2009. Možnost diskuse písemek z 27.5.: pondělí 1.6. 12.45 na NK319. (Poté uzavřu předmět studentům, kteří splnili.)
• 13.5.2009. Možnost diskuse písemek z 12.5.: středa 13.5. 16.30 na A1023. (Poté uzavřu předmět studentům, kteří splnili.)
• 11.5.2009. Jak jsem řekl na přednášce a uvedl v přehledu týdne: Čas přednášky ve čtvrtek 14.5. bude věnován shrnutí látky především s ohledem na zkoušku. Lze to vidět jako určitou hromadnou konzultaci; předpokládá se přitom především aktivní přístup posluchačů, konkrétní dotazy apod.
  (Dodatek 14.5.2009: ve 14.22 byla posluchárna prázdná; beru pozitivně, že nikdo již konzultaci zřejmě nepotřeboval.)
• 11.5.2009. Příklad 13.2. z cvičení 13.týdne je více náročný než jsem zamýšlel, při požadavku splnění trojúhelníkové nerovnosti. Zkuste vyřešit bez tohoto požadavku, s tím už byste neměli mít problémy.
• 4.5.2009. V úterý 12.5.2009 v 16 hodin na C2 bude individuálně poskytnuta náhradní možnost těm, kteří se z doložených vážných důvodů dříve omluvili z některé zápočtové písemky (a chybí jim tak body k zápočtu). Ohlaste se mi do pondělí 11.5.2009 emailem ti, kterých se to týká. V mailu mi připomeňte, kdy jste se omlouvali a jak jste to doložili.
• 1.5.2009. Možnost diskuse písemek z 29.4. a případné konzultace: středa 6.5. 16.45 na B4.
• 30.4.2009. Výsledky zkoušky z 29.4. plánuji dát do Edisonu během 1.5. Pokud dotyčný nesplnil některé předepsané minimum, uvedu 0 bodů. 1.5. také zde uvedu, kdy bude možnost příští týden písemky a související problémy diskutovat.
• 22.4.2009. V úterý 28.4.2009 v 16 hodin (místo srazu před A1023) bude individuálně poskytnuta náhradní možnost těm, kteří se z doložených vážných důvodů dříve omluvili z některé zápočtové písemky (a chybí jim tak body k zápočtu) a kteří jdou letos k SZZ (a potřebují tudíž zápočet před zkouškou 29.4. či 12.5.) Ohlaste se mi do pondělí 27.4.2009 emailem ti, kterých se to týká. V mailu mi připomeňte, kdy jste se omlouvali a jak jste to doložili.
  Pro podobné případy, kterých se ovšem netýkají letošní SZZ, bude situace řešena podobně v zápočtovém týdnu. Konkrétní informace se zde objeví týden předem.
• 22.4.2009. V Edisonu jsou již vypsány i řádné termíny zkoušky (27.5., 10.6., 1.7.). (Pro jistotu připomínám, že dřívější termíny (29.4. a 12.5.) jsou jen pro (opakující) studenty, kteří jdou letos k SZZ.) Termín 27.5. je rozdělen na dva (v 15.00 a v 16.45), každý student se samozřejmě může zapsat nejvýše na jeden z nich.
• 3.4.2009. V Edisonu jsou vypsány dva termíny na zkoušku (29.4. a 12.5.), ale jen pro (opakující) studenty, kteří jdou letos k SZZ. (Vycházíme jim tím vstříc, ostatní se tam nezapisujte, ani o to nežádejte. Budete mít termíny v řádném zkouškovém období!)
• 13.3.2009. Prezenční studenti, zapisujte se (do 31.3.) na 2. zápočtovou písemku v Edisonu! (kombinovaní: viz vaše stránka)
• 24.2.2009. Prezenční studenti, zapisujte se (do 3.3.) na 1. zápočtovou písemku v Edisonu! (Každý samozřejmě na jeden termín.)
• 17.2.2009. Pro studenty kombin. studia. Způsob přidělení referátů probereme na setkání 20.2.
• 13.2.2009. Zpravidla v pátek se v průběhu výuky níže budou objevovat soubory s plánem na příští týden. Byť se v textu často hovoří v minulém čase, jedná se o plán. Pokud by fakticky došlo k výraznější odchylce od plánu, uvedu to u příslušného týdne posléze.
• 27.1.2009. Pokud máte udělen zápočet za loňský rok a žádáte jeho uznání pro letošek, obraťte se na paní Geletičovou. Yveta.Geleticova@vsb.cz .
• 27.1.2009. Započata tato stránka pro akad. rok 2008/09.

Studijní opora

• Základní studijní text, P. Jančar: Teoretická informatika (VŠB-TU, Ostrava, 2007, verze z 31.8.2007), je zde uložen jako pdf-soubor (rozsah 336 stran):
  • ti-text.2007-08-31.pdf
  Autor bude vděčný za upozornění na CHYBY v textu a za další věcné podněty. Studentům, kteří jako první upozorní na nějakou chybu, mohou být uděleny bonusové body; tyto ovšem nemohou pomoci k překonání požadovaných minim u jednotlivých úkolů. Zde jsou chyby nalezené v r. 2008:
  2008-chyby.html
  V r. 2009 budou za nalezenou věcnou chybu uděleny 3 body. Za typografické chyby, překlepy, prokazatelné gramatické chyby apod. bude přidělován 1 bod.
  Zde jsou chyby nalezené v r. 2009:
  2009-chyby.html
  
• 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áškách ve dnech ... a .... (viz "Průběh výuky" níže) se bude psát první a druhá 30-minutová zápočtová písemka ; 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 alespoň 8 bodů v součtu za obě písemky. (Náhradní termíny pro nezúčastněné v zásadě nebudou, s tím, že doložené závažné případy by se řešily individuálně.)
  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). Referáty budou přiděleny cvičícími během prvních cvičení, vždy s určeným datem odreferování. Na cvičení v určeném termínu donese posluchač písemně zpracované téma referátu a odreferuje jej přítomným. 11 bodů obdrží za kvalitně vypracovaný referát, který srozumitelně odprezentuje (čímž mj. prokáže, že tématu skutečně rozumí); v opačném případě úkol nesplní a na zápočet nemá nárok. (Případné menší nedostatky v písemném vypracování může cvičící nechat ještě dopracovat; v případě závažného důvodu neúčasti na určeném termínu řešte situaci s cvičícím co nejdříve.) Doufáme, že případy, kdy student nesplní požadavky kladené na referát, budou opravdu výjimečné. Je možné, že pro tyto případy, kdy takto na zápočet nevznikne nárok, stanovíme termín na konci semestru, kdy budou mít možnost příslušní studenti přijít a vyučující s nimi jednotlivě prověří, zda zpracovanému tématu už skutečně rozumějí a mají připravenou rozumnou prezentaci. V kladném případě bude splnění zápočtové podmínky "referát" uznáno, ale s tím, že bude přidělen jen 1 bod (místo 11).
     Zadání referátů je zde: 2009-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.
Ve zkouškovém období pro poslední ročníky studia (20.4. - 15.5.) bude vypsán speciální zkouškový termín pro ty, kteří studium končí (a předmět opakují). Musí mít do té doby samozřejmě splněny podmínky zápočtu (pokud jej nemají uznaný v Edisonu).
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 2008/09):

• Zde budou postupně přibývat informace o průběhu výuky po jednotlivých týdnech. 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.)
• Zpravidla v pátek se zde budou objevovat soubory s plánem na příští týden. Byť se v textu často hovoří v minulém čase, jedná se o plán. Pokud by fakticky došlo k výraznější odchylce od plánu, uvedu to u příslušného týdne posléze.

1. Týden od 9.2.: Provizorně zde dávám přehled 1. týdne loňského roku. V pondělí 9.2. odpoledne zaktualizuji. Obsah nebude příliš odlišný, ale např. přednášky budou jinak stavěny, vzhledem k rozdělení na dvouhodinovky v pondělí a čtvrtek. 01-tyden.pdf . (9.2. 17.40: soubor jsem vymenil za mirne aktualizovany.)
2. Týden od 16.2.: 02-tyden.pdf .
3. Týden od 23.2.: 03-tyden.pdf .
4. Týden od 2.3.: 04-tyden.pdf .
   na přednášce ve čtvrtek 5.3. proběhne 1. zápočtová (30-minutová) písemka Ukázkové zadání je zde: ti-zap1-uk.pdf .
   Zapisujte se (do 3.3.) na 1. zápočtovou písemku v Edisonu! (Každý samozřejmě na jeden termín.)
5. Týden od 9.3.: 05-tyden.pdf . (9.3. 14.20: soubor jsem vymenil za mirne aktualizovany; specialne byla odstranena chybna tecka v pravidle R.R)
6. Týden od 16.3.: 06-tyden.pdf .
7. Týden od 23.3.: 07-tyden.pdf .
8. Týden od 30.3.: 08-tyden.pdf .
   na přednášce ve čtvrtek 2.4. proběhne 2. zápočtová (30-minutová) písemka Ukázkové zadání je zde: ti-zap2-uk.pdf .
   Zapisujte se (do 31.3.) na 2. zápočtovou písemku v Edisonu! (Každý samozřejmě na jeden termín.)
9. Týden od 6.4.: 09-tyden.pdf .
10. Týden od 13.4.: 10-tyden.pdf .
    (V pondělí přednáška není (velikonoční pondělí).)
11. Týden od 20.4.: (20.4. 9:20 byl předchozí soubor vyměněn za nynější, s drobnými korekcemi.) 11-tyden.pdf .
12. Týden od 27.4.: 12-tyden.pdf .
13. Týden od 4.5.: 13-tyden.pdf .
14. Týden od 11.5.: 14-tyden.pdf .