a-i – základní informace o žádosti o akreditaci · 2019-10-02 · b-iii – charakteristika...

verze 16.2.2017

A-I – Základní informace o žádosti o akreditaci

Název vysoké školy: Univerzita Palackého v Olomouci

Název součásti vysoké školy: Přírodovědecká fakulta

Název spolupracující instituce: —

Název studijního programu: Computer Science

Typ žádosti o akreditaci: schválení studijního programu

Schvalující orgán: Rada pro vnitřní hodnocení UP

• Akademický senát PřF UP – kladné vyjádření k návrhu studijního programu 26. září2018

• Vědecká rada PřF UP – schválení návrhu žádosti o udělení oprávnění uskutečňovatstudijní program:

• Rada pro vnitřní hodnocení Univerzity Palackého v Olomouci – schválení žádostio udělení oprávnění uskutečňovat studijní program:

Datum schválení žádosti:

Odkaz na elektronickou podobu žádosti: UPShare: portal.upol.cz

Odkazy na relevantní vnitřní předpisy: UPShare: portal.upol.cz

ISCED F: 0613

verze 16.2.2017

B-I – Charakteristika studijního programu Název studijního programu Computer Science Typ studijního programu doktorský Profil studijního programu akademicky zaměřený Forma studia prezenční, kombinovaná Standardní doba studia 4 Jazyk studia anglický Udělovaný akademický titul doktor (Ph.D.) Rigorózní řízení ne Udělovaný akademický titul Garant studijního programu prof. RNDr. Radim Bělohlávek, DSc. Zaměření na přípravu k výkonu regulovaného povolání

ne

Zaměření na přípravu odborníků z oblasti bezpečnosti České republiky

ne

Uznávací orgán —

Oblast(i) vzdělávání a u kombinovaného studijního programu podíl jednotlivých oblastí vzdělávání v % informatika

Cíle studia ve studijním programu Studijní program připravuje vysoce kvalifikované odborníky v oblasti informatiky. V oblasti, kterou si student zvolí volbou tématu dizertační práce, student získá hluboké znalosti nejnovějších výsledků a trendů. V této oblasti má student být schopen samostatně vytvářet vlastní vědecké výsledky, přednášet o nich a publikovat je na předních odborných fórech (konference a časopisy) v češtině a angličtině. Volbou povinně volitelných předmětů získá také hluboké znalosti přilehlých oblastí. Student postupuje podle individuálního studijního plánu připraveného školitelem. Stěžejní částí studia je samostatná vědecká činnost pod vedení školitele, která je zakončena sepsáním dizertační práce. Témata dizertačních prací se odvozují od témat vědecké činnosti školitelů a zahrnují např. matematickou logiku, relační data, analýzu dat, strojové učení, formální verifikace systémů, konečně-stavových systémů, automatického řízení.

Profil absolventa studijního programu Absolventi získají se seznámí s nejmodernějšími poznatky informatiky v oblastech, na které se volbou tématu dizertační práce zaměří a v oblastech přilehlých. To jsou např. matematická logika, formální metody, vyčíslitelnost a složitost, umělá inteligence, strojové učení, analýza dat, relační data, konečně-stavové systémy, metody formální verifikace. Jsou připraveni pro práci ve výzkumu a vývoji v oblasti informatiky ve veřejném i soukromém sektoru, pro pozice vyžadující mimořádné analytické a tvůrčí schopnosti, popř. pro pozice učitelů na vysokých školách, v ČR i v zahraničí.

Pravidla a podmínky pro tvorbu studijních plánů Pravidla a podmínky pro tvorbu studijních plánů jsou v souladu s vnitřní normou R-B-17/07 Standardy pro institucionální akreditaci a standardy studijních programů na Univerzitě Palackého v Olomouci. Kreditový systém: ECTS.

verze 16.2.2017

Podmínky k přijetí ke studiu Uchazeči jsou přijímáni na základě přijímacího řízení, jehož součástí je přijímací zkouška. Přijímací zkouška má formu odborného pohovoru zaměřeného na oblast, které se student chce v doktorském studiu věnovat. O přijetí rozhoduje na základě doporučení přijímací komise děkan fakulty.

Návaznost na další typy studijních programů Navazuje na navazující magisterský program Informatika a na navazující magisterský program Aplikovaná informatika.

verze 16.2.2017

Návrh studijního plánu v kreditovém systému Vysoká škola Univerzita Palackého v Olomouci

Součást vysoké školy Přírodovědecká fakulta

Název studijního programu Computer Science

Kreditní limit: 240

Kód Název předmětu Počet kreditů Rozsah Zakončení Semestr Profil.

základ

Povinné předměty Počet kreditů: 140 KMI/PGDP1 Doctoral thesis 1 15 - Zp Z ZT KMI/PGDP2 Doctoral thesis 2 15 - Zp L ZT KMI/PGDP3 Doctoral thesis 3 20 - Zp Z ZT KMI/PGDP4 Doctoral thesis 4 20 - Zp L ZT KMI/PGDP5 Doctoral thesis 5 20 - Zp Z ZT KMI/PGDP6 Doctoral thesis 6 20 - Zp L ZT KMI/PGOS1 Research seminar 1 5 - Zp Z/L PZ KMI/PGOS2 Research seminar 2 5 - Zp Z/L PZ KMI/PGST1 Research visit 1 10 30 D Zp Z/L PZ KMI/PGPK Conference presentation 10 - Zp Z/L PZ

Povinně volitelné předměty 1 – jazyková průprava Volba min: 15 kred. VCJ/PGAJ English for students of PhD 15 0+20S+0 Zp, Zk Z/L PZ KMI/PGST2 Research visit 2 15 60 D Zp Z/L PZ

KMI/PGAS1 Research seminar in English 5 - Zp Z/L PZ

KMI/PGAK Presentation in English at international conference 10 - Zp Z/L PZ

Povinně volitelné předměty 2 – oborové Volba min: 25 kred. KAG/PGMI Partially Ordered Sets and Lattice Theory 5 20S+0+0 Zk Z/L ZT

KAG/PGUI Universal Algebra for Computer Scientists 5 20S+0+0 Zk Z/L ZT KMI/PGDA Paralel and Distributed Algorithms 5 20S+0+0 Zk Z/L ZT KMI/PGFL Fuzzy Logic 5 20S+0+0 Zk Z/L ZT KMI/PGFM Fuzzy Sets and their Applications 5 20S+0+0 Zk Z/L ZT KMI/PGFP Functional Programming 5 20S+0+0 Zk Z/L ZT KMI/PGKA Formal Concept Analysis 5 20S+0+0 Zk Z/L ZT KMI/PGKK Quantum Cryptography for Informatics 5 20S+0+0 Zk Z/L ZT KMI/PGLP Logic Programming 5 20S+0+0 Zk Z/L ZT KMI/PGML Mathematical Logic 5 20S+0+0 Zk Z/L ZT KMI/PGMR Machine Learning 5 20S+0+0 Zk Z/L ZT KMI/PGRD Theory of Relational Databases 5 20S+0+0 Zk Z/L ZT KMI/PGSC Soft Computing 5 20S+0+0 Zk Z/L ZT KMI/PGST Exploratory Multivariate Statistical Analysis 5 20S+0+0 Zk Z/L ZT KMI/PGTI Information Theory 5 20S+0+0 Zk Z/L ZT KMI/PGTK Category Theory for Computer Scientists 5 20S+0+0 Zk Z/L ZT KMI/PGTM Model Theory 5 20S+0+0 Zk Z/L ZT KMI/PGTO Topological Methods in Computer Science 5 20S+0+0 Zk Z/L ZT

verze 16.2.2017

KMI/PGTP Hard Problems 5 20S+0+0 Zk Z/L ZT KMI/PGVR Formal Methods for Verification of Systems 5 20S+0+0 Zk Z/L ZT KMI/PGVS Computability and Complexity 5 20S+0+0 Zk Z/L ZT

*Povinně volitelné předměty 3 – publikační činnost Volba min: 40 kred.

KMI/PGIF Principal author of publication in journal with IF 30 - Zp Z/L PZ

KMI/PGIF2 Principal author of publication in journal with IF 2 30 - Zp Z/L PZ

KMI/PGIS1 Coauthor of publication in journal with IF 1 10 - Zp Z/L PZ KMI/PGIS2 Coauthor of publication in journal with IF 2 10 - Zp Z/L -

Povinně volitelné předměty 4 Volba min: 10 kred. PRF/PGMVV Research management 5 0+20HR+0 Zk Z/L PZ KMI/PGPC1 Teaching activity 1 5 - Zp Z/L PZ KMI/PGT Doctoral thesis proposal 10 - Zp Z/L ZT

Volitelné předměty KMI/PGPPA Popularization activities at UP 5 - Zp Z/L - KMI/PGPRO Project activities 5 - Zp Z/L - KMI/PGPC2 Teaching activity 2 5 - Zp Z/L - KMI/PGPC3 Teaching activity 3 5 - Zp Z/L -

verze 16.2.2017

B-IIb – Studijní plány a návrh témat prací (doktorské studijní programy) Studijní povinnosti Studijní povinnosti jsou dány vnitřní normou děkana PřF UP č. PřF-B-18/04-ÚZ01 a individuálním studijním plánem studenta. Student si musí v bloku povinně volitelné předměty 2 zapsat celkem nejméně pět oborových předmětů.

Požadavky na tvůrčí činnost Publikační činnost dle vnitřní normy děkana PřF UP č. PřF-B-18/04-ÚZ01 a individuálním studijním plánem studenta.

Požadavky na absolvování stáží Požadavky jsou dány vnitřní normou děkana PřF UP č. PřF-B-18/04-ÚZ01 a individuálním studijním plánem studenta.

Další studijní povinnosti Další povinnosti jsou dány vnitřní normou děkana PřF UP č. PřF-B-18/04-ÚZ01 a individuálním studijním plánem studenta.

Návrh témat disertačních prací a témata obhájených prací

Navrhovaná témata prací: Faktorová analýza ordinálních dat/Factor analysis of ordinal data Implicitně paralelní překladače pro funkcionální programování/Implicit parallel interpreter for functional programming Rychlé algoritmy pro faktorizaci binárních dat/Fast algorithms for factorization of binary data Metody formální verifikace/Methods for formal verification Faktorizace velkých dat/Factorization of big data Strojové učení a metody faktorizace pro předzpracování dat/Machine learning and factorization methods for data preprocessing Vyhledávání v podobnostních databázích/Search in similarity databases Témata obhájených prací (2015 a později): The role of similarity in relational databases (L. Ježková, 2015) Decompositions of matrices with relational data: foundations and algorithms (M. Trnečka, 2016) Factor analysis of ordinal attributes (2017)

verze 16.2.2017

