Předmět Theoretical Computer Science Questions (DEIEL10YA)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu DEIEL10YA - Theoretical Computer Science Questions, Provozně ekonomická fakulta, Česká zemědělská univerzita v Praze (ČZU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
Cíl: Získat hluboké znalosti, dovednosti a komopetence v oblasti teoretických základů informatiky potřebné pro vědecký výzkum v oblasti zaměření doktorské disertace.Forma výuky závisí na konkrétníím zaměření doktoranda a spočívá především v kontrolovaném samostudiu aktuálních vědeckých publikací (monografií a článků).
Osnova
PřednáškaOkruhy budou stanoveny individuálně na základě zaměření disertacevCvičení
Získané způsobilosti
Znalosti:Doktorandi získají znalosti z moderních matematických disciplin, především z tak zvané diskrétní matematiky, potřebné pro vytváření formálních modelů v oblasti informatiky. Předmět je součástí přípravy na samostatný vědecký výzkum v oblasti disertační práce. Rozsah konkrétních znalostí je tedy individuální.Dovednosti:Doktorandi získají schopnost sledovat aktuální vědecké výsledky publikované v monografiích a prestižních časopisech a kriticky je hodnotit. Získá schopnost exaktně formulovat problémy a využít prostředků moderní matematiky pro jejich řešení. Získají schopnost popsat empirickou situaci (systému a procesy reálného světa) pomocí formálních struktur a vytvořit tak model, v kterém lze uplatnit postupy formální logiky, matematiky a výpočetní techniky.Kompetence - komunikace:Doktorandi získají schopnost aktivně spolupracovat s vědeckou komunitou a exaktně formulovat a presentovat výsledky svého výzkumu. Získají schopnost připravit své výsledky k publikaci v souladu s požadavky a zvyklostmi vyžadovanými ve vědeckých časopisech.Kompetence - úsudek:Doktorandi získají kompetenci exaktní formulace problémů na základě prostředků dvouhodnotové i vícehodnotové logiky a logického odvozování důsledků ve formalizovaném prostředí. Doktorandi získají schopnost vytvářet formální modely a uplatňovat v nich aktuální poznatky současné vědy.
Požadavky
Mgr. úroveň znalostí, dovedností a kompetncí. Schopnost samostudia.e
Garant
prof. RNDr. Jiří Vaníček, CSc.