Výuka pokročilých témat teoretické informatiky na mezinárodní úrovni

Fakulta informačních technologií Vysokého učení technického v Brně v letošním
roce prochází významnou změnou v organizaci výuky zejména navazujícího
magisterského studijního programu. Dosud bylo studium magisterského programu
Informační technologie možné ve čtyřech různých odborných zaměřeních, přičemž
studium formálních jazyků a teoretické informatiky bylo, kromě jednoho povinného
předmětu, jen velmi okrajové. Počínaje akademickým rokem 2009/2010 bude
magisterské studium nabízeno ve třech stávajících a šesti nových odborných
zaměřeních, jedním z nich jsou Matematické metody v informačních technologiích,
kam formální jazyky a teoretická informatika bezpochyby patří. Cílem tohoto
projektu je vytvoření výukových pomůcek, které budou studenty tohoto nového
zaměření a zejména studenty doktorského studijního programu seznamovat
s moderními trendy v teoretické informatice a souvisejících matematických
tématech. Tyto pomůcky však poslouží také v několika předmětech zmíněného nového
zaměření magisterského studia. Veškeré výstupy tohoto projektu budou vytvářeny
v anglickém jazyce, což českým studentům umožní seznámit se s používanou světovou
terminologií a zahraničním studentům přicházejícím studovat na Fakultu
informačních technologií poskytne výukové materiály, kterým budou rozumět.