A model of sets with incomplete information (J. Laštovička, 2018) Temporal attribute implications (J. Tříska, 2018) Two basic problems of incremental construction in formal concept analysis (M. Kauer, 2019) Závěrečné práce v plném znění a posudky jsou zveřejněny na portálu „Studijní agenda UP“ (http://stag.upol.cz).

http://stag.upol.cz/

verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KAG/PGMI - Partially Order. Sets and Lattice Theory Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence

Způsob ověření studijních výsledků

Zkouška Forma výuky p

Forma způsobu ověření studijních výsledků a další požadavky na studenta

Kombinovaná

Garant předmětu prof. RNDr. Ivan Chajda, DrSc. Zapojení garanta do výuky předmětu

p

Vyučující prof. RNDr. Ivan Chajda, DrSc.

Stručná anotace předmětu Předmět seznamuje studenty s uspořádanými množinami a důraz je kladen na speciální uspořádané množiny - svazy. Probrány jsou vlastnosti svazů: vztah svazů jako uspořádaných množin a jako algeber, úplnost svazů a vlastnosti dané identitami (modularita, distributivita). Dále je věnována pozornost vztahu ideálů a jader kongruencí, komplementárním svazům, Booleovým algebrám a dalším speciálním svazům, které hrají roli v neklasických logikách.||1. Úvodní pojmy z teorie svazů|Uspořádané množiny. Typy uspořádání. Hasseovy diagramy. Polosvazy a svazy jako uspořádané množiny a jako algebraické struktury. Významné prvky svazů, spojová a průseková ireducibilita prvků. Úplné svazy. Algebraické svazy. Distributivní svazy a jejich charakterizace. Modulární svazy. Komplementární svazy. Relativně komplementární svazy.||2. Kongruence a ideály|Kongruence, tolerance, faktorové svazy. Ideály, svazy ideálů. Vztah mezi kongruencemi a ideály. Prvoideály a maximální ideály.||3. Booleovy svazy a Booleovy algebry|Booleovy svazy. Booleovy algebry a jejich vlastnosti. Úplné Booleovy algebry. Booleovy okruhy. Booleovské funkce, polynomy, úplné disjunktivní a konjuktivní normální formy. Logické obvody a jejich vztah k Booleovským funkcím. Minimalizační metody.||4. Další témata|Pseudokomplenety, pseudokomplementární svazy, Glivenkova kongruence, relativně pseudokomplementární svazy. Studijní literatura a studijní pomůcky Základní literatura:|Chajda I., Glazek K. (2002). A Basic Course on General Algebra. Technical University Press, Zielona Góra. Doporučená literatura:|Birkhoff G. (1984). Lattice Theory. Publ. Amer. Math. Soc., 3rd ed. |Burris S., Sankappanavar H. P. (1981). A Course in Universal Algebra. Springer-Verlag, New York. |Davey B. A., Priestley H. A. (2002). Introduction to Lattices and Order. Cambridge University Press (druhé vydání). |GRÄTZER G. A. (1998). General Lattice Theory. Birkhauser Verlag Basel-Boston-Berlin. |Schroeder B. S. W. (2003). Ordered Sets, An introduction. Birkhauser, Boston.

Informace ke kombinované nebo distanční formě Rozsah konzultací (soustředění) hodin Informace o způsobu kontaktu s vyučujícím Individuální konzultace s vyučujícím podle potřeby.

verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KAG/PGUI - Universal Algebra for Comp. Scientists Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná

Garant předmětu prof. RNDr. Ivan Chajda, DrSc. Zapojení garanta do výuky předmětu

p

Vyučující prof. RNDr. Ivan Chajda, DrSc.

Stručná anotace předmětu Kurs studenty seznamuje s obecnými algebraickými konstrukcemi a hlavními|výsledky dosaženými v univerzální algebře. Úvod kursu je věnován algebrám|a hlavním algebraickým konstrukcím: podalgebrám, morfismům, součinům,|subdirektní reprezentaci algeber a podobně. Další partie kursu se věnují|třídám algeber definovatelným pomocí identit a kvaziidentit a jejich|algebraické charakterizaci pomocí uzavřenosti na jisté operátory|(Birkhoffova věta o varietách, charakterizace kvazivariet). Kurs je|ukončen vybranými partiemi týkajícími se aplikací výsledků univerzální|algebry v informatice.|| Studijní literatura a studijní pomůcky Základní literatura:|Chajda I., Glazek K. (2002). A Basic Course on General Algebra. Technical University Press, Zielona Góra. Doporučená literatura:|Burris S., Sankappanavar H. P. (1981). A Course in Universal Algebra. Springer-Verlag, New York. |Denecke K., Wismath S. L. (2001). Universal Algebra and Applications in Computer. Chapman & Hall/CRC. |Gratzer G. (1979). Universal Algebra. Springer-Verlag Berlin Heidelberg (druhé vydání). |Ježek J. (1976). Univerzální algebra a teorie modelů. SNTL Praha. |Michael J. O'Donnell. (1985). Equational Logic as a Programming Language. MIT Press. |Wechler W. (1992). Universal Algebra for Computer Scientists. Springer-Verlag Berlin Heidelberg.

Informace ke kombinované nebo distanční formě Rozsah konzultací (soustředění) hodin Informace o způsobu kontaktu s vyučujícím Individuální konzultace s vyučujícím podle potřeby.

verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGAK - Presentation at international conference Typ předmětu Povinně volitelný/PZ doporučený ročník / semestr / Rozsah studijního předmětu hod. 0 kreditů 10 Prerekvizity, korekvizity, ekvivalence


Zápočet Forma výuky


Elektronická verze prezentace.

Garant předmětu prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky předmětu

Kontrola zprávy o účasti na konferenci a podkladů k prezentaci na konferenci, vyhodnocení prezentace na konferenci se studentem.

Vyučující školitelé, prof. RNDr. Radim Bělohlávek, DSc.

Stručná anotace předmětu Výběr vhodného vědeckého výsledku dosaženého studentem pro prezentaci na konferenci a výběr vhodné konference pro prezentaci tohoto výsledku. Příprava materiálů pro zaslání příspěvku na konferenci. Příprava prezentace na konferenci. Aktivní účast na konferenci a prezentace výsledku v anglickém jazyce. Vyhodnocení prezentace na konferenci se školitelem a předsedou oborové rady. Studijní literatura a studijní pomůcky Doporučená literatura:|Aktuální odborná časopisecká a knižní literatura dle tématu prezentace.

Informace ke kombinované nebo distanční formě Rozsah konzultací (soustředění) 0 hodin Informace o způsobu kontaktu s vyučujícím Individuální konzultace s garantem podle potřeby.

verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGAS1 - Research seminar in English Typ předmětu Povinně volitelný/PZ doporučený ročník / semestr / Rozsah studijního předmětu hod. 0 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Ústní

Garant předmětu Mgr. Lucie Vaňková, Ph.D. Zapojení garanta do výuky předmětu

Garant se účastní odborného semináře

Vyučující Mgr. Alena Fridrichová, Mgr. Lucie Vaňková, Ph.D., školitelé

Stručná anotace předmětu Povinností doktoranda je prezentovat postup prací na disertaci a dílčí výsledky v 20minutové prezentaci v anglickém jazyce a v následné diskuzi reagovat anglicky na odborné i laické dotazy. Studijní literatura a studijní pomůcky


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGDA - Parallel and Distributed Algorithms Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná

Garant předmětu doc. Mgr. Jan Outrata, Ph.D. Zapojení garanta do výuky předmětu

p

Vyučující doc. Mgr. Jan Outrata, Ph.D.

Stručná anotace předmětu V předmětu jsou studovány vybrané problémy v distribuovaných systémech a algoritmy jejich řešení. Předmět rozšiřuje úvodní partie z magisterského studia.|Snímkové a vlnové algoritmy.|Vzájemné vyloučení a detekce uváznutí a terminace.|Garbage collection: počítání referencí a trasování.|Směrovací algoritmy.|Volba lídra.|Anonymní a synchronní sítě.|Byzantská dohoda.|Stabilizace algoritmů. Studijní literatura a studijní pomůcky Základní literatura:|Ben-Ari M. (2006). Principles of concurrent and distributed programming. Addison-Wesley. |Lynch Nancy A. Distributed Algorithms. Morgan Kaufmann. |Tel Gerard. Introduction to Distributed Algorithms. Cambridge University Press. |van Steen. M, Tanenbaum A. (2017). Distributed Systems. CreateSpace Independent Publishing Platform. Doporučená literatura:|Attiya Hagit, Welch Jennifer. (2004). Distributed Computing: Fundamentals, Simulations, and Advanced Topics, 2nd Edition. |Ghos, S. (2007). Distributed systems. Chapman & Hall/CRC.

Informace ke kombinované nebo distanční formě Rozsah konzultací (soustředění) hodin Informace o způsobu kontaktu s vyučujícím Individuální konzultace s garantem podle potřeby.

verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGDP1 - Doctoral Thesis 1 Typ předmětu Povinný/ZT doporučený ročník / semestr /ZS Rozsah studijního předmětu hod. 0 kreditů 15 Prerekvizity, korekvizity, ekvivalence




Zápočet předmětu navrhuje školitel na základě průběžného zhodnocení výzkumné činnosti studenta a zapisuje garant předmětu (předseda oborové rady).


Garant jako předseda oborové rady dohlíží na řádný průběh doktorského studia a organizuje každoroční hodnocení studentů doktorského studia oborovou radou.

Vyučující školitelé, příp. konzultanti, prof. RNDr. Radim Bělohlávek, DSc.

Stručná anotace předmětu Vědecká činnost studenta pod vedením školitele. Zahrnuje zejména vlastní tvůrčí činnost, dále pak studium odborné literatury a zpracování výsledků tvůrčí činnosti do prezentovatelné podoby. Studijní literatura a studijní pomůcky Doporučená literatura:|Aktuální odborná časopisecká a knižní literatura vztahující se k tématu disertační práce.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGDP2 - Doctoral Thesis 2 Typ předmětu Povinný/ZT doporučený ročník / semestr /LS Rozsah studijního předmětu hod. 0 kreditů 15 Prerekvizity, korekvizity, ekvivalence










verze 19.3.2018









Stručná anotace předmětu Vědecká činnost studenta pod vedením školitele. Zahrnuje zejména vlastní tvůrčí činnost, dále pak studium odborné literatury a zpracování výsledků tvůrčí činnosti do prezentovatelné podoby. Studijní literatura a studijní pomůcky Doporučená literatura:|Aktuální odborná časopisecká a knižní literatura vztahující se k tématu disertační práce. |Aktuální odborná časopisecká a knižní literatura vztahující se k tématu disertační práce.


verze 19.3.2018











verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGFL - Fuzzy Logic Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná

Garant předmětu doc. RNDr. Jan Konečný, Ph.D. Zapojení garanta do výuky předmětu

p

Vyučující doc. RNDr. Jan Konečný, Ph.D.

Stručná anotace předmětu Struktury pravdivostních hodnot: Reziduované svazy a jejich vlastnosti. Podtřídy reziduovaných svazů dané identitami: MTL-algebry, BL-algebry, MV-algebry, G-algebry, Pi-algebry. Filtry na reziduovaných svazech. Subdirektní reprezentace MTL a BL-algeber.||Výroková BL-logika a její schématická rozšíření: Jazyk výrokové BL-logiky, formule, axiomatický systém. Odvozené logické spojky. Dokazatelnost, věta o dedukci. Korektnost a úplnost výrokové BL-logiky. Schématické rozšíření, Lukasiewiczova logika, Goedelova logika, produktová logika a jejich standardní úplnost.||Pavelkova abstraktní logika: Logika s ohodnocenou syntaxí. Teorie jako fuzzy množiny formulí. Vážené důkazy a stupně dokazatelnosti. Obecný koncept úplnosti v Pavelkově stylu. Příklady konkrétních kalkulů: Pavelkova racionální logika a důkaz úplnosti.||Predikátová BL-logika a další logiky: Fuzzy struktury, safe interpretace. Úplnost predikátové BL-logiky. Výroková a predikátová MTL-logika. Rozšíření logik o unární spojky (Baazovo delta a jiné). Fuzzy logika versus modality a zobecněné kvantifikátory. Fuzzy logické kalkuly pracující s formulemi ve speciálním tvaru: fuzzy ekvacionální logika, fuzzy hornovská logika, logika fuzzy atributových implikací.||Fuzzy struktury a jejich vlastnosti: Fuzzy množiny a fuzzy relace (v naivním smyslu) jako speciální fuzzy struktury. Vlastnosti fuzzy struktur. Reprezentace fuzzy struktur pomocí klasických množin (řezová reprezentace). Speciální fuzzy relace: podobnost, fuzzy rovnost. Kompatibilita a zachovávání podobnosti. Řezová sémantika. Studijní literatura a studijní pomůcky Základní literatura:|Belohlavek R., Dauben, J. W., Klir, G. J. (2017). Fuzzy Logic and Mathematics: A Historical Perspective. |Klir G. J., Yuan B. (1995). Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall. Doporučená literatura:|Bělohlávek R. (2002). Fuzzy Relational Systems: Foundations and Principles. NY: Kluwer Academic/Plenum Press (Vol.20 of IFSR Int. Series on Systems Science and Engineering). |Bělohlávek R., Vychodil V. (2005). Fuzzy Equational Logic. Springer-Verlag. |Gerla G. (2001). Fuzzy Logic. Mathematical Tools for Approximate Reasoning. Kluwer, Dordrecht. |Gottwald S. (2001). A Treatise on Many-Valued Logics. Taylor & Francis Group. |Hájek P. (1998). Metamathematics of Fuzzy Logic. Kluwer, Dordrecht. |Klement E. P., Mesiar R., Pap E. (2000). Triangular Norms. Kluwer, Dordrecht.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGFM - Fuzzy Sets and their Applications Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná

Garant předmětu doc. RNDr. Michal Krupka, Ph.D. Zapojení garanta do výuky předmětu

p

Vyučující doc. RNDr. Michal Krupka, Ph.D.

Stručná anotace předmětu Předmět podává přehled o teorii fuzzy množin a jejich vybraných aplikacích, je zaměřen na vybrané aktuální oblasti výzkumu.|Struktury pravdivostních hodnot, logické spojky ve fuzzy logice, t-(ko)normy, reziduované svazy, agregace, věty o reprezentaci.|- Fuzzy množiny, fuzzy relace, operace s fuzzy množinami a fuzzy relacemi, reprezentace řezy, zobecněné fuzzy množiny. Základní typy fuzzy relací na množině, stupňovité vlastnosti fuzzy relací. Speciální typy fuzzy množin (fuzzy čísla a intervaly). Zobecněné fuzzy množiny (typu 2) a jejich algebra.|Fuzzy množiny a fuzzy relace -- pokročilé partie.|Fuzzy relační rovnice, jejich řešitelnost, metody řešení, aplikace.|- Fuzzifikace, intuitivní postup, postup z hlediska fuzzy logiky, základní požadavky. Princip rozšíření.|Fuzzifikace, základní požadavky, možné přístupy a jejich porovnání. Principy rozšíření.|Pravidlové fuzzy systémy a fuzzy regulátory, inference, fuzzifikace a defuzifikace, univerzální aproximační schopnost různých systémů.|Fuzzy shlukování.|Fuzzy množiny a databáze, relační model dat nad doménami s podobností. Fuzzy množiny a získávání informací (information retrieval).|Fuzzy automaty, fuzzy jazyky. Různé přístupy a aplikace.| Studijní literatura a studijní pomůcky Základní literatura:|Klir G. J., Yuan B. (1995). Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall. Doporučená literatura:|Bělohlávek R. (2002). Fuzzy Relational Systems: Foundations and Principles. NY: Kluwer Academic/Plenum Press (Vol.20 of IFSR Int. Series on Systems Science and Engineering). |Gottwald S. (2001). A Treatise on Many-Valued Logics. Taylor & Francis Group. |Nguyen H. T., Walker E. A. (2005). A First Course in Fuzzy Logic. Chapman & Hall/CRC; 3 edition. |Radim Bělohlávek, Joseph W. Dauben, George J. Klir. (2017). Fuzzy Logic and Mathematics: A Historical Perspective. Oxford.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGFP - Functional Programming Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná


p


Stručná anotace předmětu Předmět se zabývá metodami funkcionálního programování, vztahem k lambda kalkulu a souvisejícími výpočetními modely. Obsah je zaměřen na teoretické aspekty funkcionálního programování a výrazně rozšiřuje úvodní představení základních konceptů v bakalářském a magisterském studiu.|Funkcionální programování a lambda kalkul: Syntax lambda výrazů a jejich vyhodnocování. Aplikace funkcí a currying, Lambda abstrakce. Operační sémantika lambda kalkulu: vázané a volné proměnné, beta-konverze, alfa-konverze; vzájemná zastupitelnost. Přepisovací systémy, terminace, konfluence, Churchova-Rosserova vlastnost, normální formy. Vazba na čistý lambda kalkul. Reprezentace booleovských formulí, přirozených čísel, $n$-tic. Vyčíslitelné funkce: lambda-vyčíslitelné, totální rekurzivní, částečné rekurzivní. Věty o pevném bodu, nerozhodnutelné vlastnosti. Rekurzivní funkce, Y kombinátor jako lambda abstrakce. Denotační sémantika lambda kalkulu. Překlad vyššího programovacího jazyka do lambda kalkulu: let-výrazy, letrec-výrazy, strukturované typy a porovnávání se vzory. |Funkcionální programování a uspořádané algebry: Specifikace abstraktních datových typů: vícedruhové algebry, jejich podalgebry, morfismy a součiny; princip konečné algebraické rekurze; ekvacionální teorie, vícedruhová ekvacionální logika; ekvacionální specifikace; počáteční sémantika a operační sémantika. Uspořádané algebry, jejich morfismy a součiny. Uspořádané variety a jejich charakterizace pomocí volných uspořádaných algeber. Logika nerovností (inekvacionální logika). Striktní uspořádané algebry, omega-uspořádané algebry. Rekurzivní schémata funkcionálních programů a jejich sémantika, vypočtené hodnoty, symbolická řešení, sémantické ekvivalence. |Zásobníkový model vyhodnocování symbolických výrazů: Funkcionální programy jako posloupnosti symbolických výrazů. Zásobníkový vyhodnocovací proces. Elementy jazyka: primitivní a definované procedury (funkce), speciální formy, makra, prostředí, páry. Rozšiřování vyhodnocovacího procesu: lexikální a dynamické vazby, líné vyhodnocování, vyhodnocování s vyrovnávací pamětí, imperativní rysy, únikové funkce, aktuální pokračování, nedeterminismus a paralelismus. Metody implementace interpretů a překladačů funkcionálních programovacích jazyků. | Studijní literatura a studijní pomůcky Základní literatura:|Bird R., Wadler P. (1988). Introduction to Functional Programming. Prentice Hall, Englewood Cliffs, New Jersey. |Peyton Jones S. L. (1987). The Implementation of Functional Programming Languages. Prentice Hall. Doporučená literatura:|Barendregt H. P. (1997). The Lambda Calculus: its Syntax and Semantics. 2nd reprint. Elsevier, Amsterdam. |Church A. (1941). The Calculi of Lambda Conversion. Princeton University Press, Princeton, NJ. |H. Abelson, G. J. Sussman. (1985). Structure and Interpretation of Computer Programs (SICP). MIT Press. |Leeuwen, J. van (ed.). (1994). Handbook Of Theoretical Computer Science: Formal Models and Semantics. Volume B, Elsevier. |Manis V. S., Little J. J. (1995). The Schematics of Computation. Prentice Hall, Englewood Cliffs, New Jersey. |Wechler W. (1992). Universal Algebra for Computer Scientists. Springer-Verlag Berlin Heidelberg. |Zlatuška J. (1993). Lambda-kalkul. Vydavatelství MU, Brno.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGIF - Principal author of publication in journal with IF Typ předmětu Povinně volitelný/PZ doporučený ročník / semestr / Rozsah studijního předmětu hod. 0 kreditů 30 Prerekvizity, korekvizity, ekvivalence




Publikovaná práce v časopise s IF nebo ve sborníku konference CORE A*, A nebo B


Garant ověří, že práce má předepsané parametry a že student je jejím hlavním autorem

Vyučující školitelé

Stručná anotace předmětu Získání nových vědeckých výsledků. Příprava vědecké publikace na základě dosažených výsledků. Publikování této publikace jako hlavní autor v impaktovaném mezinárodním vědeckém časopise evidovaném v databázi WOS nebo ve sborníku konference uvedené v seznamu CORE s hodnocením A*, A nebo B. Studijní literatura a studijní pomůcky Doporučená literatura:|Odborná časopisecká a knižní literatura dle zaměření a tématu připravované vědecké publikace.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGIF2 - Principal author of publication in journal with IF 2 Typ předmětu Povinně volitelný/PZ doporučený ročník / semestr / Rozsah studijního předmětu hod. 0 kreditů 30 Prerekvizity, korekvizity, ekvivalence




Publikovaná práce v časopise s IF nebo ve sborníku konference CORE A*, A nebo B.


Garant ověří, že práce má předepsané parametry a že student je jejím hlavním autorem


Stručná anotace předmětu Získání nových vědeckých výsledků. Příprava vědecké publikace na základě dosažených výsledků. Publikování této publikace jako hlavní autor v impaktovaném mezinárodním vědeckém časopise evidovaném v databázi WOS nebo ve sborníku konference uvedené v seznamu CORE s hodnocením A*, A nebo B. Studijní literatura a studijní pomůcky Doporučená literatura:|Odborná časopisecká a knižní literatura dle zaměření a tématu připravované vědecké publikace.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGIS1 - Coauthor of publication in journal with IF 1 Typ předmětu Povinně volitelný/PZ doporučený ročník / semestr / Rozsah studijního předmětu hod. 0 kreditů 10 Prerekvizity, korekvizity, ekvivalence






Garant ověří, že práce má předepsané parametry a že student je jejím spoluautorem


Stručná anotace předmětu Získání nových vědeckých výsledků. Příprava vědecké publikace na základě dosažených výsledků. Publikování této publikace jako spoluautor v impaktovaném mezinárodním vědeckém časopise evidovaném v databázi WOS nebo ve sborníku konference uvedené v seznamu CORE s hodnocením A*, A nebo B. Studijní literatura a studijní pomůcky Doporučená literatura:|Odborná časopisecká a knižní literatura dle zaměření a tématu připravované vědecké publikace.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGIS2 - Coauthor of publication in journal with IF 2 Typ předmětu Povinně volitelný doporučený ročník / semestr / Rozsah studijního předmětu hod. 0 kreditů 10 Prerekvizity, korekvizity, ekvivalence






Garant ověří, že práce má předepsané parametry a že student je jejím spoluautorem


Stručná anotace předmětu Získání nových vědeckých výsledků. Příprava vědecké publikace na základě dosažených výsledků. Publikování této publikace jako spoluautor v impaktovaném mezinárodním vědeckém časopise evidovaném v databázi WOS nebo ve sborníku konference uvedené v seznamu CORE s hodnocením A*, A nebo B. Studijní literatura a studijní pomůcky Doporučená literatura:|Odborná časopisecká a knižní literatura dle zaměření a tématu připravované vědecké publikace.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGKA - Formal Concept Analysis Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná


p

Vyučující prof. RNDr. Radim Bělohlávek, Ph.D., DSc.

Stručná anotace předmětu Pozornost je věnována dvěma základním výstupům konceptuální analýzy -- konceptuálním svazům a atributovým implikacím. Důraz je kladen na teoretické základy a algoritmy pro vybrané problémy. Samostatná část kursu je věnována rozšířením konceptuální analýzy z pohledu vícehodnotových logik, zejména fuzzy logiky.||Formální kontext a konceptuální svaz:|Úvod do formální konceptuální analýzy. Formální kontext, formální koncept, konceptuální svaz. Matematické struktury na pozadí konceptuální analýzy: Galoisovy konexe a uzávěrové operátory. Hlavní věta o konceptuálních svazech. Vícehodnotové kontexty, |škálování a faktorizace konceptuálních svazů.||Atributové implikace: |Atributové implikace: definice pojmu, atributové implikace jako predikátové formule, pravdivost atributových implikací. Atributové implikace generované z dat: úplné množiny atributových implikací, neredundantní báze kontextů, minimální báze kontextů. Stanovení minimálních bází pomocí pseudo-intentů. Vztah atributových implikací a funkčních závislostí. Vztah atributových implikací a asociačních pravidel.||Algoritmy:|Algoritmy pro výpočet konceptuálního svazu. Neinkrementální algoritmy (Ganterův algoritmus, Lindigův algoritmus, Titanic). Analýza složitosti algoritmů. Inkrementální algoritmy. Algoritmy pro výpočet minimálních bází kontextů.|Úplné kongruence a uzavřené podrelace:|Úplné tolerance a blokové relace. Dimenze kontextu. Morfismy kontextů. Měření, škálové míry.||Rozšíření z pohledu vícehodnotových logik:|Fuzzy kontexty, fuzzy koncepty, fuzzy konceptuální svazy. Hlavní věta fuzzy konceptuálních svazů. Metody redukce počtu fuzzy konceptů. Metody faktorizace fuzzy konceptuálních svazů pomocí relace podobnosti. Atributové implikace mezi fuzzy atributy: atributové implikace jako formule, pravdivost implikací, sémantické vyplývání a jeho axiomatizace, hledání minimálních bází.||Vybrané aplikace formální konceptuální analýzy:|Information retrieval, softwarové inženýrství, neredundantní báze asociačních pravidel, faktorová analýza.| Studijní literatura a studijní pomůcky Základní literatura:|Ganter B., Wille R. (1999). Formal Concept Analysis. Mathematical Foundations. Springer, Berlin. Doporučená literatura:|Adamo J.-M. (2001). Data Mining for Association Rules and Sequential Patterns. Sequential and Parallel Algorithms. Springer, New York. |Bělohlávek R. (2002). Fuzzy Relational Systems: Foundations and Principles. NY: Kluwer Academic/Plenum Press (Vol.20 of IFSR Int. Series on Systems Science and Engineering). |Carpineto C., Romano G. (2004). Concept Data Analysis : Theory and Applications. John Wiley & Sons. |Everitt, B. S. (2001). Cluster Analysis, 4th ed. Edward Arnold. |Hand D. J., Mannila H., Smyth P. (2001). Principles of Data Mining. MIT Press, Cambridge, MA.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGKK - Quantum Cryptography for Informatics Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná

Garant předmětu prof. Mgr. Radim Filip, Ph.D. Zapojení garanta do výuky předmětu

p

Vyučující prof. Mgr. Radim Filip, Ph.D.

Stručná anotace předmětu 1. Matematický základ kvantové mechaniky: Hilbertův prostor nad tělesem komplexních čísel, ortonormalita vektorů, vlastnosti a reprezentace operátorů, tenzorový součin Hilbertových prostorů, vlastnosti projektorů, kompletně positivní mapy. |2. Fyzikální principy kvantové mechaniky: postuláty kvantové mechaniky, kvantová interference, porušení lokálního realismu klasické teorie, evoluce kvantových systémů, kvantové kanály, měření v kvantové mechanice.|3. Kvantová informace: kvantový bit, kvantový analogový signál, diskriminace kvantových stavů, kvantové klonování, kvantová provázanost, míry kvantové provázanosti. |4. Kvantové kanály, klasická a kvantová kapacita kvantového kanálu, kvantové kódy. |5. Principy kvantové kryptografie: protokol Bennet-Brassard (BB84), protokol Bennet (B92), protokol s využitím provázaných stavů. |6. Podmíněná a nepodmíněná bezpečnost kvantové kryptografie, kvantové opakovače, optimální individuální a kolektivní odposlech, nepodmíněná bezpečnost, robustnost kvantové kryptografie. |7. Experimentální realizace kvantové kryptografie: fotonové protokoly, protokoly s koherentními stavy a provázanými stavy, kvantové paměti, experimentální realizace kvantových opakovačů. |8. Současné problémy kvantové kryptografie. |9. Kryptografické protokoly s více účastníky: kvantová provázanost mezi více účastníky, GHZ a W stavy, kvantové sdílení tajemství. Studijní literatura a studijní pomůcky Doporučená literatura:|Alber G., Beth T., Horodecki M., Horodecki P., Rötteler M., Weinfurter H., Werner R. F., Zeilinger A. (2001). Quantum Information. Springer Tracks in Modern Physics. |Bouwmeester D., Ekert A., Zeilinger A. (2000). The Physics of Quantum Information. Spriger-Verlag. |Formánek J. (2004). Úvod do kvantové teorie, část I. Academia, Praha. |Formánek J. (2004). Úvod do kvantové teorie, část II. Academia, Praha. |Gisin N., Ribordy G., Tittel W. and Zbinden H. (2002). Quantum cryptography. Rev. Mod. Phys. 74, 145-195. |Lo H.-K., Spiller T., Popescu S. (1999). Introduction to Quantum Computation and Information. World Scientific Publishing Company. |Nielsen M. A., Chuang, I. L. (2004). Quantum Computation and Quantum Information. Cambridge University Press. |Peres A. (1996). Quantum Theory: Concepts and Methods. Kluwer, Dordrecht.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGLP - Logic Programming Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná

Garant předmětu doc. RNDr. Miroslav Kolařík, Ph.D. Zapojení garanta do výuky předmětu

p

Vyučující doc. RNDr. Miroslav Kolařík, Ph.D.

Stručná anotace předmětu Předmět podrobněji seznamuje studenty s logickým programováním, nad rámec úvodního představení v magisterském studiu. Je zaměřen na teoretické aspekty logického programování související se sémantikami logického programu, modely jeho výpočtu a propojením s predikátovou logikou.||Logické programování. Logický program a jeho sémantika: Logické paradigma jako jedno z paradigmat programování. Definitní programy a jejich syntaxe. Klauzule, fakta, pravidla a dotazy. Deklarativní sémantika definitního programu: Herbrandova struktura, Herbrandův model, nejmenší Herbrandův model a jeho nalezení. Sémantické vyplývání z definitních programů. Substituce, aplikace substituce, uzavřené instance klausulí, korektní odpovědi. Čisté logické programování a PROLOG.||Procedurální sémantika logického programu. Rekurzivní datové struktury: konečné a nekonečné Herbrandovy modely. Rekurzivní pravidla. Unifikace. Nedeterministická inference. Metody odstranění nedeterminismu. Nejobecnější unifikátor a jeho nalezení. Procedurální sémantika definitního programu. Vztah deklarativní a procedurální sémantiky: korektní odpovědi versus vypočtené odpovědi. Činnost zásobníku během výpočtu PROLOGu, backtracking, nalezení alternativních řešení. ||Řezy a negace v logickém programování: Metalogický predikát řezu. Výpočtová efektivita a řezy. Řízení výpočtu pomocí řezů. Činnost zásobníku během výpočtu PROLOGu obohaceného o řezy. Vytváření podmínek a cyklů pomocí vestavěných predikátů. Teoretické přístupy k negaci: předpoklad uzavřenosti světa; negace pomocí neúspěchu v konečně mnoha krocích. Problém neexistence Herbrandovského modelu při použití negace. SLDNF-rezoluce. Zavedení negace pomocí řezu.||Logické programování a matematická logika: propojení logického programování a klasické predikátové logiky. Logický program jako teorie prvního řádu. Herbrandovské modely jako struktury prvního řádu. Princip obecné rezoluční metody a její adaptace pro definitní programy. Korektnost a úplnost SLD-rezoluce. | Studijní literatura a studijní pomůcky Základní literatura:|Bratko, I. (2011). Prolog, Programming for Artificial Intelligence. Addison Wesley. |Lloyd, J. W. (1987). Foundations of Logic Programming. Springer-Verlag, New York (second edition). |M. Kifer, Y. A. Liu. (2018). Declarative Logic Programming: Theory, Systems, and Applications. Morgan & Claypool. Doporučená literatura:|Brož, M. (2004). Microsoft Office Word 2003 : podrobná uživatelská příručka. Brno : Computer Press. |Jirků P. a kol. (1991). Programování v jazyku Prolog. SNTL, Praha. |Nerode A., Shore R. A. (1997). Logic for Applications. Springer-Verlag, New York (second edition). |Nilsson U., Maluszynski J. (1995). Logic, programming and PROLOG, el. verze: http://www.ida.liu.se/~ulfni/lpp/. John Wiley & Sons Ltd., Chichester (druhé vydání).


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGML - Mathematical Logic Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná


p


Stručná anotace předmětu Předpokládá se znalost základních partií výrokové a predikátové logiky|(syntax, sémantika, úplnost). Obsahem je jednak prohloubení znalostí těchto partií,|jednak (a to zejména) pokročilé partie klasické matematické logiky a vybraných|neklasických logik. Studenti budou připraveni na studium dalších logických kalkulů, případně na jejich aplikace v informatice (analýza dat, relační databáze, a podobně).||Metody důkazů vět o úplnosti klasické logiky a vybraných neklasických logik,|jejich historický vývoj.||Přidání funkčních symbolů a další rozšíření jazyka. Hilbert-Ackermannova věta. |Skolemizace, Herbrandova věta, Skolemova věta.||Základy teorie modelů klasické predikátové logiky: elementární ekvivalence, |Löwenheim-Skolemovy věty, pomíjení typů, saturovanost, kategoricita, ultraprodukt|a jeho použití, úplnost teorií. ||Omezení predikátové logiky (vlastnosti struktur, které nelze vyjádřit teoriemi prvního |řádu). Logika druhého a vyšších řádů, základní vlastnosti. ||Vybrané negativní výsledky v logice. Neúplnost (Gödelovo číslování, aritmetizace logiky, Gödelovy věty o neúplnosti); nerozhodnutelnost (a rozhodnutelnost) vybraných problémů |v logice.||Úvod do vybraných rozšíření klasické logiky. Modální a temporální logiky, fuzzy logiky, pravděpodobnostní logiky. | Studijní literatura a studijní pomůcky Základní literatura:|Mendelson E. (1997). Introduction to Mathematical Logic. Chapman & Hall, UK (fourth edition). |Sochor A. (2001). Klasická matematická logika. Karolinum, Praha. Doporučená literatura:|Ben-Ari M. (2001). Mathematical Logic for Computer Science. Springer-Verlag, London (druhé vydání). |Chaitin G. J. (1998). The Limits of Mathematics. Springer-Verlag, Singapore (druhé vydání). |Nerode A., Shore R. A. (1997). Logic for Applications. Springer-Verlag, New York (second edition). |Zhongwan L. (1998). Mathematical Logic for Computer Science. World Scientific (druhé vydání). |Švejdar V. (2002). Logika: neúplnost, složitost a nutnost. Academia, Praha.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGMR - Machine learning Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná

Garant předmětu doc. Mgr. Jan Outrata, Ph.D. Zapojení garanta do výuky předmětu

p

Vyučující doc. Mgr. Jan Outrata, Ph.D.

Stručná anotace předmětu 1. Shlukování.|2. Klasifikace.|3. Závislosti v datech.|4. Grafové modely.|5. Redukce dimenzionality.

Studijní literatura a studijní pomůcky Základní literatura:|C. Borgelt, M. Steinbrecher, R. Kruse. Graphical Models Representations for Learning, Reasoning and Data Mining. |Ian Goodfellow and Yoshua Bengio and Aaron Courville. Deep Learning. |Kruse, R., Borgelt, C., Braune, C., Mostaghim, S., Steinbrecher, M. Computational Intelligence. |Pang-Ning Tan Michael Steinbach Vipin Kumar. Introduction to Data Mining. Doporučená literatura:|Christopher Bishop. Pattern Recognition and Machine Learning. |K. P. Murphy. Machine Learning: A Probabilistic Perspective. |Nielsen, Thomas Dyhre, VERNER JENSEN, FINN. Bayesian Networks and Decision Graphs. |T. Hastie R. Tibshirani:. (2016). The Elements of Statistical Learning: Data Mining, Inference, and Prediction. Springer.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGOS1 - Research seminar 1 Typ předmětu Povinný/PZ doporučený ročník / semestr / Rozsah studijního předmětu hod. 0 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Ústní prezentace na semináři.


Garant participuje na organizaci odborného semináře a účastní se ho


Stručná anotace předmětu Prezentace na odborném semináři konaném na školicím pracovišti. Téma prezentace musí souviset s tématem disertační práce studenta a cílem prezentace je poskytnout informace o dosavadním průběhu a výsledcích výzkumu studenta během doktorského studia. Studijní literatura a studijní pomůcky Doporučená literatura:|Aktuální odborná časopisecká a knižní literatura vztahující se k tématu semináře.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGOS2 - Research seminar 2 Typ předmětu Povinný/PZ doporučený ročník / semestr / Rozsah studijního předmětu hod. 0 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Ústní prezentace na semináři.


Garant participuje na organizaci odborného semináře a účastní se ho


Stručná anotace předmětu Prezentace na odborném semináři konaném na školicím pracovišti. Téma prezentace musí souviset s tématem disertační práce studenta a cílem prezentace je poskytnout informace o dosavadním průběhu a výsledcích výzkumu studenta během doktorského studia. Studijní literatura a studijní pomůcky Doporučená literatura:|Aktuální odborná časopisecká a knižní literatura vztahující se k tématu semináře.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGPC1 - Teaching activity 1 Typ předmětu Povinně volitelný/PZ doporučený ročník / semestr / Rozsah studijního předmětu hod. 0 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Podíl na výuce odborného předmětu v rozsahu 4-6 hodin týdně.


Garant se podílí na výběru vhodného předmětu, na jehož výuce se student podílí, a na vyhodnocení zpětné vazby pro studenta

Vyučující garant předmětu, na jehož výuce se student podílí, prof. RNDr. Radim Bělohlávek, DSc.

Stručná anotace předmětu Podíl na výuce odborného předmětu na katedře, vedení cvičení.

Studijní literatura a studijní pomůcky Doporučená literatura:|Odborná literatura dle daného vyučovaného předmětu.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGPK - Conference presentation Typ předmětu Povinný/PZ doporučený ročník / semestr / Rozsah studijního předmětu hod. 0 kreditů 10 Prerekvizity, korekvizity, ekvivalence




Elektronická verze prezentace.


Kontrola zprávy o účasti na konferenci a podkladů k prezentaci na konferenci, vyhodnocení prezentace na konferenci se studentem.


Stručná anotace předmětu Výběr vhodného vědeckého výsledku dosaženého studentem pro prezentaci na konferenci a výběr vhodné konference pro prezentaci tohoto výsledku. Příprava materiálů pro zaslání příspěvku na konferenci. Příprava prezentace na konferenci. Aktivní účast na konferenci a prezentace výsledku. Vyhodnocení prezentace na konferenci se školitelem a předsedou oborové rady. Studijní literatura a studijní pomůcky Doporučená literatura:|Aktuální odborná časopisecká a knižní literatura dle tématu prezentace.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGRD - Theory of Relational Databases Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná


p


Stručná anotace předmětu Předmět v první části dále prohlubuje teoretické znalosti relačních databází z bakalářského a magisterského studia. Obsaženy jsou pokročilé partie z funkčních závislostí a normalizace relačního schématu databáze a z dotazovacích jazyků. |Ve druhé části jsou představena rozšíření relačního databázového modelu, zejména modely zaměřené na práci s neurčitostí.||Relační databázový model: Relační databáze. Relační schéma, atributy a domény. Relace nad relačním schématem. Vztah relací a datových tabulek. Operace s relacemi: booleovské operace; selekce, projekce, spojení (přirozené spojení, spojení na rovnost, vnější spojení). Vlastnosti relačních operací. Relační algebra. Relační kalkul a jeho úplnost.||Funkční závislosti a normalizace: Funkční závislosti a jejich platnost. Klíče. Sémantické vyplývání z funkčních závislostí. Sémantické ekvivalence množin funkčních závislostí. Syntaktické vyplývání z funkčních závislostí: Armstrongova pravidla, dokazatelnost. Úplnost logiky funkčních závislostí. Druhá a třetí normální forma relačních schémat. Dekompozice relací. Hledání minimálních bází funkčních závislostí. Redukce levých a pravých stran funkčních závislostí. Algoritmy pro ověření sémantického vyplývání. RAP-sekvence a DAG-diagramy. Struktura neredundantních a minimálních množin funkčních závislostí. Boyce-Coddova normální forma. Multifunkční závislosti. Bezeztrátová dekompozice tabulek. ||Dotazovací jazyky: Strukturovaný dotazovací jazyk SQL: tabulky, sekvence, indexy, typy indexů, integritní omezení, operace se záznamy, dotazování, pohledy a snímky, kurzory. Logický dotazovací jazyk DATALOG: predikáty, atomy, pravidla a dotazy; vztah relační algebry a DATALOGu; rekurzivní pravidla a jejich sémantika, pevné body, problémy týkající se negace. ||Rozšíření databázového modelu o neurčitost: Relační model dat s doménami s podobností, datové závislosti, relační algebra a kalkul, různé přístupy. Pravděpodobnostní rozšíření relačního modelu dat. Studijní literatura a studijní pomůcky Základní literatura:|Garcia-Molina H., Ullman J. D., Widom J. (2002). Database Systems, The Complete Book. Prentice Hall, Inc., Upper Saddle River, NJ. |Maier D. (1983). Theory of Relational Databases. Computer Science Press, Rockville. Doporučená literatura:|Codd E. F. (1990). The Relational Model For Database Management: Vesion 2. Addison-Wesley, Reading, Mass. |Date C. J. (2000). An Introduction to Database Systems. Addison-Wesley, Reading, Mass. (sedmé vydání). |Date C. J. (2001). The Database Relational Model, A Retrospective Review and Analysis. Addison-Wesley Longman, Inc. |Galindo J., Urrutia A., Piattini M. (2006). Fuzzy Databases: Modeling, Design and Implementation. Idea Group Publ., Hershey, PA. |Gallaire H., Minker J. (1978). Logic and Databases. Plenum Press, NY. |Johnson James L. (1997). Database Models, Languages, Design. Oxford University Press. |Simovici D. A., Tenney R. L. (1995). Relational Database Systems. Academic Press. |Zaniolo Carlo a kol. (1997). Advanced Database Systems. Morgan Kaufmann, San Francisco.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGSC - Soft Computing Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná


p


Stručná anotace předmětu Přehled poskytuje úvod pro studium oblastí soft computing. Zaměřuje se na teorie a aplikace fuzzy množin, teorie neurčitosti, neuronových sítí a genetických algoritmů.|Fuzzy množiny: fuzzy množiny a operace s nimi, fuzzy relace a operace s nimi, základní typy fuzzy relací. Vybrané aplikace fuzzy množin: pravidlové systémy, fuzzy regulátory, aproximační vlastnosti.|Teorie neurčitosti založené na monotónních měrách: Choquetovy kapacity, possibility/necessity míry, belief/plausibility míry, pravděpodobnostní míry, další speciální míry.|Rough sets, nerozlišitelnost, horní a dolní aproximace a související pojmy, zejm. pojmy informační systém, rozhodovací tabulka, indukované relace. Rough sets a fuzzy množiny. Vybrané oblasti použití rough sets.|Neuronové sítě: základní pojmy, neuron, neuronová síť, učení, trénovací a testovací množina. Jednoduchý perceptron a jeho adaptace. Vícevrstvé neuronové sítě, univerzální aproximační schopnost, adaptace metodou backpropagation. Příklady použití vícevrstvých neuronových sítí. Vybrané teoretické problémy (složitost učení, aproximační vlastnosti). Hopfieldovy a asociativní neuronové sítě: architektura, stabilita, adaptace, použití v optimalizačních problémech (stabilní body jako řešení).|Genetické algoritmy: základní princip a pojmy, Hollandova věta o schématech. Studijní literatura a studijní pomůcky Základní literatura:|Nguyen H. T., Walker E. (1997). A first course in fuzzy logic. |Rojas R. (1996). Neural Networks: A Systematic Introduction. Springer. Doporučená literatura:|Goldberg D. E. (1989). Genetic Algorithms in Search, Optimization & Machine Learning. Addison-Wesley, New York. |Klir G. J., Yuan B. (1995). Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGST - Exploratory Multivariate Statistical Analysis Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná

Garant předmětu doc. RNDr. Karel Hron, Ph.D. Zapojení garanta do výuky předmětu

p

Vyučující doc. RNDr. Karel Hron, Ph.D.

Stručná anotace předmětu Předmět je určen pro studenty doktorského studia informatiky zaměřené na metody analýzy relačních dat. Podává přehled o vybraných metodách klasické statistické analýzy dat.||- Úvod do mnohorozměrné statistiky: zobrazení dat, předzpracování.|- Maticová algebra a náhodné vektory.|- Geometrie výběrového prostoru a náhodný výběr.|- Mnohorozměrné normální rozdělení.|- Metoda hlavních komponent.|- Faktorová analýza.|- Faktorová analýza pro binární data.|- Shluková analýza. Studijní literatura a studijní pomůcky Doporučená literatura:|Bartholomew, D.J., Steele, F., Moustaki, I., Galbraith, J. (2008). Analysis of multivariate social science data (2nd edition). Chapman and Hall, London. |Johnson, R.A., Wichern, D.W. (2007). Applied multivariate statistical analysis (6th edition). Prentica Hall.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGST1 - Research visit 1 Typ předmětu Povinný/PZ doporučený ročník / semestr / Rozsah studijního předmětu 156c hod. 156 kreditů 10 Prerekvizity, korekvizity, ekvivalence


Zápočet Forma výuky c


Zpráva studenta z odborné stáže posouzená školitelem a garantem studijního programu.


Koordinace odborných stáží, vyhodnocení průběhu a přínosu stáže se studentem.


Stručná anotace předmětu Naplánování vědeckovýzkumné stáže na zahraniční univerzitě či výzkumné instituci ve spolupráci se školitelem. Stanovení výzkumných úkolů realizovaných během stáže ve spolupráci se zahraničním pracovištěm, kde se stáž uskuteční. Absolvování stáže na zahraničním pracovišti. Zhodnocení průběhu stáže a jejího přínosu se školitelem a garantem studijního programu jako předsedou oborové rady. Celková délka stáže musí činit nejméně 30 dnů. Studijní literatura a studijní pomůcky Doporučená literatura:|Aktuální odborná časopisecká a knižní literatura dle odborného zaměření vědeckovýzkumné stáže.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGST2 - Research visit 2 Typ předmětu Povinně volitelný/PZ doporučený ročník / semestr / Rozsah studijního předmětu 312c hod. 312 kreditů 15 Prerekvizity, korekvizity, ekvivalence


Zápočet Forma výuky c


Zpráva studenta z odborné stáže posouzená školitelem a garantem studijního programu.


Koordinace odborných stáží, vyhodnocení průběhu a přínosu stáže se studentem.


Stručná anotace předmětu Naplánování vědeckovýzkumné stáže na zahraniční univerzitě či výzkumné instituci ve spolupráci se školitelem. Stanovení výzkumných úkolů realizovaných během stáže ve spolupráci se zahraničním pracovištěm, kde se stáž uskuteční. Absolvování stáže na zahraničním pracovišti. Zhodnocení průběhu stáže a jejího přínosu se školitelem a garantem studijního programu jako předsedou oborové rady. Celková délka stáže musí činit nejméně 30 dnů. Studijní literatura a studijní pomůcky


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGT - Doctoral thesis proposal Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu hod. 0 kreditů 10 Prerekvizity, korekvizity, ekvivalence




Výtisk nebo elektronická verze tezí


posouzení zpracovaných tezí a jejich připomínkování


Stručná anotace předmětu Zpracování písemných tezí k disertační práci obsahujících souhrn vědeckých výsledků dosažených studentem a návrh struktury disertační práce. Studijní literatura a studijní pomůcky Doporučená literatura:|aktuální odborná časopisecká a knižní literatura dle tématu disertační práce.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGTI - Information Theory Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná


p


Stručná anotace předmětu Předmět obsahuje pokročilé partie z klasické teorie informace a vybraných aplikací, jejíž základy jsou probírány v magisterském studiu, a dále poskytuje úvod do zobecněné teorie informace.|Klasická teorie informace: entropie a jednoznačnost funkce entropie, vlastnosti, vzájemná informace, divergence.|Komunikační kanály: modely kanálu bez paměti, kapacita, Shannonova věta o kapacitě kanálu, kanály s pamětí.|Zdroje informace: matematický model, Markov chains, AEP.|Pokročilé samoopravné kódy: cyklické, BCH a konvoluční kódy.|Úvod do zobecněné teorie informace: monotónní míry a jejich speciální případy (nepřesné pravděpodobnosti, possibility, Dempster-Shafer), míry neurčitosti a informace pro tyto míry.| Studijní literatura a studijní pomůcky Základní literatura:|Klir G. J. (2006). Uncertainty and Information. Foundations of Generalized Information Theory. J. Wiley, Hoboken, New Jersey. Doporučená literatura:|Ash R. (1965). Information Theory. Dover, New York. |Han T. S., Kobayashi K. Mathematics of Information and Coding. AMS, Providence, Rhode Island. |Pierce J. R. (1980). An Introduction to Information Theory. Symbols, Signals and Noise. Dover, New York.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGTK - Category Theory for Computer Scientists Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná


p

Vyučující prof. RNDr. Radim Bělohlávek, Ph.D., DSc., prof. RNDr. Josef Šlapal, CSc.

Stručná anotace předmětu Studenti budou obeznámeni se základními principy teorie kategorií a s možnostmi aplikací těchto principů v informatice. Získané vědomosti pak budou moci využít při řešení konkrétních problémů ve svojí specializaci.||1. Grafy a kategorie |2. Algebraické struktury jako kategorie |3. Konstrukce na kategoriích |4. Vlastnosti objektů a morfismů |5. Součiny a součty objektů |6. Objekty přirozených čísel a deduktivní systémy |7. Funktory a diagramy |8. Funktorové kategorie, gramatiky a automaty |9. Přirozené transformace |10. Limity a kolimity |11. Adjungované funktory |12. Kartézsky uzavřené kategorie a typovaný lambda-kalkul |13. Kartézsky uzavřená kategorie Scottových domainů Studijní literatura a studijní pomůcky Základní literatura:|Adámek J., Herrlich H., Strecker G. E. (2004). Abstract and Concrete Categories. Dover, Mineola, NY. |Walters R. F. C. (1991). Categories and Computer Science. Cambridge Univ. Press. Doporučená literatura:|Adámek. (1982). Matematické struktury a kategorie. SNTL, Praha. |Barr M., Wells Ch. (1999). Category Theory for Computing Science. Prentice Hall, New York. |Pierce B. C. (1991). Basic Category Theory for Computer Scientists. The MIT Press, Cambridge.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGTM - Model Theory Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná


p


Stručná anotace předmětu Úvod do problematiky: Jazyk, formule, strukturální indukce, teorie. Struktury jako modely teorií, expanze a redukt struktury. Mohutnost množin, dobré uspořádání, ordinální čísla, transfinitní indukce.||Modely konstruované z konstant: Konstrukce modelů z konstant. Kanonické struktury. Zúplňování teorií. Věta o kompaktnosti a její aplikace. Pomíjení typů.||Metoda elementárních řetězců: Diagramy struktur. Elementární ekvivalence. Elementární podstruktury. Řetězce struktur a jejich sjednocení. Elementární řetězce struktur. Aplikace.||Löwenheim-Skolemova věta: Směr ,,dolů'' a jeho důsledky. Skolemův zdánlivý paradox. Směr ,,nahoru'' a jeho důsledky pro predikátovou logiku. Redukovaný součin a ultrasoučin. Centrovaný systém množin, filtr, ultrafiltr, existence netriviálního ultrafiltru. Redukované součiny, ultrasoučiny. Los'ova věta. Ultrasoučinová verze kompaktnosti. Elementární třídy struktur. Aplikace ultraproduktů v univerzální algebře při charakterizaci implikačně definovatelných tříd algeber. Studijní literatura a studijní pomůcky Doporučená literatura:|Burris S., Sankappanavar H. P. (1981). A Course in Universal Algebra. Springer-Verlag, New York. |Chang C. C., Keisler H. J. (1990). Model Theory. North Holland. |Ebbinghaus H. D., Flum J. (1999). Finite Model Theory. Springer-Verlag Berlin Heidelberg (druhé vydání). |Gratzer G. (1979). Universal Algebra. Springer-Verlag Berlin Heidelberg (druhé vydání). |Ježek J. (1976). Univerzální algebra a teorie modelů. SNTL Praha. |Mendelson E. (1997). Introduction to Mathematical Logic. Chapman & Hall, UK (fourth edition). |Poizat B. (2000). A Course in Model Theory. Springer. |Sochor A. (2001). Klasická matematická logika. Karolinum, Praha. |Wechler W. (1992). Universal Algebra for Computer Scientists. Springer-Verlag Berlin Heidelberg. |Švejdar V. (2002). Logika: neúplnost, složitost a nutnost. Academia, Praha.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGTO - Topological Methods in Computer Science Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná


p


Stručná anotace předmětu Předmět zahrnuje pokročilé partie z topologie a jejích aplikací v informatice. |Obecná topologie.|Úvod do teorie homotopií.|Algebraická topologie: singulární homologie, základy homologické algebry.|Výpočet homologických grup: Mayerova-Vietorisova posloupnost.|Simpliciální homologie, výpočet homologií simpliciálních komplexů jako diskrétní problém, simpliciální struktury pro MV-algebry.|Algebraická topologie konečných prostorů.|Topologie v analýze dat.|Topologie a distribuované výpočty.| Studijní literatura a studijní pomůcky Základní literatura:|A.J. Zomorodian. (2009). Topology for Computing. Cambridge University Press. Doporučená literatura:|J.A. Bermak. (2011). Algebraic Topology of Finite Topological Spaces and Applications. Springer. |J.R. Munkers. (2000). Topology. Pearson. |M. Herlihy, N. Shavit. (1999). The Topological Structure of Asynchronous Computability.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGTP - Hard Problems Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná

Garant předmětu prof. RNDr. Petr Jančar, CSc. Zapojení garanta do výuky předmětu

p

Vyučující prof. RNDr. Petr Jančar, CSc.

Stručná anotace předmětu Obsahem předmětu jsou těžké problémy, přístupy k jejich řešení, algoritmy a související teoretické základy.||Optimalizační problémy, základní pojmy, příklady problémů a jejich typy, třídy NPO, PO, NP-těžké optimalizační problémy.||Aproximační algoritmy, základní pojmy, PTAS, FPTAS, důležité podtřídy třídy NPO, stabilita.||Vybrané problémy a aproximační algoritmy: pokrytí množiny a jeho varianty, vrcholové pokrytí a jeho varianty, maximální řez, problém ruksaku, problém obchodního cestujícího a jeho varianty.||Neaproximovatelnost: redukce na NP-těžké rozhodovací problémy, redukce na prokazatelně těžké optimalizační problémy, PCP teorém a jeho použití.||Úvod do randomizovaných algoritmů. Základní pojmy, klasifikace algoritmů, randomizované optimalizační algoritmy, RPTAS, RFPTAS, příklady randomizovaných algoritmů, metody jejich návrhu.||Úvod do parametrizované složitosti. Základní pojmy, parametrizace problému, problém schůdný s pevným parametrem, příklady problémů a příslušných algoritmů.||Heuristiky, simulované žíhání, genetické algoritmy, věta o schématech a základní teoretické výsledky.| Studijní literatura a studijní pomůcky Základní literatura:|Hromkovič J. (2003). Algorithmics for Hard Problems. Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics. Springer. Doporučená literatura:|Downey R.G., Fellows M.R. (1999). Parameterized Complexity. Springer. |Korte B., Vygen J. (2018). Combinatorial Optimization (Theory and Algorithms). Springer. |Kučera, L. (1989). Kombinatorické algoritmy. SNTL Praha.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGVR - Formal Methods for Verification of Systems Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná


p


Stručná anotace předmětu Předmět je zaměřen na hlubší pochopení formálních metod zejména v oblasti automatizované verifikace systémů. |Zahrnuje např. tyto části:||Logika a částečně automatizované dokazování teorémů.|Modelování softwarových a hardwarových systémů.|Formální specifikace, temporální logiky a automaty.|Automatizovaná verifikace, ověřování modelu (model checking).|Procesní algebry a ekvivalence.|Softwarové verifikační nástroje. Studijní literatura a studijní pomůcky Základní literatura:|Clarke E.M., Grumberg O., Peled D. (1999). Model Checking. MIT Press. |Clarke, E.M., Henzinger, Th.A., Veith, H., Bloem, R. (Eds). (2018). Handbook of Model Checking. Springer. Doporučená literatura:|Manna Z. (1981). Matematická teorie programů. SNTL Praha. |Schneider K. (2004). Verification of Reactive Systems (Formal Methods and Algorithms). Springer.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu KMI/PGVS - Computability and Complexity Typ předmětu Povinně volitelný/ZT doporučený ročník / semestr / Rozsah studijního předmětu 20p hod. 20 kreditů 5 Prerekvizity, korekvizity, ekvivalence




Kombinovaná


p


Stručná anotace předmětu Předmět se zaměřuje na vybrané pokročilé partie vyčíslitelnosti a složitosti, např. následující:||Diagonalizace a její limity: hierarchické věty, relativizace.|Prostorová složitost: třídy PSPACE a NL úplnosti.|Polynomiální hierarchie a alternace.|Booleovské okruhy: neuniformní modely výpočtu, třída P/poly.|Interaktivní dokazovací systémy: třída IP a pravděpodobnostní verifikátory, věta IP=PSPACE.|PCP teorém a aproximovatelnost: přibližná řešení těžkých problémů, varianty PCP teorému, neaproximovatelnost.|Složitost počítacích problémů (counting problems): příklady problémů, třída \#P a \#P-úplnost, Todova věta.|Úvod do složitosti v průměrném případě: třídy distP a distNP.| Studijní literatura a studijní pomůcky Základní literatura:|Kozen D. (2006). Theory of Computation. Springer-Verlag, London. |Sipser M. (2013). Introduction to the Theory of Computation (Third Edition). Cengage Learning, Boston, MA, USA. Doporučená literatura:|Arora S., Barak B. (2009). Computational Complexity: A Modern Approach. Cambridge Univ. Press. |Gruska J. (1997). Foundations of Computing. International Thompson Computer Press. |Hopcroft J. E., Motwani R., Ullman J. D. (2006). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Boston. |Kozen D. C. (1991). The Design And Analysis of Algorithms. Springer. |Kozen D. C. (1997). Automata and Computability. Springer. |Kučera, L. (1989). Kombinatorické algoritmy. SNTL Praha. |Leeuwen van, J. (1994). Handbook of Theoretical Computer Science, Vol. A: Algorithms. The MIT Press. |Lewis H. R., Papadimitriou C. H. (1994). Computational Complexity. Reading (Mass.), Addison Wesley. |Sedgewick S., Flajolet P. (1996). Analysis of Algorithms. Addison-Wesley.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu PRF/PGMVV - Management of science and research Typ předmětu Povinně volitelný/PZ doporučený ročník / semestr /ZS Rozsah studijního předmětu 520c hod. 520 kreditů 5 Prerekvizity, korekvizity, ekvivalence


Zkouška Forma výuky c


Kombinovaná

Garant předmětu prof. Mgr. Ondřej Bábek, Dr. Zapojení garanta do výuky předmětu

c

Vyučující prof. Mgr. Ondřej Bábek, Dr., Ing. Michaela Holecová, prof. MVDr. Emil Tkadlec, CSc.

Stručná anotace předmětu Připravuje doktorandy PřF UP pro lepší uplatnitelnost v konkurenčním prostředí. Studijní literatura a studijní pomůcky Doporučená literatura:|Tkadlec, E. (2011). Strategie a metody vědecké práce v přírodních vědách: filozofické názory a komunikační dovednosti. Olomouc: Univerzita Palackého v Olomouci.


verze 19.3.2018

B-III – Charakteristika studijního předmětu Název studijního předmětu VCJ/PGAJ - English for Students of Ph.D. Typ předmětu Povinně volitelný/PZ doporučený ročník / semestr / Rozsah studijního předmětu 20c hod. 20 kreditů 15 Prerekvizity, korekvizity, ekvivalence


Zápočet + Zkouška Forma výuky c


Kombinovaná

Garant předmětu Mgr. Lucie Vaňková, Ph.D. Zapojení garanta do výuky předmětu

c

Vyučující Mgr. Alena Fridrichová, Mgr. Lucie Vaňková, Ph.D.

Stručná anotace předmětu Podrobné informace ke zkoušce včetně ukázkových testů jsou na stránkách Kabinetu cizích jazyků PřF UP http://kcj.upol.cz Studijní literatura a studijní pomůcky Doporučená literatura:|Dle doporučení vyučujícího.


verze 1. 2. 2019

C – Personální zabezpečení – přehled školitelů a členů oborové rady Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Garant studijního programu

prof. RNDr. Radim Bělohlávek, DSc. (*1971)

- výzkum v několika oblastech informatiky (zejm. umělá inteligence, matematická logika, relační data, analýza dat)

- 4 knihy (Oxford U. Press, MIT Press, Kluwer, Springer) - > 100 článků v časopisech s IF, > 120 článků ve sbornících mezinárodních konferencí - > 2000 citací na WoS, > 6500 citací na Google Scholar - rozsáhlé pedagogické působení na VŠ v ČR i v zahraničí - vice než 5 let v USA (3 roky jako full professor), 1 rok Švýcarsko - člen vědeckých rad v ČR - šéfredaktor Int. J. General Systems, - člen redakčních rad předních informatických časopisů (např. J. Comp. Syst. Sci., Fundamenta Inf., Fuzzy Sets

and Systems)

Oborová rada DSP Interní členové: prof. RNDr. Radim Bělohlávek, DSc., PřF UP – předseda prof. RNDr. Ivan Chajda, DrSc., PřF UP prof. Mgr. Radim Filip, Ph.D., PřF UP prof. RNDr. Petr Jančar, CSc., PřF UP doc. RNDr. Karel Hron, Ph.D., PřF UP doc. RNDr. Michal Krupka, Ph.D., PřF UP doc. RNDr. Jan Konečný, Ph.D. et Ph. D., PřF UP doc. Mgr. Jan Outrata, Ph.D., PřF UP Externí členové: doc. Ing. Petr Cintula, Ph.D., Ústav informatiky AV ČR, Praha prof. RNDr. Antonín Kučera, Ph.D., MU Brno prof. RNDr. Petr Lisoněk, Ph.D., Simon Fraser University, Kanada prof. RNDr. Josef Šlapal, CSc., VUT Brno doc. Ing. Petr Sosík, Ph.D., SU Opava

Školitelé prof. RNDr. Radim Bělohlávek, DSc. prof. RNDr. Ivan Chajda, DrSc. prof. Mgr. Radim Filip, Ph.D. prof. RNDr. Petr Jančar, CSc. doc. RNDr. Karel Hron, Ph.D. doc. RNDr. Miroslav Kolařík, Ph. D. doc. RNDr. Jan Konečný, Ph. D. doc. RNDr. Michal Krupka, Ph.D. doc. Mgr. Jan Outrata, Ph.D.

verze 1. 2. 2019

Vyučující odborných předmětů prof. RNDr. Radim Bělohlávek, DSc. prof. RNDr. Ivan Chajda, DrSc. prof. Mgr. Radim Filip, Ph.D. prof. RNDr. Petr Jančar, CSc. doc. RNDr. Karel Hron, Ph.D. doc. RNDr. Miroslav Kolařík, Ph.D. doc. RNDr. Jan Konečný, Ph. D. doc. RNDr. Michal Krupka, Ph.D. doc. Mgr. Jan Outrata, Ph.D.

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Radim Bělohlávek Tituly prof. RNDr., Ph.D., DSc. Rok narození 1971 typ vztahu k VŠ PP rozsah 40 do kdy N Typ vztahu na součásti VŠ, která uskutečňuje st. program PP rozsah 40 do kdy N Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah — Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Školitel, předseda oborové rady KMI/PGDP1 Disertační práce 1 – garant předmětu KMI/PGDP2 Disertační práce 2 – garant předmětu KMI/PGDP3 Disertační práce 3 – garant předmětu KMI/PGDP4 Disertační práce 4 – garant předmětu KMI/PGDP5 Disertační práce 5 – garant předmětu KMI/PGDP6 Disertační práce 6 – garant předmětu KMI/PGOS1 Odborný seminář 1 – garant předmětu KMI/PGOS2 Odborný seminář 2 – garant předmětu KMI/PGST1 Vědecko-výzkumná stáž 1 – garant předmětu KMI/PGST2 Vědecko-výzkumná stáž 2 – garant předmětu KMI/PGAS1 Odborný seminář v AJ – garant předmětu KMI/AK Přednáška v AJ na mezinárodní konferenci – garant předmětu KMI/PGPK Prezentace na konferenci – garant předmětu KMI/PGTM Teorie modelů – garant předmětu KMI/PGML Matematická logika – garant předmětu KMI/PGRD Teorie relačních dat – garant předmětu KMI/PGKA Formální konceptuální analýza – garant předmětu KMI/PGTK Teorie kategorií pro informatiky – garant předmětu KMI/PGIF Hlavní autor publikace v časopise s IF – garant předmětu KMI/PGIF2 Hlavní autor publikace v časopise s IF 2 – garant předmětu KMI/PGIFS Spoluautorství v časopise s IF – garant předmětu KMI/PGIFS2 Spoluautorství v časopise s IF 2 – garant předmětu KMI/PGPC1 Pedagogická činnost 1 – garant předmětu KMI/PGT Teze k disertační práci – garant předmětu KMI/PGPPA Popularizační aktivity na UP – garant předmětu KMI/PGPRO Projektová činnost – garant předmětu KMI/PGPC2 Pedagogická činnost 2 – garant předmětu KMI/PGPC3 Pedagogická činnost 3 – garant předmětu Údaje o vzdělání na VŠ Mgr.: Univerzita Palackého v Olomouci, informatika, 1994 Ph.D.:Vysoká škola báňská - Technická univerzita Ostrava , informatika, 1998 Ph.D.: Univerzita Palackého v Olomouci, matematika, 2001 doc.: Ostravská univerzita, aplikovaná matematika, 2001 prof.: Vysoká škola báňská - Technická univerzita Ostrava, informatika, 2005 DSc.: Akademie věd České republiky, informatika a kybernetika, 2008 Údaje o odborném působení od absolvování VŠ 1994 – 96 odborný asistent, Katedra informatiky FEI TU-VŠB Ostrava 1996 – 2000 výzkumný pracovník, Ústav pro fuzzy modelování, Ostravská univerzita, zást.řed. 1999 – 2000 research fellow, State University of New York at Binghamton, USA 2001 – 2007 vedoucí Katedry informatiky PřF UP v Olomouci 2007 – 2009 Professor (with Tenure), State University of New York, USA 2009 – nyní Katedra informatiky PřF UP v Olomouci, vedoucí (2001-2007, 2013-) Zkušenosti s vedením kvalifikačních a rigorózních prací

Pod jeho vedením úspešně obhájilo doktorskou dizertační práci 13 studentů na VŠ v ČR a USA; vedl cca 25 dalších kvalifikačních prací (rigorózní, diplomové). Je předsedou oborové rady doktorského studijního programu Informatika na PřF UP, je členem oborové rady programu Informatika, komunikační technologie a aplikovaná matematika na FEI VŠB-TU Ostrava, byl členem oborových rad dalších programů. Byl členem nebo předsedou několika habilitačních komisí a komisí pro profesorské řízení v oboru informatika nebo příbuzných oborech (ČVUT, MFF UK, MFF KU Bratislava, OU). Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací aplikovaná matematika 2001 Technická Univerzita Ostrava WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 2000 2396 >6500

na Google Scholar

Informatika (prof.) 2005 VŠB-TU Ostrava

Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům 5 vybraných publikací za posledních 5 let: Belohlavek R., Dauben J. W., Klir G. J.: Fuzzy Logic and Mathematics: A Historical Perspective, Oxford Univ. Press, 2017, 544 str. Belohlavek R., Trnecka M.: From-below approximations in Boolean matrix factorization: Geometry and new algorithm. J. Computer and System Sciences, 81(2015), 1678-1697 Belohlavek R., Vychodil V.: A logic of graded attributes. Arch. Math. Log. 54(2015), 785-802. Belohlavek R., Vychodil V.: Relational similarity-based model of data, part 1: foundations and query systems. Int. J. General Systems 46(2017), 671-751, part 2: dependencies in data Int. J. Gen. Syst 47(2018), 1-50. Belohlavek R., Trnečka M.: Handling noise in Boolean matrix factorizations. Int. J. Approximate Reasoning 96(2018), 78-94. Vybrané granty (posledních 10 let) v roli řešitele: Grantová agentura ČR, 2010–2012, reg. č. P202/10/0262, “Rozklady matic s binárními a ordinálními daty: teorie, algoritmy a složitost" Grantová agentura ČR, 2010–2012, reg. č. P103/10/1056, “Konceptuální zpracování nejistých a rozsáhlých dat" Grantová agentura ČR, 2015–2017, reg. č. 1517899S, “Rozklady matic s booleovskými a ordinýálními daty: teorie a algoritmy" MŠMT, 2006–2008, reg. č. CZ.04.1.03/3.2.15.2/0271, “Distanční a prezenční vzdělávání profesních informatiků: inovace pro informační společnost” v roli spoluřešitele: MŠMT, Kontakt, 2006–2007, reg. č. 1-206-33, “Algebraic, logical and computational aspects of fuzzy relational modelling paradigms”, řešitel v ČR Bělohlávek, řešitel v Belgii prof. B. De Baets (Univ. Ghent) Ministerstvo průmyslu a obchodu ČR, 2011-2013, reg. č. FR–TI3/722, “Systém pro řízení a optimalizaci průmyslových procesů založený na pokročilých metodách relační analýzy dat” (hlavní řešitel Dr. S. Opichal, Pike Electronic, s.r.o.) Organizátor několika letních škol SSWLIU (Summer School and Workshop on Logic, Information, and Uncertainty) pro doktorská studia Doctoral Consortium Co-Chair, ECML/PKDD 2014 (s prof. Brunem Cremilleux), Advisory Co-Chair of ECML/PKDD 2015 (s prof. Brunem Cremilleux) Působení v zahraničí 1992 – 93 Universitaet Bern, Švýcarsko, 10 měsíců, studijní stipendium 1997 J.Kepler Universitaet Linz, Rakousko, 3 měsíce, výzkumné stipendium 1999 – 2000 State Univ. New York, USA, research fellow, 15 měsíců, 2003 SUNY, USA, 3 měsíce 2007 – 2009 Professor (with Tenure), State University of New York, USA, 36 měsíců 2012 – Visiting scholar, State University of New York, USA, 3 měsíce Podpis datum

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Petr Cintula Tituly doc., Ing., Ph.D. Rok narození 1978 typ vztahu k VŠ — rozsah do kdy Typ vztahu na součásti VŠ, která uskutečňuje st. program — rozsah do kdy Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah Ústav informatiky AV ČR pp. 1 Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Člen oborové rady

Údaje o vzdělání na VŠ Ing.: České vysoké učení technické v Praze, Inženýrská informatika, 2001 Ph.D.: České vysoké učení technické v Praze, Matematické inženýrství, 2005 doc.: České vysoké učení technické v Praze, Aplikovaná matematika, 2014

Údaje o odborném působení od absolvování VŠ 2012 - dosud Ústav Informatiky AV ČR, vedoucí vědecký pracovník 2017 University of Cagliary, visiting professor (July) 2013 University of Bern, visiting researcher (May-June) 2011-2012 Vienna University of Technology, visiting researcher (August-April) 2005-2013 Ústav Informatiky AV ČR, vědecký pracovník 2001-2005 Ústav Informatiky AV ČR, doktorand Zkušenosti s vedením kvalifikačních a rigorózních prací Člen oborové rady doktorského studijních programů Matematické inženýrství (FJFI ČVUT, 2011--dosud), Umělá inteligence a biokybernetika (FEL ČVUT, 2013--dosud), Informatika (PřF Univerzita Palackého, 2013--dosud), Diskrétní modely a algoritmy (MFF Universita Karlova, 2016--dosud) a Algebra, teorie čísel a matematická logika (MFF Universita Karlova, 2016--dosud)

Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací Aplikovaná matematika 2014 FJFI ČVUT WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 686 Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům Články v recenzovaných časopisech (5 vybraných z posledních pěti let): • Petr Cintula and Carles Noguera. Implicational (semilinear) logics III: Completeness properties. Archive for Mathematical Logic, 57(3-4):391-420, 2018. • Libor Behounek, Petr Cintula, Christian G. Fermuller, and Tomas Kroupa. Representing strategic games and their equilibria in many-valued logics. Logic Journal of the Interest Group of Pure and Applied Logic , 24(3):238-267, 2016 • Petr Cintula and Carles Noguera. Implicational (semilinear) logics II: Additional Connectives and Characterizations of Semilinearity. Archive for Mathematical Logic, 55(3):353-372, 2016. • Petr Cintula and Carles Noguera. A Henkin-style proof of completeness for first-order algebraizable logics. Journal of Symbolic Logic, 80(1):341-358, 2015. • Libor Behounek, Ulrich Bodenhofer, Petr Cintula, Susanne Saminger-Platz, and Peter Sarkoci. Graded dominance and related graded properties of fuzzy connectives. Fuzzy Sets and Systems , 262:78-101, 2015 Editované knihy: • Petr Cintula, Chris Fermuller, Petr Hájek, and Carles Noguera, editors, Handbook of Mathematical Fuzzy Logic, Volumes 1, 2, 3, College Publications, London, 2011 and 2015. Publikace za poslední 10 let: 23 článků v impaktovaných časopisech a 3 kapitoly v knihách Granty za poslednich 10 let: Reasoning with Graded Properties, GA18-00113S, Grantova agentura České republiky, 2018-2020;

Predicate Graded Logics and their Applications to Computer Science, GA17-04630S, Grantova agentura České republiky, 2016-2019; Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logic, 689176, Horizon 2020 Marie Sklodowska-Curie RISE, 2016-2018; Modeling vague quantifiers in mathematical fuzzy logic, I1897-N25, Austrian Science Fund a GF15-34650L, Grantova agentura České republiky, 2015-2018; Neklasické výrokové a predikátové logiky, GA13-14654S, Grantova agentura České republiky, 2013-2016; Centrum excelence - Institut teoretické informatiky, GBP202/12/G061, Grantova agentura České republiky, 2012-2018; Vícehodnotový přístup k optimum a ekvilibriím v ekonomii, GAP402/12/1309, Grantova agentura České republiky, 2012-2014; Matematická fuzzy logika v informatice, GAP202/10/1826, Grantová agentura České republiky, 2010-2014 (řešitel od roku 2013); Logické základy sémantiky, GD401/09/H007, Grantová agentura České republiky, 2009-2012 Působení v zahraničí 7/2017: University of Cagliary, visiting professor 11/2015: Research Institute for Mathematical Sciences, Kyoto, visiting researcher 5,6/2013: University of Bern, visiting researcher 8/2011 – 4/2012: Vienna University of Technology, visiting researcher 2/2004, 2/2005, 3-4/2007: Johannes Kepler University, CEEPUS exchange stay Podpis datum

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Radim Filip Tituly prof. Mgr., PhD. Rok narození 1970 typ vztahu k VŠ pp rozsah 40 do

kdy N

Typ vztahu na součásti VŠ, která uskutečňuje st. program pp rozsah 40 do kdy

N

Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah — Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Člen oborové rady, školitel KMI/PGKK Kvantová kryptografie pro informatiky – garant předmětu Údaje o vzdělání na VŠ Mgr.: Univerzita Palackého v Olomouci, Optika a Optoelektronika, 1994 Ph.D.: Univerzita Palackého v Olomouci, Optika a Optoelektronika, 2003 Údaje o odborném působení od absolvování VŠ 2003–2005: postdoktoranský vědecký pracovník, katedra optiky PřF UP v Olomouci, 2005-2006: Alexander von Humboldt Research Fellow, the Max Planck Institute for Science of Light in Erlangen, Germany, 2006–2016: docent, katedra optiky PřF UP v Olomouci, 2016–: profesor, katedra optiky PřF UP v Olomouci Zkušenosti s vedením kvalifikačních a rigorózních prací Vedení, konzultování a oponování diplomových a bakalářských prací. Vedení doktorandů (2 obhájili a 10 studuje). Mentor postdoků (9) včetně řady zahraničních. Oponování disertačních prací (mnohokrát v zahraničí). Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací Optika a optoelektronika 2005 Univerzita Palackého WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 2177 Optika a optoelektronika 2016 Univerzita Palackého Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům R. Filip publikoval přes 180 publikací ve impaktovaných recenzovaných časopisech (včetně 2x Nature Physics, 1x Nature Communications, 3x Nature PJ: Quantum Information, 18x Phys. Rev. Lett., and 9x Scientific Reports), které přispěly k H-indexu 26 (WOS). Své výsledky prezentoval na více než 25 zvaných přednáškách. Mezi nejnovější významné výsledky v posledních dvou letech patří • Ch.S. Jacobsen, L.S. Madsen, V.C. Usenko, R.Filip and U.L. Andersen, Complete elimination of information leakage

in continuous-variable quantum communication channels, Nature PJ: Quantum Information, 4, 32 (2018) • I. Straka, L. Lachman, J. Hloušek, M. Miková, M. Mičuda, M. Ježek and R. Filip, Quantum non-Gaussian multiphoton

light, Nature PJ: Quantum Information 4, 4 (2018) • R. Stárek, M. Mičuda, M. Miková, I. Straka, M. Dušek, P. Marek, M. Ježek, R. Filip and J. Fiurášek, Nondestructive

detector for exchange symmetry of photonic qubits, Nature PJ: Quantum Information 4, 35 (2018) • P. Obšil, L. Lachman, T. Pham, A. Lešundák, V. Hucl, M. Čížek, J. Hrabina, O. Číp, L. Slodička, and R. Filip,

Nonclassical Light from Large Ensembles of Trapped Ions, Phys. Rev. Lett. 120, 253602 (2018). • H. Le Jeannic, A. Cavaillès, K. Huang, R. Filip, and J. Laurat, Slowing Quantum Decoherence by Squeezing in

Phase Space, Phys. Rev. Lett. 120, 073603 (2018) • K. Park, P. Marek, R. Filip, Deterministic nonlinear phase gates induced by a single qubit, New J. Phys. 20, 053022

(2018) • K. Park, P. Marek and R. Filip, Qubit-mediated deterministic nonlinear gates for quantum oscillators, Sci. Rep. 7,

11536 (2017) • A.A. Rakhubovsky and R. Filip, Photon-phonon-photon transfer in optomechanics, Sci. Rep. 7, 46764 (2017) • N. Vostrosablin, A. Rakhubovsky, and R. Filip, Pulsed quantum continuous-variable optoelectromechanical

transducer, Optics Express 25, 18974-18989 (2017) • J. Hloušek, M. Ježek and R. Filip, Work and information from thermal states after subtraction of energy quanta,

Scientific Reports 7, 13046 (2017).

Působení v zahraničí 2005-2006: Alexander von Humboldt fellowship, MPI Erlangen, Germany, 2008: visiting researcher, DTU Lyngby-Copenhagen, 2010: visiting professor, ENS Paris-Cachan, 2018: Otto Mønsted Visiting Professorships, DTU Lyngby, Denmark; řada týdenních vědeckých stáží za účelem vědecké spolupráce na projektech na DTU Lyngby, MPL Erlangen, Tokio University, Yale University, UPMC Paris, Imperial Coleague London, Vienna University, Sapienza Roma, atd. Podpis datum

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Karel Hron Tituly Doc. RNDr., Ph.D. Rok narození 1981 typ vztahu k VŠ pp. rozsah 40 do kdy N Typ vztahu na součásti VŠ, která uskutečňuje st. program pp. rozsah 40 do kdy N Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah — Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Člen oborové rady KMI/PGST Průzkumová mnohorozměrná statistická analýza – garant předmětu

Údaje o vzdělání na VŠ 200-2005 – Přírodovědecká fakulta UP, obor Matematika a její aplikace, zaměření Aplikace matematiky v ekonomii 2005-2007 – Přírodovědecká fakulta UP, doktorské studium oboru Aplikovaná matematika Údaje o odborném působení od absolvování VŠ 2007- 2013: odborný asistent na Katedře matematické analýzy a aplikací matematiky PřF UP 2013 – dosud: docent na na Katedře matematické analýzy a aplikací matematiky PřF UP Zkušenosti s vedením kvalifikačních a rigorózních prací 26 obhájených bakalářských prací 25 obhájených diplomových prací 3 obhájené doktorské práce (+ 3 další ve výchově)

Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací Matematika – aplikovaná matematika 2013 MU Brno WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 1196 1339 -- Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům Filzmoser, P., Hron, K., Templ, M. Applied composiitonal data analysis, Springer Series in Statistics. Springer, Cham, 2018 Hron, K., Templ, M., Filzmoser, P. Imputation of missing values for compositional data using classical and robust methods.

Computational Statistics and Data Analysis, 54 (2010), No. 12, 3095-3107. Kalivodová, A., Hron, K., Filzmoser, P., Najdekr, L., Janečková, H., Adam, T. PLS-DA for compositional data with

application to metabolomics. Journal of Chemometrics, 29 (2015), No. 1, 21-28. Hron, K., Menafoglio, A., Templ, M., Hrůzová, K., Filzmoser, P. Simplicial principal component analysis for density

functions in Bayes spaces. Computational Statistics and Data Analysis, 94 (2016), 330-350.

Působení v zahraničí 2006-2007 Technische Universität Wien (10 měsíců), 2017 Biomathematics and Statistics Scotland, Edinburgh (1 měsíc), cca 20 krátkodobých (převážně týdenních) pobytů – zvané přednášky, pobyty v rámci Erasmus+ apod. Podpis datum

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Ivan Chajda Tituly Prof., RNDr., DrSc. Rok narození 1946 typ vztahu k VŠ pp rozsah 40 do kdy 09/19 Typ vztahu na součásti VŠ, která uskutečňuje st. program pp rozsah 40 do kdy 09/19 Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah — Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Člen oborové rady KAG/PGMI Uspořádané množiny a teorie svazů pro informatiky – garant předmětu KAG PGUI Univerzální algebra pro informatiky – garant předmětu Údaje o vzdělání na VŠ VŠ: Přírodovědecká fakulta Univerzity Palackého, obor Numerická matematika, 1965-1970. RNDr.: Palackého Univerzita, Algebra a teorie čísel, 1970. CSc.: Masarykova Univerzita Brno, Algebra a teorie čísel, 1971-1974. DrSc.: Masarykova Univerzita Brno, Algebra a teorie čísel, 1985.

Údaje o odborném působení od absolvování VŠ 1970-1974: Matematik-programátor, Meopta Přerov. 1975-1985: Vědecký pracovník informačních systémů. 1986-1987: Vedoucí plánu technického rozvoje, Mepta Přerov. 1988-dosud: Katedra algebry a geometrie, Palackého Univerzita Olomouc.

Zkušenosti s vedením kvalifikačních a rigorózních prací Vedl jsem 8 diplomových prací. Vedl jsem 5 dizertačních prací doktorandů PhD (Halaš, Emanovský, Kotrle, Kolařík, Bělohlávek).

Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 286 473 Resear

chgate 1342

Algebra a teorie čísel 1989 Palackého Univerzita

Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům Nejvýznačnější monografie: Chajda I., Paseka J.: Algebraic Approach to Tense Operators, Heldermann Verlag, Německo, 2015. Chajda I., Eigenthaler G., Länger H: Congruence Classes in Universal Algebra, Heldermann Verlag, Německo, 2012 (second. Ed.). Botur M., Chajda I., Halaš R., Kühr J., Paseka J.: Algebraic Methods in Quantum Structures, Univerzita Palackého v Olomouci, 2014. Nejvýznačnější publikace v časopisech: Chajda I., Goldstern M. Länger H.: A note on homomorphisms between products of algebras, Algebra Universalis, 79(2018), 1-6. Chajda I.: A representation of residuated lattices satisfying the double negation law, Soft Computing 22(2018), 1773-1776. Působení v zahraničí Technishe Universität Wien, od r.1991 do 2017, každý rok 2 týdny. Universitá di Cagliari: od r.2012 do r.2017, každý rok stáž 1 týden. Universität Johannes Kepler Linz: společný projekt GAČR a FWF, stáže v r.2015-2017. Podpis datum

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Petr Jančar Tituly prof. RNDr., CSc. Rok narození 1958 typ vztahu k VŠ PP rozsah 40 do kdy N Typ vztahu na součásti VŠ, která uskutečňuje st. program PP rozsah 40 do kdy N Další současná působení jako akademický pracovník na jiných VŠ typ prac.

vztahu rozsah

Vysoká škola báňská - Technická univerzita Ostrava PP 4h Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Člen oborové rady KMI/PGTP Těžké problémy – garant předmětu KMI/PGVR Formální metody pro verifikaci systémů – garant předmětu KMI/PGVS Vyčíslitelnost a složitost – garant předmětu Údaje o vzdělání na VŠ RNDr.: Univerzita Karlova, Matematická informatika a teoretická kybernetika, 1982 CSc.: Univerzita Karlova, Matematická informatika a teoretická kybernetika, 1989 doc.: Masarykova Univerzita, Informatika, 1996 prof.: Vysoká škola báňská - Technická univerzita Ostrava, Informatika, 2008

Údaje o odborném působení od absolvování VŠ 1983-1987: MFF UK Praha - interní aspirant na katedře kybernetiky a informatiky 1987-1990: Hornický ústav ČSAV, Ostrava - vědecký pracovník 1990-1997: PřF Ostravské univerzity, katedra informatiky - odb. asistent, od 2/1996 docent 1997-2017: FEI VŠB-TU Ostrava, katedra informatiky - docent, od 5/2008 profesor 2017-... : PřF UP v Olomouci, katedra informatiky – profesor Zkušenosti s vedením kvalifikačních a rigorózních prací - Vedle vedení diplomových a bakalářských prací na PřF OU a FEI VŠB-TU také vedení PhD studentů na FEI VŠB-TU, z nichž dosud čtyři úspěšně dokončili a obhájili dizertační práci. - Dlouhodobě člen oborových rad doktorského studia (informatika) na FEI VŠB-TU Ostrava a PřF UP v Olomouci. - Člen komisí či oponent u habilitačních řízení a několika profesorských řízení na FI MU Brno, MFF UK Praha, FEL ČVUT Praha, FIT VUT Brno, FEI VŠB-TU Ostrava, PřF OU Ostrava. Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací Informatika 1996 Masarykova Univerzita WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 398 817 Informatika 2008 VŠB-TU Ostrava Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům 5 vybraných publikací za posledních 5 let: - Jančar P.: Equivalences of Pushdown Systems Are Hard (invited talk). FoSSaCS 2014, LNCS 8412, Springer, pp. 1-28 - Czerwinski W., Jančar P.: Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME. ACM/IEEE Symposium LICS 2015: IEEE Computer Society, pp. 168-179 - Jančar P.: Deciding Semantic Finiteness of Pushdown Processes and First-Order Grammars w.r.t. Bisimulation Equivalence. Symposium MFCS 2016: LIPIcs 58, 52:1-52:13 - Jančar P.: Branching Bisimilarity of Normed BPA Processes as a Rational Monoid. Logical Methods in Computer Science 13(4), 2017 - Forejt V., Jančar P., Kiefer S., Worrell J.: Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata. Logical Methods in Computer Science 14(4), 2018

Vzdělávací činnost: - dlouhodobé vedení povinných i volitelných kurzů v magisterském a doktorském studiu na FEI VŠB-TU v oblasti teoretické informatiky - od 2017 vedení kurzů Matematická logika a Vyčíslitelnost a složitost v bakalářském studiu a Algoritmy a složitost 2 v magisterském studiu na PřF UP v Olomouci. - zavedení kurzu Modelování a verifikace v magisterském studiu na PřF UP. Vybrané výzkumné granty: - Modelování a verifikace paralelních systémů}, GAČR P202-11-0340, 2011-2014, řešitel - Výpočetní složitost vybraných verifikačních problémů, GAČR 15-13784S, 2015-2017, řešitel - Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy, GAČR 18-11193S, 2018-2020. spoluřešitel (za PřF UP Olomouc) Působení v zahraničí 1993, 1994, 1995: Velká Británie, Univ. of Edinburgh, měsíční výzkumné pobyty 1995, 2007: Německo, Techn. Univ. Mnichov, měsíční výzkumné pobyty 1998-1999: Švédsko, Univ. Uppsala, 7 měsíců, hostující profesor 1998, 2001, 2013: Francie, LSV ENS Cachan, měsíční pobyty jako zvaný profesor Podpis datum

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Miroslav Kolařík Tituly doc. RNDr., Ph.D Rok narození 1978 typ vztahu k VŠ pp. rozsah 40 do kdy 08/22 Typ vztahu na součásti VŠ, která uskutečňuje st. program pp. rozsah 40 do kdy 08/22 Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah — – – Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu KMI/PGLP Logické programování – garant předmětu

