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

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 , Ing. Petra Škňouřilová Petra.Sknourilova@vsb.cz , Ing. Ondřej Takács ondrej.takacs@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.2010. Možnost diskuse písemek z 29.6.: středa 30.6. v 15 hod. na B5. (Poté uzavřeme předmět studentům, kteří splnili. V Edisonu se body za opravu objevi 30.6. kolem poledne.)
• 15.6.2010. Možnost diskuse písemek z 15.6.: pátek 18.6. v 13.15 na B5. (Poté uzavřeme předmět studentům, kteří splnili. V Edisonu se body za opravu objevi 16.6. či 17.6.)
• 26.5.2010. Možnost diskuse písemek z 26.5.: pondělí 31.5. v 16 hodin na B5. (Poté uzavřeme předmět studentům, kteří splnili. V Edisonu se body za opravu objevi v patek 28.5.)
• 29.4.2010. Možnost diskuse písemek z 27.4.: pondělí 3.5. v 16 hodin na A1023. (Poté uzavřeme předmět studentům, kteří splnili.)
• 27.4.2010. Studenti, kteří byli ze závažných důvodů omluveni z termínu zápočtové písemky 19.4. (zejména jde o studenty z projektu IP NearShoring), mají možnost se dostavit na náhradní termín 4.5.2010 v 16.00 na C1. (V Edisonu se nezapisujte.)
• 26.4.2010. V Edisonu jsou vypsány termíny zkoušky.
• 31.3.2010. Zápis v Edisonu na zápočtovou písemku probíhá 1. - 15.4. (Formálně se zapisujete na 1. záp. písemku, ale víte, že se bude psát jediná písemka kombinující dřívější dvě.)
• 31.3.2010. Níže je dodána ukázka (struktury) zápočtové písemky.
• 9.3.2010. V Edisonu jsou vypsány termíny zkoušky 27.4. a 12.5., které jsou určeny jen pro studenty, kteří by měli jít k SZZ v 6/2010 .
• 24.2.2010. na přednáškách 19.4. proběhne zápočtová (45-minutová) písemka (s předstihem budou vypsány termíny v Edisonu, čímž se studenti rozdělí do několika skupin)
• 3.2.2010. 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.
• 25.1.2010. Započata tato stránka pro akad. rok 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 (ve verzi z 31.8.2007 byly odstraněny některé drobné chyby, na které upozornili [hlavně] studenti).
  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ů.
  V r. 2010 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.
• 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 (první a druhou zápočtovou písemku); 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ý 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.
     Ukázka (struktury) zápočtové písemky je zde: 2010-ti-zap-uk.pdf .
  2. Další nezbytnou podmínkou k získání zápočtu je úspěšné zvládnutí referátu na cvičení (v opačném případě zápočet udělen nebude). Přidělení referátů bude řešeno cvičícími, každý student se musí o referát sám přihlásit. Na cvičení v určeném termínu donese student 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í); při zjištění nedostatků, které nebudou fatální, bude hodnocení sníženo na 5-10 bodů. Ukáže-li se, že referující tématu ve skutečnosti nerozumí, úkol nesplní a na zápočet nemá nárok. (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.
     Předběžné zadání referátů je zde: 2010-referaty.pdf .
     Definitivní znění zadání referátů je zde:
     • refer_1-2.pdf .
     • refer_3-4.pdf .
     • refer_5-6.pdf .
     • Zadání referátů 7 a 8 zůstává stejné.
     • Zadání referátů 9 a 10 zůstává stejné.
     • Zadání referátů 11 a 12 zůstává stejné.
     • Zadání referátů 13 a 14 zůstává stejné.
     • refer_15-16.pdf .
     • Zadání referátů 17 a 18 zůstává stejné.
     • refer_19-20.pdf .
     • Zadání referátů 21 a 22 zůstává stejné.
     • Zadání referátů 23 - 27 zůstává stejné.
• 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 2009/10):

• 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 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.) Náplň výuky nebude příliš odlišná od loňského roku (byť k různým změnám dojde). Kdo si chce dopředu udělat rámcovou představu, může se podívat na onen loňský průběh: http://www.cs.vsb.cz/jancar/TEORET-INF/old.teoret-inf.2009.htm .

1. Týden od 8.2.: 01-tyden-2010.pdf , slidy-pr1.pdf .
2. Týden od 15.2.: 02-tyden-2010.pdf , slidy-pr-02-ho.pdf .
3. Týden od 22.2.: 03-tyden-2010.pdf , slidy-pr-03-ho.pdf .
4. Týden od 1.3.: 04-tyden-2010.pdf , slidy-pr-04-ho.pdf .
5. Týden od 8.3.: 05-tyden-2010.pdf (slidy nejsou)
6. Týden od 15.3.: 06-tyden-2010.pdf (slidy nejsou)
7. Týden od 22.3.: 07-tyden-2010.pdf
8. Týden od 29.3.: 08-tyden-2010.pdf
9. Týden od 5.4.: Pondělní přednášky se nekonají (velikonoční pondělí). 09-tyden-2010.pdf
10. Týden od 12.4.: 10-tyden-2010.pdf
11. Týden od 19.4.: 11-tyden-2010.pdf
    na přednáškách 19.4. proběhne zápočtová (45-minutová) písemka (s předstihem budou vypsány termíny v Edisonu, čímž se studenti rozdělí do několika skupin) Zápis v Edisonu na zápočtovou písemku probíhá 1. - 15.4. (Formálně se zapisujete na 1. záp. písemku, ale víte, že se bude psát jediná písemka kombinující dřívější dvě.)
12. Týden od 26.4.: 12-tyden-2010.pdf
13. Týden od 3.5.: 13-tyden-2010.pdf
14. Týden od 10.5.: Na přednášce byly načrtnuty některé pokročilejší partie teoretické informatiky (které jsou mj. plánovány pro podzimní volitelný kurs Vybrané partie teoretické informatiky). Cvičení jsou určena k dořešení příkladů a referátů a k případným dalším konzultacím ke zkoušce.