Předmět Teoretické otázky informatiky (DEIEL10Y)

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 DEIEL10Y - Teoretické otázky informatiky, Provozně ekonomická fakulta, Česká zemědělská univerzita v Praze (ČZU).

Materiál	Typ	Datum	Počet stažení

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.

Literatura

ZákladníJazyk výuky: ČeštinaVaníček, J.; Papík, M.; Pergl, R. a Vaníček, T.: Teoretické základy informatiky, Kernberg Publ., Praha, 2007, 432 stran, ISBN 978-80-903962-4-1Sochor, A.: Klasická matematická logika, Karolinum, Praha, 2001, 404 stran, ISBN 80-246-0218-Balcar, B. a Štěpánek, P.: Teorie množin, Academia, Praha, 2000, 462 stran, ISBN 80-200-0470-XDemel, J.: Grafy a jejich aplikace, Academia, Praha, 2002, 258stran,ISBN 80-200-0990-6Hájek, P.: Methamatematics of Fuzzy Logic, Kluwer Academic Publihers, Gortrecht, 1998, 297 pages, ISBN 0-7923-5238-6Čečkin, A.V.: Matematiceskaja informatika, Nauka, Moskva, 1991, 416 stran, ISBN 5-02-014136-4 (rusky)Kozen, D.C.: The design and analysis of algorithms, Springel Verlag, New York, Berlin, 1991, 324 pages, ISBN 3-540-997082-6DoporučenáJazyk výuky: ČeštinaIndividuální na základě zaměření disertace

Požadavky

Mgr. úroveň znalostí, dovedností a kompetncí. Schopnost samostudia.e

Garant

prof. RNDr. Jiří Vaníček, CSc.