Údaje o vzdělání na VŠ Mgr. (2004), PřF UP, učitelství pro SŠ – matematika a výpočetní technika, diplomová práce „Diofantické rovnice“ Ph.D. (2007), PřF UP, Algebra a geometrie, dizertační práce „Structures derived from lattices“ RNDr. (2008), PřF UP, Diskrétní matematika, rigorózní práce „Remarks on basic algebras“

Údaje o odborném působení od absolvování VŠ 2007 až 2017: odborný asistent na Katedře informatiky PřF UP Olomouc od 2017 dosud: docent na Katedře informatiky PřF UP Olomouc

Zkušenosti s vedením kvalifikačních a rigorózních prací Vedení 25 úspěšně obhájených bakalářských prací. Vedení 6 úspěšně obhájených diplomových prací.

Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací Aplikovaná matematika 2016 OU v Ostravě WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 114 114 238 Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům Reduced axioms for the propositional logics induced by basic algebras. Soft Computing 22 (2018), 1203–1207. (podíl M. Kolaříka: 50%) A short note on LCBA – fuzzy logic with a non-associative conjunction. Discuss. Mathem., General Algebra and Apll. 36 (2016), 113–116. (podíl M. Kolaříka: 100%) Every skew effect algebra can be extended into a total algebra. Journal of Multiple-Valued Logic and Soft Computing 23 (2014), 53–72; co-author: I. Chajda (podíl M. Kolaříka: 50%) Lexicographic Product vs Q-perfect and H-perfect Pseudo Effect Algebras. Soft Computing 18 (2014), 1041–1053; co-author: A. Dvurečenskij (podíl M. Kolaříka: 50%) Variety of orthomodular posets. Miskolc Mathematical Notes 15 (2014), 361–371; co-author: I. Chajda (podíl M. Kolaříka: 50%) Působení v zahraničí Krátkodobé vědecké stáže: • Bratislava (Slovensko), SAV, prof. Dvurečenskij, 2013, 1 měsíc • Vídeň (Rakousko), TU Wien, prof. Länger, 2014, 1 měsíc Podpis datum

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Jan Konečný Tituly doc., RNDr., Ph.D. Rok narození 1982 typ vztahu k VŠ PP rozsah 40 do kdy 08/21 Typ vztahu na součásti VŠ, která uskutečňuje st. program PP rozsah 40 do kdy 08/21 Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah — Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Člen oborové rady KMI/PGFL Fuzzy logika – garant předmětu KMI/PGSC Soft Computing – garant předmětu KMI/PGTI Teorie informace – garant předmětu Údaje o vzdělání na VŠ Mgr.: Univerzita Palackého v Olomouci, informatika, 2005 Ph.D.: Binghamton University, SUNY, Systems Science, 2009 Ph.D.: Univerzita Palackého v Olomouci, informatika, 2012 RNDr.: Univerzita Palackého v Olomouci, informatika, 2013

Údaje o odborném působení od absolvování VŠ 2008–2009 Graduate Assistant, Binghamton University - State University of New York, U.S.A. 2009–doposud, odborný asistent, Katedra informatiky PřF UP Olomouc

Zkušenosti s vedením kvalifikačních a rigorózních prací Vedení jedné rigorózní práce (nedokončena), vedení jedné disertační práce (v průběhu), Účast v komisi pro obhajobu disertační práce; zahraniční oponent dis. práce. Vedení cca 10 diplomových a cca 20 bakalářských prací. Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací Výpočetní technika a informatika 2019 FIT, VUT, Brno WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 107 203 Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům Publikační činnost 2013 - nyní: 14 časopiseckých publikací, 10 příspěvků ve sbornících konferencí. 5 nejvýznamějších publikací: Jan Konecny, Ondrej Kridlo: On biconcepts in formal fuzzy concept analysis. Inf. Sci. 375: 16-29 (2017) (50%) Jan Konecny, Michal Krupka: Complete relations on fuzzy complete lattices. Fuzzy Sets and Systems 320: 64-80 (2017) (50%) Radim Belohlávek, Jan Konecny: Bases of closure systems over residuated lattices. J. Comput. Syst. Sci. 82(2): 357-365 (2016) Konecny J., Osicka P.: Triadic concept lattices in the framework of aggregation structures, Information Sciences 279, 2014, pp. 512–527 (50%) Konecny J., Medina J-, Ojeda-Aciego M.: Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Annals of Mathematics and Artificial Intelligence 72(1-2), 2014, pp. 73-89 (50%) Program co-chair mezinárodní konference CLA 2014. Působení v zahraničí Binghamton university, SUNY, USA – research assistant 2 roky, 2007-2009 Ghent University, Belgie (stáž), 1 měsíc – Červen 2007, 1 měsíc – Červenec 2011. University of Malaga, Španelsko (2 stáže), 2 měsíce, Duben–Červen 2012, 1 měsíc, Duben 2013. Podpis datum

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Michal Krupka Tituly doc., RNDr., Ph.D. Rok narození 1968 typ vztahu k VŠ PP rozsah 40 do kdy N Typ vztahu na součásti VŠ, která uskutečňuje st. program PP rozsah 40 do kdy N Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah — Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Člen oborové rady KMI/PGFM Fuzzy množiny a jejich aplikace – garant předmětu KMI/PGFP Funkcionální programování – garant předmětu KMI/PGTO Topologické metody v informatice – garant předmětu

Údaje o vzdělání na VŠ Mgr.: Masarykova univerzita, Matematická analýza, 1991 Ph.D.: Masarykova univerzita, Diferenciální geometrie, 1995 doc.: Vysoké učení technické, Informatika a výpočetní technika, 2010 Údaje o odborném působení od absolvování VŠ 1992–2000 Matematický ústav Slezské univerzity v Opavě, asistent a odborný asistent 2000–2004 programátor 2004 − dosud Katedra informatiky PřF UP Olomouc, vědecký pracovník, odborný asistent, docent Zkušenosti s vedením kvalifikačních a rigorózních prací vedoucí více než 30 úspěšných bakalářských a více než 10 úspěšných diplomových prací, jedna obhájená doktorská disertace Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací Informatika a výpočetní technika 2010 VUT Brno WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 42 92 Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům Nejvýznamnějších 5 publikací za posledních 5 let: 1. Krupka M., Lastovicka J.: Incomplete information and concept lattices. International Journal of General Systems, 2017, 46(3), 235-274. 1. Konecny J., Krupka M.: Complete relations on fuzzy complete lattices. Fuzzy Sets and Systems 2017, 320, 64–80. 2. Krupka M.: Basic theorem of fuzzy concept lattices revisited. Fuzzy Sets and Systems, 2018, 333, 54–70. 4. Bartl E., Krupka M.: Residuated lattices of block relations: size reduction of concept lattices. International Journal of General Systems, 2016, 45(7-8), 773-789. 5. Belohlavek R., Krupka M.: Central points and approximation in residuated lattices. International Journal of Approximate Reasoning 66 (2015), 27–38. Působení v zahraničí 2014, stáž na TU Dresden (Německo), 4 měsíce.

Podpis datum

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Antonín Kučera Tituly prof. RNDr., Ph.D. Rok narození 1971 typ vztahu k VŠ — rozsah do kdy Typ vztahu na součásti VŠ, která uskutečňuje st. program — rozsah do kdy Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah Masarykova univerzita v Brně pp. 40 Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Člen oborové rady Údaje o vzdělání na VŠ 1994 – Mgr., Informatika, Přírodovědecká fakulta, MU Brno 1997 – Ph.D., Informatika, Fakulta informatiky, MU Brno 2000 – doc., Informatika, Fakulta informatiky, MU Brno 2007 – prof., Informatika, Fakulta informatiky, MU Brno

Údaje o odborném působení od absolvování VŠ 1995 – 1997 – asistent, Katedra teorie programování, Fakulta informatiky, MU Brno 1997 – 2000 – odborný asistent, Katedra teorie programování, Fakulta informatiky,MU Brno 2000 – 2005 – docent, Fakulta informatiky, MU Brno 2007 – nyní – profesor, Fakulta informatiky, MU Brno

Zkušenosti s vedením kvalifikačních a rigorózních prací Devět úspěšně ukončených doktorandů.

Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 794 2300

(Google Scholar)

Informatika (prof.) 2007 MU Brno

Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 84(2017):144-170. Elsevier, 2017 T. Brázdil, S. Kiefer,A. Kučera. Efficient Analysis of Probabilistic Programs with an Unbounded Counter. Journal of the ACM. 61(6), Article 41, 35 pages, 2014. T. Brázdil, A. Kučera, and V. Řehák. Solving Patrolling Problems in the Internet Environment. In Proceedings of 27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), pages 121-127, 2018.

Působení v zahraničí 2017: Research stay, TU Munich, 6 měsíců (Fridrich Wilhelm Bessel Research Award). 2003: Visiting professorship at the Comp. Sci. Dept., Uppsala University, Sweden, 2 měsíce 1998: Institute for Informatics, TU-Munich, Germany (Alexander von Humboldt Fellowship), 12 měsíců 1995: University of Aarhus (BRICS), Denmark, 3 měsíce, výzkumné stipendium Podpis datum 21. června 2018

https://doi.org/10.24963/ijcai.2018/17

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Petr Lisoněk Tituly RNDr., Ph.D., prof. na

SFU Rok narození 1964 typ vztahu k VŠ — rozsah do

kdy

Typ vztahu na součásti VŠ, která uskutečňuje st. program — rozsah do kdy

Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah Simon Fraser University, Burnaby, Britská Kolumbie, Kanada pp 40 Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Člen oborové rady/komise

Údaje o vzdělání na VŠ RNDr.: Univerzita Palackého v Olomouci, informatika, 1987 Ph.D.: J. Kepler Universität Linz, 1994 (nostrifikace v Ceske republice: Univerzita Karlova, Ph.D., obor informatika, 1995) Údaje o odborném působení od absolvování VŠ 7/1987-9/1990 asistent a odborný asistent, katedra informatiky, Univerzita Palackého (základní vojenská služba 1987-1988) 10/1990-11/1994 doktorand, Research Institute for Symbolic Computation (RISC), J. Kepler Universitaet, Linz, Rakousko 12/1994-4/1996 Research Assistant Professor, katedra matematiky, Technical University of Denmark, Lynby, Dansko 6/1996-8/2000 Postdoctoral Fellow, Centre for Experimental and Constructive Mathematics (CECM), Simon Fraser University, Burnaby, BC, Kanada 9/2000-8/2007 Assistant Professor, Department of Mathematics, Simon Fraser University, Burnaby, BC, Kanada 9/2007 tenured 9/2007-8/2015 Associate Professor, Department of Mathematics, Simon Fraser University, Burnaby, BC, Kanada 9/2015-dosud Professor, Department of Mathematics, Simon Fraser University, Burnaby, BC, Kanada 9/2014-dosud Associate Member, School of Computing Science, Simon Fraser University, Burnaby, BC, Kanada Zkušenosti s vedením kvalifikačních a rigorózních prací Pod jeho vedením úspešně obhájil doktorskou dizertační práci 1 student a dalších 7 studentu obhajilo diplomove prace (Master of Science in Mathematics). Působí jako oponent na Katedře algebry MFF Univerzity Karlovy (oponoval 4 diplomové práce). Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ - 808 Google

Scholar 1567 citací

Mathematics 2015 SFU, Kanada

Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům 5 vybraných publikací za posledních 10 let: Petr Lisoněk, Layla Trummer: Algorithms for the minimum weight of linear codes. Adv. in Math. of Comm. 10(1): 195-207 (2016) Petr Lisoněk, Hui Yi Lu: Bent functions on partial spreads. Des. Codes Cryptography 73(1): 209-216 (2014) Petr Lisoněk, Vijaykumar Singh: Quantum codes from nearly self-orthogonal quaternary linear codes. Des. Codes Cryptography 73(2): 417-424 (2014) Faruk Göloglu, Petr Lisoněk, Gary McGuire, Richard Moloney: Binary Kloosterman Sums Modulo 256 and Coefficients of the Characteristic Polynomial. IEEE Trans. Information Theory 58(4): 2516-2523 (2012) Petr Lisoněk: An Efficient Characterization of a Family of Hyperbent Functions. IEEE Trans. Information Theory 57(9): 6010-6014 (2011) (poznámka: všechny vědecké publikace celoživotně publikovány pod českým jménem Lisoněk)

Redakční rada: Advances in Mathematics of Communications, Editor, 1/2018-dosud Organizace konferencí: Conference Co-chair, Selected Areas in Cryptography 2013 (SAC 2013), 14-16 August 2013, Burnaby, BC, Kanada. Proceedings Co-editor, Lecture Notes in Computer Science, Volume 8282, Springer 2014. Local co-oragnizer, 14th International Conference on Finite Fields and their Applications (Fq14), 3-7 June 2019, Vancouver, BC, Kanada. Operating grant (Discovery Grant), Natural Sciences and Engineering Research Council of Canada (NSERC), nepretrzite 2001-dosud (soucasna vyse $29,000/rok) – individualni grant (1 resitel) Účast na skupinových grantech pro více řešitelů, s partnery z průmyslu: Maplesoft (matematicky software Maple), $440,000 (2013-2017) D-Wave, 1QBit (kvantove pocitace), $280,000 (2014-2017) Působení v zahraničí Působí v zahraničí od roku 1990, viz Údaje o odborném působení od absolvování VŠ

Podpis datum 13. 6. 2019

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Jan Outrata Tituly doc. Mgr., Ph.D. Rok narození 1978 typ vztahu k VŠ PP rozsah 40 do kdy N Typ vztahu na součásti VŠ, která uskutečňuje st. program PP rozsah 40 do kdy N Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah — Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Člen oborové rady KMI/PGDA Paralelní a distribuované algoritmy – garant předmětu KMI/PGMR Machine Learning – garant předmětu Údaje o vzdělání na VŠ Mgr.: Univerzita Palackého v Olomouci, Informatika, 2003 Ph.D.: Univerzita Palackého v Olomouci, Algebra, 2006 doc.: Masarykova univerzita, Informatika, 2017 Údaje o odborném působení od absolvování VŠ 2005 – 2007: asistent, Univerzita Palackého v Olomouci, 2007 – 2017: odborný asistent, Univerzita Palackého v Olomouci, 2017 – nyní: docent, Univerzita Palackého v Olomouci Zkušenosti s vedením kvalifikačních a rigorózních prací Vedení asi 30 obhájených bakalářských a asi 10 magisterských prací.

Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací Informatika 2017 Masarykova univerzita WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 170 313 512

(GS) Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům 5 nejvýznamnějších publikací za posledních 5 let: Belohlavek R., Outrata J., Trnecka, M.: Toward Quality Assessment of Boolean Matrix Factorizations, Information Sciences 459(2018), pp. 71–85. Outrata J.: A lattice-free concept lattice update algorithm. Int. Journal of General Systems 45(2)(2016), pp. 211–231.

Belohlavek R., Outrata J., Trnecka M.: Impact of Boolean factorization as preprocessing methods for classification of Boolean

data. Annals of Mathematics and Artificial Intelligence 72(1–2)(2014), pp. 3–22.

Belohlavek R., Grissa D., Guillaume S., Mephu Nguifo E., Outrata J.: Boolean factors as a means of clustering of interestingness measures of association rules. Annals of Mathematics and Artificial Intelligence 70(1–2)(2014), pp. 151–184.

Wray T., Outrata J., Eklund P.: Scalable Performance of FCbO Update Algorithm on Museum Data. In: Huchard M., Kuznetsov S. O. (Eds.): CLA 2016: Proceedings of the 13th International Conference on Concept Lattices and Their Applications, 2016, pp. 363–376, Moscow, Russia, 7/2016.

Nejvýznamnější vzdělávací činnosti za posledních 10 let: 4 nově vytvořené předměty. Další za posledních 10 let: - výzkumný projekt, GA ČR (Grantová agentura ČR), 2010 – 2012, Klasifikace s využitím formální konceptuální analýzy, řešitel, - projekty pro rozvoj (doktorského) studijního programu Informatika, IGA UP, 2014 – 2016, 2018, Teorie a algoritmy pro zpracování informací, řešitel, FRVŠ (MŠMT), 2008, Rozšíření a zkvalitnění přístupu studentů matematických a informatických oborů k výukovým materiálům a softwarovým balíkům, spoluřešitel,

- člen Steering Committee mezinárodní konference CLA, program co-chair mezinárodní konference CLA 2013, hlavní organizátor letních škol a workshopů SSIU a WIUI 2012 – 2014, organizátor mezinárodních konferencí CLA 2005, 2008, 2018. Působení v zahraničí University of Wollongong, Wollongong, Austrálie, 2013, 2 měsíce, stáž University Blaise Pascal, Clermont-Ferrand, Francie, 2011, 1 měsíc, stáž Binghamton University – State University of New York, Binghamton, NY, USA, 2009, 1 měsíc, stáž Ghent University, Ghent, Belgie, 2006, 1 měsíc, stáž Podpis datum

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Josef Šlapal Tituly prof. RNDr., CSc. Rok narození 1955 typ vztahu k VŠ — rozsah do kdy Typ vztahu na součásti VŠ, která uskutečňuje st. program — rozsah do kdy Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah VUT v Brně pp. 40 Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Člen oborové rady

Údaje o vzdělání na VŠ 1975-80 studium odborné matematiky na Přírodovědecké fakultě Masarykovy Univerzity v Brně 1989-92 postgraduální studium na Masarykově Univerzitě v Brně, titul CSc. v algebře a teorii čísel

Údaje o odborném působení od absolvování VŠ 1981-86 asistent a odborný asistent na katedře matematiky Vysoké školy báňské v Ostravě 1986-90 odborný pracovník na katedře matematiky Strojní fakulty Vysokého učení technického v Brně 1990-94 odborný asistent na katedře matematiky Strojní fakulty Vysokého učení technického v Brně 1994-00 docent na Ústavu matematiky FSI VUT v Brně 2000- profesor na Ústavu matematiky FSI VUT v Brně 2003- ředitel Ústavu matematiky FSI VUT v Brně Zkušenosti s vedením kvalifikačních a rigorózních prací Vyškoleno 5 doktorandů (z toho 3 ze zahraničí), vedení jedné diplomové práce – úspěšně obhájeno

Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací Matematika 1994 Masarykova Univerzita WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 220 266 37 Profesor pro obor aplikovaná matematika

2000 VUT v Brně

Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům

Působení v zahraničí 1995-96 šest měsíců na Freie Universität Berlin (stipendium od Německé akademie věd) 2001 čtyři měsíce na na University of Pittsburgh (J.Nehnevajsa Memorial Award) 2003 šest měsíců na L‘Aquila University (CNR-NATO Outreach Fellowship) Podpis datum

C-I – Personální zabezpečení Vysoká škola Univerzita Palackého v Olomouci Součást vysoké školy Přírodovědecká fakulta Název studijního programu Computer Science Jméno a příjmení Petr Sosík Tituly doc. Ing., Dr. Rok narození 1967 typ vztahu k VŠ — rozsah do kdy Typ vztahu na součásti VŠ, která uskutečňuje st. program — rozsah do kdy Další současná působení jako akademický pracovník na jiných VŠ typ prac. vztahu rozsah Slezská univerzita v Opavě pp. 40 Předměty příslušného studijního programu a způsob zapojení do jejich výuky, příp. další zapojení do uskutečňování studijního programu Člen oborové rady

Údaje o vzdělání na VŠ 1990 Ing., FE VUT v Brně, obor Technická kybernetika 1997 Dr. (ekviv. PhD.), MFF UK Praha, obor Softwarové inženýrství

Údaje o odborném působení od absolvování VŠ 1989 - 1992 databázový software u soukromé firmy 1992 - 2003 odborný asistent, Filosoficko-přírodovědecká fakulta Slezské university v Opavě 2004 - dosud docent, Filosoficko-přírodovědecká fakulta Slezské university v Opavě

Zkušenosti s vedením kvalifikačních a rigorózních prací Počet vedených úspěšně obhájených kvalifikačních prací • bakalářských: 29 • diplomových: 15 • doktorských 2 Obor habilitačního řízení Rok udělení hodnosti Řízení konáno na VŠ Ohlasy publikací Informatika 2004 Karlova Univerzita WOS Scopus ostatní Obor jmenovacího řízení Rok udělení hodnosti Řízení konáno na VŠ 331 544 1139 Přehled o nejvýznamnější publikační a další tvůrčí činnosti nebo další profesní činnosti u odborníků z praxe vztahující se k zabezpečovaným předmětům FREUND, R., IBARRA, O., PAUN, A., SOSÍK, P., YEN. H.-C. Catalytic P systems. In PAUN, G., ROZENBERG G., SALOMAA A. (Eds.) The Oxford Handbook of Membrane Computing, Oxford University Press, 2010. ISBN 978-0-19-955667-0. (Podíl 20%)

SOSÍK, P. , CIENCIALA, L.: Computational power of cell separation in tissue P systems. Information Sciences 279 (2014) 805–815. (Podíl 80%)

RODRÍGUEZ-PATÓN, A., SAINZ DE MURIETA, I, SOSÍK, P.: DNA strand displacement system running logic programs. Biosystems, 2014, vol. 115, p. 5-12. (Podíl 40%)

MIRÓ-BUENO, J., SOSÍK, P.: Brain clock driven by neuropeptides and second messengers. Physical Review E, 90, Art. Number 032705, 2014. (Podíl 50%)

BENEŠ, D., SOSÍK, P., RODRÍGUEZ-PATÓN A. An autonomous in vivo dual selection protocol for Boolean genetic circuits. Artificial Life, 2015, vol. 21 (2), pp. 247–260. (Podíl 40%)

SOSÍK, P., CIENCIALA, L. A limitation of cell division in tissue P systems by PSPACE. Journal of Computer and System Sciences, Elsevier, Volume 81, Issue 2, 2015, pp. 473-484. (Podíl 60%)

SOSÍK, P., SMOLKA, V., DRASTÍK, J., MOORE, T., GARZON, M.: Morphogenetic and homeostatic self-assembled systems. In: Patitz, M.J., Stannett, M. (eds.) Unconventional Computation and Natural Computation: UCNC 2017. Lecture Notes in Computer Science, Springer, Berlin, 2017, vol. 10240, pp. 144-159. (Podíl 30%)

CIENCIALA, L., CIENCIALOVÁ, L., SOSÍK, P. Generalized P colonies with passive environment. Theoretical Computer Science, 2018, vol. 724, pp. 61-68. (Podíl 30%)

Působení v zahraničí 6/2003-12/2004 Kanada výzkumný pobyt (Univ. of Western Ontario)

5/2005-12/2008 Španělsko výzkumný pobyt (Universidad Politecnica de Madrid)

Podpis datum

verze 16.2.2017

C-II – Související tvůrčí, resp. vědecká a umělecká činnost Přehled řešených grantů a projektů u akademicky zaměřeného bakalářského studijního programu a u magisterského a doktorského studijního programu Řešitel/spoluřešitel Názvy grantů a projektů získaných pro vědeckou,

výzkumnou, uměleckou a další tvůrčí činnost v příslušné oblasti vzdělávání

Zdroj Období

Outrata Teorie a algoritmy pro zpracování informací, IGA_PrF_2019_034

IGA UP 2019


IGA UP 2018

Kučera (FI MU)/Jančar Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy, 18–11193S

B GA ČR

2018-2020


IGA UP 2016


IGA UP 2015

Bělohlávek Rozklady matic s booleovskými a ordinálními daty: teorie a algoritmy, 15–17899S

B GA ČR

2015-2017

Vychodil Relační podobnostní databáze, 14–11585S B GA ČR

2014-2016


IGA UP 2014

Osička Teorie a algoritmy pro zpracování informací, IGA_PrF_2013_032

IGA UP 2013

Krajča Modely pro implicitně paralelní programování, P202/12/P167 B GA ČR

2012-2014


IGA UP 2012

Vychodil Reintegrace českého vědce a vytvoření špičkového týmu v informačních vědách, CZ.1.07/2.3.00/20.0059

C ESF OP

VK

2011-2014

Fiurášek Mezinárodní centrum pro informaci a neurčitost, CZ.1.07/2.3.00/20.0060

C ESF OP

VK

2011-2014

Bělohlávek Systém pro optimalizaci řízení výrobních procesů využívající pokročilé metody relační analýzy technologických dat, FR-

TI3/722

C MPO ČR

2011-2013

Vychodil Základy pro zpracování dat s využitím podobností, P103/11/1456

B GA ČR

2011-2013


IGA UP 2011

Bělohlávek Rozklady matic s binárními a ordinálními daty: teorie, algoritmy, složitost, P202/10/0262

B GA ČR

2010-2012

Bělohlávek Konceptuální zpracování nejistých a rozsáhlých dat a znalostí, P103/10/1056

B GA ČR

2010-2012

Outrata Klasifikace s využitím formální konceptuální analýzy, P202/10/P360

B GA ČR

2010-2012

Bělohlávek, De Baets (U. Gent)

Algebraic, logical and computational aspects of fuzzy relational modelling paradigms, 1–206–33

C MŠMT

ČR

2006-2007

Bělohlávek (pro oblast Fuzzy logika a neurčitost v datech)

Matematické modely a struktury, MSM 6198959214 C Výzkumný

záměr

2005-2011

Bělohlávek Formální konceptuální analýza neurčitých a rozsáhlých dat: teorie, metody a aplikace, 201/05/0079

B GA ČR

2005-2007

Bělohlávek Hierarchická analýza složitých dat, 1ET101370417 B GAAV ČR

2004-2008

Bělohlávek Monitorování blokády nervosvalového přenosu, automatizace dávkování kurarimimetik během celkové anestezie, ND7665–

C MZ ČR

2003-2005

2

3/2003 Bělohlávek Relační systémy v podmínkách vágnosti a nejistoty:

matematické základy pro aplikace, B1137301 B

GAAV ČR 2003-2005

Bělohlávek Konceptuální svazy nad fuzzy a neurčitými daty, 201/02/P076 B GA ČR

2002-2004

Bělohlávek Fuzzy logic in modeling sediment dispersal A NSF

(USA)

2001-2002

Bělohlávek Model theory for fuzzy logic in the foundations of soft computing

A NATO (USA)

2000

Bělohlávek Konceptuální svazy a konceptuální analýza dat ve fuzzy logice, 201/99/P060

B GA ČR

1999-2001

Bělohlávek Fuzzy logic and its applications A SUNY RF

(USA)

1999-2000

Přehled řešených projektů a dalších aktivit v rámci spolupráce s praxí u profesně zaměřeného bakalářského a magisterského studijního programu Pracoviště praxe Název či popis projektu uskutečňovaného ve spolupráci s

praxí Období

— Odborné aktivity vztahující se k tvůrčí, resp. vědecké a umělecké činnosti vysoké školy, která souvisí se studijním programem

Informatický seminář (http://www.inf.upol.cz/vyzkum/seminare) – pravidelný seminář probíhající od roku 2004 (?) věnovaný aktuálním problémům informatiky. Na semináři jsou přednášeny originální příspěvky, referáty o výsledcích jiných autorů, rozpracovaná témata, otevřené problémy, části monografií a podobně.

Olinx (Olomoucký informatický korespondenční seminář, https://olinx.inf.upol.cz/) – dva paralelně probíhající korespondenční semináře za semestr od roku 2016 z různých oblastí současné informatiky pořádané Katedrou informatiky Univerzity Palackého určené všem zájemcům o informatiku, zejména pak středoškolským studentům všech ročníků. Magazín katedry informatiky (http://www.inf.upol.cz/magazin) – dvakrát do roka od roku 2014 vycházející magazín informující absolventy a studenty katedry a širší veřejnost o dění na katedře, na univerzitě i o zajímavostech ze světa informatiky. MCIN (Mezinárodní Centrum pro Informaci a Neurčitost, http://mcin.inf.upol.cz/) – společný projekt kateder informatiky a optiky probíhající v letech 2012-2014 spolufinancovaný z ESF mající za cíl posílit excelenci vědeckých týmů Přírodovědecké fakulty Univerzity Palackého v oblasti informace a neurčitost vybudováním silných mezinárodních vazeb. DAMOL (Data Analysis and Modeling Lab, http://damol.info) – laboratoř při katedře informatiky v letech 2011-2014 spolufinancovaná z ESF provádějící základní i aplikovaný výzkum v oblasti analýzy a modelování zejména relačních dat. CLA (Int. Conference on Concept Lattices and Their Applications, http://cla.inf.upol.cz) – katedra informatiky hostovala v letech 2005, 2008 a 2018 mezinárodní vědeckou konferenci věnovanou analýze relačních dat. Informace o spolupráci s praxí vztahující se ke studijnímu programu V předmětu KMI/VYPI Vybrané partie z informatiky určeném primárně, ale nejen, pro studenty navazujících magisterských programů přednáší během jednoho týdne každý rok zástupci firem o aktuálních trendech a problémech v informatické praxi.

Klirovo stipendium - prospěchové stipendium udělované každoročně od roku 2016 nejlepším studentům informatických oborů uskutečňovaných na PřF UP v Olomouci.

https://www.inf.upol.cz/

https://www.inf.upol.cz/

http://www.inf.upol.cz/magazin

3

C-III – Informační zabezpečení studijního programu Název a stručný popis studijního informačního systému Název: IS/STAG (https://stag.upol.cz/) Informační systém studijní agendy IS/STAG je součástí univerzitního informačního systému Univerzity Palackého v Olomouci. Jedná se komplexní systém pokrývající administraci studia od podání přihlášky až po vydání diplomu a vazby na další související informační systémy.

Přístup ke studijní literatuře Studijní literatura je dostupná v univerzitní knihovně v budově Zbrojnice a v knihovně přírodovědecké fakulty. Fakultní knihovna sídlí ve dvou objektech: v budově na ulici 17. listopadu 12 je umístěn fond oborů chemie, geologie, geografie, geoinformatiky, rozvojových studií, fyziky, optiky, matematiky a informatiky; pobočka na ul. Šlechtitelů 27 pokrývá především oblast botaniky, biochemie, buněčné biologie a ekologie. Studenti mají také k dispozici elektronické informační zdroje (http://ezdroje.upol.cz/). Katedra disponuje bohatým pravidelně aktualizovaným literárním fondem čítajícím cca 1450 knih z informatických a matematických oblastí. Knihy jsou na požádání dostupné i studentům. Z webu katedry (http://www.inf.upol.cz) a webových stránek vyučujících vedou odkazy na elektronická skripta, výukové slajdy a další studijní materiály. Přehled zpřístupněných databází Přístup do elektronických časopisů a knih: http://ezdroje.upol.cz/ecasopisy/index.php?lang=cs Přístup pro všechny studenty informatických studijních programů a vyučující katedry informatiky k software firmy Microsoft v rámci programu Imagine.

Název a stručný popis používaného antiplagiátorského systému Název: Theses.cz (http://theses.cz/) Systém Theses.cz je vyvíjen a provozován Masarykovou univerzitou. Slouží vysokým školám jako národní registr závěrečných prací a umožňuje mezi uloženými pracemi vyhledávat plagiáty. Veřejnosti jsou zpřístupňovány záznamy o závěrečných pracích, příp. plné texty (podle rozhodnutí školy).

https://stag.upol.cz/

http://ezdroje.upol.cz/

http://www.inf.upol.cz/

http://ezdroje.upol.cz/ecasopisy/index.php?lang=cs

http://theses.cz/

4

C-IV – Materiální zabezpečení studijního programu Místo uskutečňování studijního programu

17. listopadu 12, Olomouc

Kapacita výukových místností pro teoretickou výuku 17. listopadu 12, Olomouc LP 1023 24 Přírodovědecká fakulta LP 1024 24 Přírodovědecká fakulta LP 1025 24 Přírodovědecká fakulta LP 1026 24 Přírodovědecká fakulta LP 1027 24 Přírodovědecká fakulta LP 1028 24 Přírodovědecká fakulta LP 1029 30 Přírodovědecká fakulta LP 1030 30 Přírodovědecká fakulta LP 1031 24 Přírodovědecká fakulta LP 1032 32 Přírodovědecká fakulta LP 1033 32 Přírodovědecká fakulta LP 1034 32 Přírodovědecká fakulta LP 1035 32 Přírodovědecká fakulta LP 1036 32 Přírodovědecká fakulta LP 1037 32 Přírodovědecká fakulta LP 1127 32 Přírodovědecká fakulta LP 1128 24 Přírodovědecká fakulta LP 2001 156 Přírodovědecká fakulta LP 2004 36 Přírodovědecká fakulta LP 2005 96 Přírodovědecká fakulta LP 2006 48 Přírodovědecká fakulta LP 3003 72 Přírodovědecká fakulta LP 3005 72 Přírodovědecká fakulta LP 5006 48 Přírodovědecká fakulta LP 5007 96 Přírodovědecká fakulta LP 5008 48 Přírodovědecká fakulta LP 5073 24 Katedra informatiky LP 5077 20 Katedra informatiky Z toho kapacita v prostorách v nájmu — Doba platnosti nájmu — Kapacita a popis odborné učebny 17. listopadu 12, Olomouc LP 5002 36 Katedra informatiky, počítačová učebna LP 5003 36 Katedra informatiky, počítačová učebna LP 5004 36 Katedra informatiky, počítačová učebna LP 5070 24 Katedra informatiky, počítačová učebna LP 5071 10 Katedra informatiky, počítačová učebna

Z toho kapacita v prostorách v nájmu — Doba platnosti nájmu — Vyjádření orgánu hygienické služby ze dne —

Opatření a podmínky k zajištění rovného přístupu Rovný přístup je deklarován v Řádu přijímacího řízení Univerzity Palackého v Olomouci, ve Studijním a zkušebním řádu Univerzity Palackého v Olomouci a v Etickém kodexu akademických pracovníků a vědeckých pracovníků Univerzity Palackého v Olomouci. Specializovaným pracovištěm na UP zabývajícím se podporou studentů se specifickými vzdělávacími potřebami či studentů pocházejících ze sociálně či etnicky znevýhodněného prostředí je Centrum podpory studentů se specifickými potřebami. Jedná se o celouniverzitní zařízení poskytující komplexní odborný poradenský, technický a terapeutický servis studentům se specifickými potřebami ze všech fakult Univerzity Palackého.

5

C-V – Finanční zabezpečení studijního programu Vzdělávací činnost vysoké školy financovaná ze státního rozpočtu

ano

Zhodnocení předpokládaných nákladů a zdrojů na uskutečňování studijního programu —

verze 16.2.2017

D-I – Záměr rozvoje a další údaje ke studijnímu programu Záměr rozvoje studijního programu a jeho odůvodnění Přírodovědecká fakulta UP má více než třicetiletou tradici ve vzdělávání informatiků a výzkumu v oblasti informatiky. Poskytuje vzdělání odpovídající standardu přední české vysoké školy. Doktorský studijní program Informatika vychází z poptávky studentů po tomto typu vzdělávání a z vysoké poptávky po takto vzdělaných informaticích na trhu práce. Záměrem fakulty je pokračovat v rozvoji tohoto tradičního programu, zejména: - pokračovat v uskutečňování tohoto programu a udržet jeho renomé mezi zaměstnavateli a studenty, - udržet vysoké požadavky kladené na studenty během studia, - udržet a dále rozvíjet kvalitu tohoto programu po stránce skladby studijních plánů, - udržet kvalitní zapojování studentů do tvůrčí činnosti, - udržet a dále rozvíjet kvalitu programu po stránce personálního zabezpečení vyučujícími, podporovat jejich kvalifikační rozvoj, přijmout nové, kvalitní akademické pracovníky. Uvedené body jsou realistické a jsou přirozeným pokračováním vývoje v posledních letech. Jsou umožněny mj. dobrým finančním zabezpečením garantujícího pracoviště. Počet přijímaných uchazečů ke studiu ve studijním programu 2013/14 – 2 2014/15 – 3 2015/16 – 1 2016/17 – 3 2017/18 – 1 2018/19 – 2 2019/20 - 2

Předpokládaná uplatnitelnost absolventů na trhu práce Uplatnitelnost absolventů je bezproblémová, absolventi doktorského programu Computer Science jsou na trhu práce vysoce žádáni. Absolventi mohou pracovat ve výzkumu a vývoji v různých oblastech informatiky ve veřejném i soukromém sektoru, ve vedoucích pozicích informatických firem, v pozicích vyžadujících mimořádné analytické a tvůrčí schopnosti, popř. jako učitelé na vysokých školách.

verze 1. 2. 2019

E – Sebehodnotící zpráva v rámci žádosti o schválení studijního programu 1. Silné stránky studijního programu Program splňuje všechny požadavky kladené příslušnými normami, zejm. nařízením vlády č. 275/2016 Sb. Obsah studia je v souladu s cíli studia a s profilem absolventa. Personální zabezpečení Studijní program je kvalitně zabezpečen po personální stránce (viz bod 3 níže). Kvalita tvůrčí činností Na pracovišti vznikají ve spoluautorství školitelů a studentů publikace uplatňované v prestižních informatických časopisech a konferencích; publikace jsou v mezinárodním měřítku hojně citovány. Mezinárodní rozměr Akademičtí pracovníci zapojení do studijního programu jsou významným způsobem zapojeni do mezinárodní spolupráce s předními pracovišti ze zemí EU, USA , Ruska a dalších zemí. V posledních 5 letech navštívilo školitelské pracoviště přibližně 50 odborníků ze zahraničí. Významná část publikací členů katedry má zahraniční spoluautory. Studenti doktorského studia vyjíždějí na zahraniční pracoviště na stáže i nad rámec povinných stáží. Materiální a technické zabezpečení Materiální a technické zabezpečení je na vysoké úrovni. Vychází z dobrého finančního zabezpečení pracoviště. Uplatnitelnost absolventů Po absolventech informatických programů je na trhu práce velmi vysoká poptávka. To platí nejen na Olomoucku, ale v jiných regionech ČR a v celé EU. Kromě tohoto faktoru je vynikající uplatnitelnost absolventů dána jejich kvalitou. Kvalita absolventů Absolventi informatických studijních programů uskutečňovaných na Přírodovědecké fakultě UP jsou zaměstnavateli dlouhodobě považováni za vysoce kvalitní v kontextu ČR. Řada z nich nachází uplatnění např. ve vývojových odděleních významných nadnárodních společností.

2. Slabé stránky studijního programu Studijní program nemá výrazné slabé stránky. Za slabinu lze případně považovat absenci pokrytí některých informatických oblastí, což je ovšem vzhledem k šíři oboru informatika a k rychlosti rozvoje v tomto oboru rys společný všem informatickým studijním programům uskutečňovaným v ČR.

3. Personální zabezpečení studijního programu Studijní program je po personální stránce zabezpečen kvalitně. Všichni učitelé vykazují kvalitní vědeckou činnost ve většině oblastí, o kterých přednášejí. Většina z nich má mezinárodní renomé, publikuje v předních časopisech a konferencích oboru, jejich práce mají vysoký ohlas. Učitelé působící v programu jsou členy redakčních rad řady předních mezinárodních časopisů a členy programových výborů mezinárodních konferencí.

4. Výhled personálního zabezpečení studijního programu Kvalifikační a věkový profil akademických pracovníků podílejících se na uskutečňování tohoto studijního programu dává záruku bezproblémovému uskutečňování tohoto programu v příštích nejméně 10 letech. Jedním ze strategických cílů na garantujícím pracovišti je navíc další rozvoj v personální oblasti, a to jak přijímání dalších kvalitních pracovníků, tak další kvalifikační rozvoj stávajících pracovníků.

verze 1. 2. 2019

5. Výhled vzdělávací a tvůrčí činnosti ve studijním programu Současný stav skýtá dobré předpoklady pro další rozvoj vzdělávací i tvůrčí činnosti. Základním strategickým cílem v dalších letech je personální rozšíření sboru akademických pracovníků podílejících se na uskutečňování studijních programů v oblasti informatika. To umožní další rozvoj v tvůrčí činnosti v této vzdělávací oblasti a další rozvoj studijního programu, zejména rozšíření nabídky volitelných předmětů. Rozvoj je podmíněný dobrým finančním zabezpečením, které lze na základě vývoje v minulých letech předpokládat.

V Olomouci dne 28. června 2019

Prohlášení

V případě udělení oprávnění uskutečňovat doktorský studijní program Computer Science bude studijní program garantován a studijní předměty garantovány a vyučovány na odpovídající odborné úrovni po celou dobu platnosti akreditace. Pokud dojde k případnému odchodu některých pracovníků, budou nahrazeni pracovníky s kvalifikací odpovídající daným požadavkům.

doc. RNDr. Martin Kubala, Ph.D. děkan Přírodovědecké fakulty

Univerzity Palackého v Olomouci

Přírodovědecká fakulta Univerzity Palackého v Olomouci 17. listopadu 1192/12 | 771 46 Olomouc | T: 585 634 060 www.prf.upol.cz

http://www.prf.upol.cz/

a-i – základní informace o žádosti o akreditaci · 2019-10-02 · b-iii – charakteristika...

Documents