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

Transkript

1 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: Informatika Typ žádosti o akreditaci: schválení studijního programu Schvalující orgán: Rada pro vnitřní hodnocení UP Datum schválení žádosti: 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čňovat studijní program: Rada pro vnitřní hodnocení Univerzity Palackého v Olomouci schválení žádosti o udělení oprávnění uskutečňovat studijní program: Odkaz na elektronickou podobu žádosti: UPShare: portal.upol.cz Odkazy na relevantní vnitřní předpisy: UPShare: portal.upol.cz ISCED F: 0613 verze

2 B-I Charakteristika studijního programu Název studijního programu Informatika Typ studijního programu doktorský Profil studijního programu akademicky zaměřený Forma studia prezenční, kombinovaná Standardní doba studia 4 Jazyk studia český 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 ne regulovaného povolání Zaměření na přípravu odborníků ne z oblasti bezpečnosti České republiky 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 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

3 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

4 Návrh studijního plánu v kreditovém systému Vysoká škola Součást vysoké školy Název studijního programu Kód Název Univerzita Palackého v Olomouci Přírodovědecká fakulta Informatika Počet kreditů Kreditní limit: 240 Profil. Rozsah Zakončení Semestr základ Povinné předměty Počet kreditů: 140 KMI/PGDP1 Disertační práce Zp Z ZT KMI/PGDP2 Disertační práce Zp L ZT KMI/PGDP3 Disertační práce Zp Z ZT KMI/PGDP4 Disertační práce Zp L ZT KMI/PGDP5 Disertační práce Zp Z ZT KMI/PGDP6 Disertační práce Zp L ZT KMI/PGOS1 Odborný seminář Zp Z/L PZ KMI/PGOS2 Odborný seminář Zp Z/L PZ KMI/PGST1 Vědecko-výzkumná stáž D Zp Z/L PZ KMI/PGPK Prezentace na konferenci 10 - Zp Z/L PZ Povinně volitelné předměty 1 jazyková průprava Volba min: 15 kred. VCJ/PGAJ Anglický jazyk pro doktorské studium S+0 Zp, Zk Z/L PZ KMI/PGST2 Vědecko-výzkumná stáž D Zp Z/L PZ KMI/PGAS1 Odborný seminář v AJ 5 - Zp Z/L PZ KMI/PGAK Přednáška v AJ na mezinárodní konferenci 10 - Zp Z/L PZ Povinně volitelné předměty 2 oborové Uspořádané množiny a teorie svazů pro KAG/PGMI informatiky Volba min: 25 kred. 5 20S+0+0 Zk Z/L ZT KAG/PGUI Univerzální algebra pro informatiky 5 20S+0+0 Zk Z/L ZT KMI/PGDA Paralelní a distribuované algoritmy 5 20S+0+0 Zk Z/L ZT KMI/PGFL Fuzzy logika 5 20S+0+0 Zk Z/L ZT KMI/PGFM Fuzzy množiny a jejich aplikace 5 20S+0+0 Zk Z/L ZT KMI/PGFP Funkcionální programování 5 20S+0+0 Zk Z/L ZT KMI/PGKA Formální konceptuální analýza 5 20S+0+0 Zk Z/L ZT KMI/PGKK Kvantová kryptografie pro informatiky 5 20S+0+0 Zk Z/L ZT KMI/PGLP Logické programování 5 20S+0+0 Zk Z/L ZT KMI/PGML Matematická logika 5 20S+0+0 Zk Z/L ZT KMI/PGMR Machine learning 5 20S+0+0 Zk Z/L ZT KMI/PGRD Teorie relačních databází 5 20S+0+0 Zk Z/L ZT KMI/PGSC Soft Computing 5 20S+0+0 Zk Z/L ZT KMI/PGST Průzkumová mnohorozměrná statistická analýza 5 20S+0+0 Zk Z/L ZT KMI/PGTI Teorie informace 5 20S+0+0 Zk Z/L ZT KMI/PGTK Teorie kategorií pro informatiky 5 20S+0+0 Zk Z/L ZT KMI/PGTM Teorie modelů 5 20S+0+0 Zk Z/L ZT KMI/PGTO Topologické metody v informatice 5 20S+0+0 Zk Z/L ZT verze

5 KMI/PGTP Těžké problémy 5 20S+0+0 Zk Z/L ZT KMI/PGVR Formální metody pro verifikaci systémů 5 20S+0+0 Zk Z/L ZT KMI/PGVS Vyčíslitelnost a složitost 5 20S+0+0 Zk Z/L ZT *Povinně volitelné předměty 3 publikační činnost Volba min: 40 kred. KMI/PGIF Hlavní autor publikace v časopise s IF 30 - Zp Z/L PZ KMI/PGIF2 Hlavní autor publikace v časopise s IF Zp Z/L PZ KMI/PGIS1 Spoluautorství v časopise s IF Zp Z/L PZ KMI/PGIS2 Spoluautorství v časopise s IF Zp Z/L - Povinně volitelné předměty 4 Volba min: 10 kred. PRF/PGMVV Management vědy a výzkumu HR+0 Zk Z/L PZ KMI/PGPC1 Pedagogická činnost Zp Z/L PZ KMI/PGT Teze k dizertační práci 10 - Zp Z/L ZT Volitelné předměty KMI/PGPPA Popularizační aktivity na UP 5 - Zp Z/L - KMI/PGPRO Projektová činnost 5 - Zp Z/L - KMI/PGPC2 Pedagogická činnost Zp Z/L - KMI/PGPC3 Pedagogická činnost Zp Z/L - verze

6 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. 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. 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. 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. 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 Implicitně paralelní překladače pro funkcionální programování Rychlé algoritmy pro faktorizaci binárních dat Metody formální verifikace Faktorizace velkých dat Strojové učení a metody faktorizace pro předzpracování dat Vyhledávání v podobnostních databázích 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) 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 ( verze

7 Název studijního KAG/PGMI - Uspořádané množiny a teorie svazů pro informatiky Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky prof. RNDr. Ivan Chajda, DrSc. p prof. RNDr. Ivan Chajda, DrSc. Stručná anotace 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s vyučujícím podle potřeby.

8 Název studijního KAG/PGUI - Univerzální algebra pro informatiky Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky prof. RNDr. Ivan Chajda, DrSc. p prof. RNDr. Ivan Chajda, DrSc. Stručná anotace 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í univerzální algebry v informatice. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s vyučujícím podle potřeby.

9 Název studijního KMI/PGAK - Přednáška v AJ na mezinárodní konferenci Typ Povinně volitelný/pz doporučený ročník / semestr / Rozsah studijního hod. 0 kreditů 10 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních Elektronická verze prezentace. a další požadavky na prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky Kontrola zprávy o účasti na konferenci a podkladů k prezentaci na konferenci, vyhodnocení prezentace na konferenci se studentem. školitelé, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace 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. Doporučená literatura: Aktuální odborná časopisecká a knižní literatura dle tématu prezentace. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

10 Název studijního KMI/PGAS1 - Odborný seminář v AJ Typ Povinně volitelný/pz doporučený ročník / semestr / Rozsah studijního hod. 0 kreditů 5 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních Ústní a další požadavky na Mgr. Lucie Vaňková, Ph.D. Zapojení garanta do výuky Garant se účastní odborného semináře Mgr. Alena Fridrichová, Mgr. Lucie Vaňková, Ph.D., školitelé Stručná anotace 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. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

11 Název studijního KMI/PGDA - Paralelení a distribuované algoritmy Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky doc. Mgr. Jan Outrata, Ph.D. p doc. Mgr. Jan Outrata, Ph.D. Stručná anotace V 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ů. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

12 Název studijního KMI/PGDP1 - Disertační práce 1 Typ Povinný/ZT doporučený ročník / semestr /ZS Rozsah studijního hod. 0 kreditů 15 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních a další požadavky na Zápočet navrhuje školitel na základě průběžného zhodnocení výzkumné činnosti a zapisuje garant (předseda oborové rady). prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky 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. školitelé, příp. konzultanti, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace Vědecká činnost pod vedením školitele. Zahrnuje zejména vlastní tvůrčí činnost, dále pak studium odborné literatury a zpracování tvůrčí činnosti do prezentovatelné podoby. Doporučená literatura: Aktuální odborná časopisecká a knižní literatura vztahující se k tématu disertační práce. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

13 Název studijního KMI/PGDP2 - Disertační práce 2 Typ Povinný/ZT doporučený ročník / semestr /LS Rozsah studijního hod. 0 kreditů 15 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních a další požadavky na Zápočet navrhuje školitel na základě průběžného zhodnocení výzkumné činnosti a zapisuje garant (předseda oborové rady). prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky 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. školitelé, příp. konzultanti, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace Vědecká činnost pod vedením školitele. Zahrnuje zejména vlastní tvůrčí činnost, dále pak studium odborné literatury a zpracování tvůrčí činnosti do prezentovatelné podoby. Doporučená literatura: Aktuální odborná časopisecká a knižní literatura vztahující se k tématu disertační práce. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

14 Název studijního KMI/PGDP3 - Disertační práce 3 Typ Povinný/ZT doporučený ročník / semestr /ZS Rozsah studijního hod. 0 kreditů 20 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních a další požadavky na Zápočet navrhuje školitel na základě průběžného zhodnocení výzkumné činnosti a zapisuje garant (předseda oborové rady). prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky 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. školitelé, příp. konzultanti, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace Vědecká činnost pod vedením školitele. Zahrnuje zejména vlastní tvůrčí činnost, dále pak studium odborné literatury a zpracování tvůrčí činnosti do prezentovatelné podoby. 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. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

15 Název studijního KMI/PGDP4 - Disertační práce 4 Typ Povinný/ZT doporučený ročník / semestr /LS Rozsah studijního hod. 0 kreditů 20 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních a další požadavky na Zápočet navrhuje školitel na základě průběžného zhodnocení výzkumné činnosti a zapisuje garant (předseda oborové rady). prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky 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. školitelé, příp. konzultanti, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace Vědecká činnost pod vedením školitele. Zahrnuje zejména vlastní tvůrčí činnost, dále pak studium odborné literatury a zpracování tvůrčí činnosti do prezentovatelné podoby. Doporučená literatura: Aktuální odborná časopisecká a knižní literatura vztahující se k tématu disertační práce. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

16 Název studijního KMI/PGDP5 - Disertační práce 5 Typ Povinný/ZT doporučený ročník / semestr /ZS Rozsah studijního hod. 0 kreditů 20 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních a další požadavky na Zápočet navrhuje školitel na základě průběžného zhodnocení výzkumné činnosti a zapisuje garant (předseda oborové rady). prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky 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. školitelé, příp. konzultanti, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace Vědecká činnost pod vedením školitele. Zahrnuje zejména vlastní tvůrčí činnost, dále pak studium odborné literatury a zpracování tvůrčí činnosti do prezentovatelné podoby. Doporučená literatura: Aktuální odborná časopisecká a knižní literatura vztahující se k tématu disertační práce. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

17 Název studijního KMI/PGDP6 - Disertační práce 6 Typ Povinný/ZT doporučený ročník / semestr /LS Rozsah studijního hod. 0 kreditů 20 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních a další požadavky na Zápočet navrhuje školitel na základě průběžného zhodnocení výzkumné činnosti a zapisuje garant (předseda oborové rady). prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky 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. školitelé, příp. konzultanti, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace Vědecká činnost pod vedením školitele. Zahrnuje zejména vlastní tvůrčí činnost, dále pak studium odborné literatury a zpracování tvůrčí činnosti do prezentovatelné podoby. Doporučená literatura: Aktuální odborná časopisecká a knižní literatura vztahující se k tématu disertační práce. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

18 Název studijního KMI/PGFL - Fuzzy logika Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky doc. RNDr. Jan Konečný, Ph.D. doc. RNDr. Jan Konečný, Ph.D. p Stručná anotace 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é BLlogiky. 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

19 Název studijního KMI/PGFM - Fuzzy množiny a jejich aplikace Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky doc. RNDr. Michal Krupka, Ph.D. doc. RNDr. Michal Krupka, Ph.D. p Stručná anotace 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

20 Název studijního KMI/PGFP - Funkcionální programování Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky doc. RNDr. Michal Krupka, Ph.D. doc. RNDr. Michal Krupka, Ph.D. p Stručná anotace 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é. 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ů. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

21 Název studijního KMI/PGIF - Hlavní autor publikace v časopise s IF Typ Povinně volitelný/pz doporučený ročník / semestr / Rozsah studijního hod. 0 kreditů 30 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních Publikovaná práce v časopise s IF nebo ve sborníku konference CORE A*, A a další požadavky na nebo B Zapojení garanta do výuky školitelé prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Garant ověří, že práce má předepsané parametry a že student je jejím hlavním autorem Stručná anotace Získání nových vědeckých. Příprava vědecké publikace na základě dosažených. 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. Doporučená literatura: Odborná časopisecká a knižní literatura dle zaměření a tématu připravované vědecké publikace. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

22 Název studijního KMI/PGIF2 - Hlavní autor publikace v časopise s IF 2 Typ Povinně volitelný/pz doporučený ročník / semestr / Rozsah studijního hod. 0 kreditů 30 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních a další požadavky na Publikovaná práce v časopise s IF nebo ve sborníku konference CORE A*, A nebo B. Zapojení garanta do výuky školitelé prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Garant ověří, že práce má předepsané parametry a že student je jejím spoluautorem Stručná anotace Získání nových vědeckých. Příprava vědecké publikace na základě dosažených. 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. Doporučená literatura: Odborná časopisecká a knižní literatura dle zaměření a tématu připravované vědecké publikace. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

23 Název studijního KMI/PGIS1 - Spoluautorství v časopise s IF 1 Typ Povinně volitelný/pz doporučený ročník / semestr / Rozsah studijního hod. 0 kreditů 10 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních a další požadavky na Publikovaná práce v časopise s IF nebo ve sborníku konference CORE A*, A nebo B. Zapojení garanta do výuky školitelé prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Garant ověří, že práce má předepsané parametry a že student je jejím hlavním autorem Stručná anotace Získání nových vědeckých. Příprava vědecké publikace na základě dosažených. 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. Doporučená literatura: Odborná časopisecká a knižní literatura dle zaměření a tématu připravované vědecké publikace. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

24 Název studijního KMI/PGIS2 - Spoluautorství v časopise s IF 2 Typ Povinně volitelný doporučený ročník / semestr / Rozsah studijního hod. 0 kreditů 10 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních a další požadavky na Publikovaná práce v časopise s IF nebo ve sborníku konference CORE A*, A nebo B. Zapojení garanta do výuky školitelé prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Garant ověří, že práce má předepsané parametry a že student je jejím spoluautorem Stručná anotace Získání nových vědeckých. Příprava vědecké publikace na základě dosažených. 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. Doporučená literatura: Odborná časopisecká a knižní literatura dle zaměření a tématu připravované vědecké publikace. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

25 Název studijního KMI/PGKA - Formální konceptuální analýza Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky prof. RNDr. Radim Bělohlávek, Ph.D., DSc. p prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Stručná anotace 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

26 Název studijního KMI/PGKK - Kvantová kryptografie pro informatiky Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky prof. Mgr. Radim Filip, Ph.D. p prof. Mgr. Radim Filip, Ph.D. Stručná anotace 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í. 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, 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

27 Název studijního KMI/PGLP - Logické programování Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky doc. RNDr. Miroslav Kolařík, Ph.D. doc. RNDr. Miroslav Kolařík, Ph.D. p Stručná anotace 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. 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: John Wiley & Sons Ltd., Chichester (druhé vydání). Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

28 Název studijního KMI/PGML - Matematická logika Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky prof. RNDr. Radim Bělohlávek, Ph.D., DSc. p prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Stručná anotace 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í, 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

29 Název studijního KMI/PGMR - Machine learning Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky doc. Mgr. Jan Outrata, Ph.D. p doc. Mgr. Jan Outrata, Ph.D. Stručná anotace 1. Shlukování. 2. Klasifikace. 3. Závislosti v datech. 4. Grafové modely. 5. Redukce dimenzionality. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

30 Název studijního KMI/PGOS1 - Odborný seminář 1 Typ Povinný/PZ doporučený ročník / semestr / Rozsah studijního hod. 0 kreditů 5 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních a další požadavky na Ústní prezentace na semináři. prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky Garant participuje na organizaci odborného semináře a účastní se ho školitelé, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace 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 a cílem prezentace je poskytnout informace o dosavadním průběhu a výsledcích výzkumu během doktorského studia. Doporučená literatura: Aktuální odborná časopisecká a knižní literatura vztahující se k tématu semináře. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

31 Název studijního KMI/PGOS2 - Odborný seminář 2 Typ Povinný/PZ doporučený ročník / semestr / Rozsah studijního hod. 0 kreditů 5 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních a další požadavky na Ústní prezentace na semináři. prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky Garant participuje na organizaci odborného semináře a účastní se ho školitelé, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace 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 a cílem prezentace je poskytnout informace o dosavadním průběhu a výsledcích výzkumu během doktorského studia. Doporučená literatura: Aktuální odborná časopisecká a knižní literatura vztahující se k tématu semináře. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

32 Název studijního KMI/PGPC1 - Pedagogická činnost 1 Typ Povinně volitelný/pz doporučený ročník / semestr / Rozsah studijního hod. 0 kreditů 5 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních a další požadavky na Zapojení garanta do výuky Podíl na výuce odborného v rozsahu 4-6 hodin týdně. prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Garant se podílí na výběru vhodného, na jehož výuce se student podílí, a na vyhodnocení zpětné vazby pro garant, na jehož výuce se student podílí, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace Podíl na výuce odborného na katedře, vedení cvičení. Doporučená literatura: Odborná literatura dle daného vyučovaného. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

33 Název studijního KMI/PGPK - Prezentace na konferenci Typ Povinný/PZ doporučený ročník / semestr / Rozsah studijního hod. 0 kreditů 10 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních Elektronická verze prezentace. a další požadavky na prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky Kontrola zprávy o účasti na konferenci a podkladů k prezentaci na konferenci, vyhodnocení prezentace na konferenci se studentem. školitelé, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace 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. Doporučená literatura: Aktuální odborná časopisecká a knižní literatura dle tématu prezentace. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

34 Název studijního KMI/PGRD - Teorie relačních databází Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky p prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Stručná anotace 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é 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

35 Název studijního KMI/PGSC - Soft Computing Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky doc. RNDr. Jan Konečný, Ph.D. doc. RNDr. Jan Konečný, Ph.D. p Stručná anotace 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

36 Název studijního KMI/PGST - Průzkumová mnohorozměrná statistická analýza Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky doc. RNDr. Karel Hron, Ph.D. doc. RNDr. Karel Hron, Ph.D. p Stručná anotace 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

37 Název studijního KMI/PGST1 - Vědecko-výzkumná stáž 1 Typ Povinný/PZ doporučený ročník / semestr / Rozsah studijního 30D hod. 156 kreditů 10 Způsob ověření studijních Zápočet Forma výuky c Forma způsobu ověření studijních a další požadavky na Zpráva z odborné stáže posouzená školitelem a garantem studijního programu. prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky Koordinace odborných stáží, vyhodnocení průběhu a přínosu stáže se studentem. školitelé, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace 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ů. Doporučená literatura: Aktuální odborná časopisecká a knižní literatura dle odborného zaměření vědeckovýzkumné stáže. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

38 Název studijního KMI/PGST2 - Vědecko-výzkumná stáž 2 Typ Povinně volitelný/pz doporučený ročník / semestr / Rozsah studijního 60D hod. 312 kreditů 15 Způsob ověření studijních Zápočet Forma výuky c Forma způsobu ověření studijních a další požadavky na Zpráva z odborné stáže posouzená školitelem a garantem studijního programu. prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky Koordinace odborných stáží, vyhodnocení průběhu a přínosu stáže se studentem. školitelé, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace 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ě 60 dnů. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

39 Název studijního KMI/PGT - Teze k disertační práci Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního hod. 0 kreditů 10 Způsob ověření studijních Zápočet Forma výuky Forma způsobu ověření studijních Výtisk nebo elektronická verze tezí a další požadavky na prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Zapojení garanta do výuky posouzení zpracovaných tezí a jejich připomínkování školitelé, prof. RNDr. Radim Bělohlávek, DSc. Stručná anotace Zpracování písemných tezí k disertační práci obsahujících souhrn vědeckých dosažených studentem a návrh struktury disertační práce. Doporučená literatura: aktuální odborná časopisecká a knižní literatura dle tématu disertační práce. Rozsah konzultací (soustředění) 0 hodin Individuální konzultace s garantem podle potřeby.

40 Název studijního KMI/PGTI - Teorie informace Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky doc. RNDr. Jan Konečný, Ph.D. doc. RNDr. Jan Konečný, Ph.D. p Stručná anotace 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

41 Název studijního KMI/PGTK - Teorie kategorií pro informatiky Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky prof. RNDr. Radim Bělohlávek, Ph.D., DSc. p prof. RNDr. Radim Bělohlávek, Ph.D., DSc., prof. RNDr. Josef Šlapal, CSc. Stručná anotace 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ů 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

42 Název studijního KMI/PGTM - Teorie modelů Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky prof. RNDr. Radim Bělohlávek, Ph.D., DSc. p prof. RNDr. Radim Bělohlávek, Ph.D., DSc. Stručná anotace Ú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í. 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

43 Název studijního KMI/PGTO - Topologické metody v informatice Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky doc. RNDr. Michal Krupka, Ph.D. doc. RNDr. Michal Krupka, Ph.D. p Stručná anotace 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

44 Název studijního KMI/PGTP - Těžké problémy Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky prof. RNDr. Petr Jančar, CSc. prof. RNDr. Petr Jančar, CSc. p Stručná anotace Obsahem 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

45 Název studijního KMI/PGVR - Formální metody pro verifikaci systémů Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky prof. RNDr. Petr Jančar, CSc. prof. RNDr. Petr Jančar, CSc. p Stručná anotace 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. Softwarové verifikační nástroje. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

46 Název studijního KMI/PGVS - Vyčíslitelnost a složitost Typ Povinně volitelný/zt doporučený ročník / semestr / Rozsah studijního 20p hod. 20 kreditů 5 Způsob ověření studijních Zkouška Forma výuky p Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky prof. RNDr. Petr Jančar, CSc. p prof. RNDr. Petr Jančar, CSc. Stručná anotace 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. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

47 Název studijního PRF/PGMVV - Management vědy a výzkumu Typ Povinně volitelný/pz doporučený ročník / semestr /ZS Rozsah studijního 520c hod. 520 kreditů 5 Způsob ověření studijních Zkouška Forma výuky c Forma způsobu ověření studijních Kombinovaná a další požadavky na Zapojení garanta do výuky prof. Mgr. Ondřej Bábek, Dr. c prof. Mgr. Ondřej Bábek, Dr., Ing. Michaela Holecová, prof. MVDr. Emil Tkadlec, CSc. Stručná anotace Připravuje doktorandy PřF UP pro lepší uplatnitelnost v konkurenčním prostředí. 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. Rozsah konzultací (soustředění) hodin Individuální konzultace s garantem podle potřeby.

48 Název studijního VCJ/PGAJ - Anglický jazyk pro doktorské studium Typ Povinný předmět, PZ doporučený ročník / semestr Z/L Rozsah studijního 20c hod. kreditů 15 Způsob ověření studijních zápočet, zkouška Forma výuky konzultace Forma způsobu ověření studijních a další požadavky na Na písemnou část zkoušky (Writing, Listening a Reading) se studenti ve STAGU zapisují jako na zápočet před zkouškou. Na ústní část zkoušky (Presentation ín English) se studenti zapisují jako na zkoušku.před ústní zkouškou je student povinen zaslat mailem zkoušejícímu přehled snímků své prezentace, abstrakt v rozsahu maximálně 200 slov a přehled klíčové terminologie (30-50 výrazů) s přepisem výslovnosti podle IPA (International Phonetic Alphabet) a překladem termínů. Zkouška VCJ/PGAJ se koná šestkrát ročně v pevně daných termínech. Mgr. Lucie Vaňková, Ph. D. Zapojení garanta do výuky 50 % kontaktní výuky Mgr. Lucie Vaňková, Ph. D., Mgr. Alena Fridrichová Stručná anotace Cílem zkoušky VCJ/PGAJ Anglický jazyk pro doktorské studium je zaručit, že student doktorského studijního programu má znalosti a jazykové dovednosti minimálně na úrovni B2 podle Evropského referenčního rámce pro jazyky. Zkouška testuje poslech s porozuměním, čtení s porozuměním, písemné vyjadřování a součástí zkoušky je také prezentace v angličtině. Studenti doktorského studia mohou využít nabídky KCJ a účastnit se výuky garantované Kabinetem cizích jazyků, ale tato příprava není povinná. Je na zvážení, aby zhodnotil své jazykové znalosti a dovednosti na základě rozřazovacího testu, který student absolvuje u zápisu do 1. ročníku studia, a zvolil způsob přípravy. Podrobné informace ke zkoušce včetně ukázkových testů jsou na stránkách Kabinetu cizích jazyků PřF UP Literatura dle doporučení vyučujícího Rozsah konzultací (soustředění) 20 hodin i garant jsou trvale přítomni na pracovišti PřF UP Olomouc (osobní konzultace) + komunikace prostřednictvím u, nebo telefonu.

49 C Personální zabezpečení přehled školitelů a členů oborové rady Vysoká škola Součást vysoké školy Název studijního programu Garant studijního programu prof. RNDr. Radim Bělohlávek, DSc. (*1971) Univerzita Palackého v Olomouci Přírodovědecká fakulta Informatika - 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

50 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. verze

51 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 Informatika 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 KMI/PGDP2 Disertační práce 2 garant KMI/PGDP3 Disertační práce 3 garant KMI/PGDP4 Disertační práce 4 garant KMI/PGDP5 Disertační práce 5 garant KMI/PGDP6 Disertační práce 6 garant KMI/PGOS1 Odborný seminář 1 garant KMI/PGOS2 Odborný seminář 2 garant KMI/PGST1 Vědecko-výzkumná stáž 1 garant KMI/PGST2 Vědecko-výzkumná stáž 2 garant KMI/PGAS1 Odborný seminář v AJ garant KMI/AK Přednáška v AJ na mezinárodní konferenci garant KMI/PGPK Prezentace na konferenci garant KMI/PGTM Teorie modelů garant KMI/PGML Matematická logika garant KMI/PGRD Teorie relačních dat garant KMI/PGKA Formální konceptuální analýza garant KMI/PGTK Teorie kategorií pro informatiky garant KMI/PGIF Hlavní autor publikace v časopise s IF garant KMI/PGIF2 Hlavní autor publikace v časopise s IF 2 garant KMI/PGIFS Spoluautorství v časopise s IF garant KMI/PGIFS2 Spoluautorství v časopise s IF 2 garant KMI/PGPC1 Pedagogická činnost 1 garant KMI/PGT Teze k disertační práci garant KMI/PGPPA Popularizační aktivity na UP garant KMI/PGPRO Projektová činnost garant KMI/PGPC2 Pedagogická činnost 2 garant KMI/PGPC3 Pedagogická činnost 3 garant Ú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Š odborný asistent, Katedra informatiky FEI TU-VŠB Ostrava výzkumný pracovník, Ústav pro fuzzy modelování, Ostravská univerzita, zást.řed research fellow, State University of New York at Binghamton, USA vedoucí Katedry informatiky PřF UP v Olomouci Professor (with Tenure), State University of New York, USA 2009 nyní Katedra informatiky PřF UP v Olomouci, vedoucí ( , 2013-) Zkušenosti s vedením kvalifikačních a rigorózních prací

52 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Š >6500 Informatika (prof.) 2005 VŠB-TU Ostrava na Google Scholar 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), Belohlavek R., Vychodil V.: A logic of graded attributes. Arch. Math. Log. 54(2015), Belohlavek R., Vychodil V.: Relational similarity-based model of data, part 1: foundations and query systems. Int. J. General Systems 46(2017), , part 2: dependencies in data Int. J. Gen. Syst 47(2018), Belohlavek R., Trnečka M.: Handling noise in Boolean matrix factorizations. Int. J. Approximate Reasoning 96(2018), Vybrané granty (posledních 10 let) v roli řešitele: Grantová agentura ČR, , reg. č. P202/10/0262, Rozklady matic s binárními a ordinálními daty: teorie, algoritmy a složitost" Grantová agentura ČR, , reg. č. P103/10/1056, Konceptuální zpracování nejistých a rozsáhlých dat" Grantová agentura ČR, , reg. č S, Rozklady matic s booleovskými a ordinýálními daty: teorie a algoritmy" MŠMT, , reg. č. CZ / /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, , reg. č , 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, , 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čí Universitaet Bern, Švýcarsko, 10 měsíců, studijní stipendium 1997 J.Kepler Universitaet Linz, Rakousko, 3 měsíce, výzkumné stipendium State Univ. New York, USA, research fellow, 15 měsíců, 2003 SUNY, USA, 3 měsíce 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

53 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 Informatika 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Š 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) Vienna University of Technology, visiting researcher (August-April) Ústav Informatiky AV ČR, vědecký pracovník Ú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, dosud), Umělá inteligence a biokybernetika (FEL ČVUT, dosud), Informatika (PřF Univerzita Palackého, dosud), Diskrétní modely a algoritmy (MFF Universita Karlova, dosud) a Algebra, teorie čísel a matematická logika (MFF Universita Karlova, 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): , 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): , 2016 Petr Cintula and Carles Noguera. Implicational (semilinear) logics II: Additional Connectives and Characterizations of Semilinearity. Archive for Mathematical Logic, 55(3): , Petr Cintula and Carles Noguera. A Henkin-style proof of completeness for first-order algebraizable logics. Journal of Symbolic Logic, 80(1): , 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 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, GA S, Grantova agentura České republiky, ;

54 Predicate Graded Logics and their Applications to Computer Science, GA S, Grantova agentura České republiky, ; Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logic, , Horizon 2020 Marie Sklodowska-Curie RISE, ; Modeling vague quantifiers in mathematical fuzzy logic, I1897-N25, Austrian Science Fund a GF L, Grantova agentura České republiky, ; Neklasické výrokové a predikátové logiky, GA S, Grantova agentura České republiky, ; Centrum excelence - Institut teoretické informatiky, GBP202/12/G061, Grantova agentura České republiky, ; Vícehodnotový přístup k optimum a ekvilibriím v ekonomii, GAP402/12/1309, Grantova agentura České republiky, ; Matematická fuzzy logika v informatice, GAP202/10/1826, Grantová agentura České republiky, (řešitel od roku 2013); Logické základy sémantiky, GD401/09/H007, Grantová agentura České republiky, 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

55 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 Informatika 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 Ú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Š : postdoktoranský vědecký pracovník, katedra optiky PřF UP v Olomouci, : Alexander von Humboldt Research Fellow, the Max Planck Institute for Science of Light in Erlangen, Germany, : 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, (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, (2018) K. Park, P. Marek, R. Filip, Deterministic nonlinear phase gates induced by a single qubit, New J. Phys. 20, (2018) K. Park, P. Marek and R. Filip, Qubit-mediated deterministic nonlinear gates for quantum oscillators, Sci. Rep. 7, (2017) A.A. Rakhubovsky and R. Filip, Photon-phonon-photon transfer in optomechanics, Sci. Rep. 7, (2017) N. Vostrosablin, A. Rakhubovsky, and R. Filip, Pulsed quantum continuous-variable optoelectromechanical transducer, Optics Express 25, (2017) J. Hloušek, M. Ježek and R. Filip, Work and information from thermal states after subtraction of energy quanta, Scientific Reports 7, (2017). Působení v zahraničí

56 : 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

57 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 Informatika 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 Údaje o vzdělání na VŠ Přírodovědecká fakulta UP, obor Matematika a její aplikace, zaměření Aplikace matematiky v ekonomii Přírodovědecká fakulta UP, doktorské studium oboru Aplikovaná matematika Údaje o odborném působení od absolvování VŠ : 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Š 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, 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, 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), Působení v zahraničí 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

58 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 Informatika 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 KAG PGUI Univerzální algebra pro informatiky garant Údaje o vzdělání na VŠ VŠ: Přírodovědecká fakulta Univerzity Palackého, obor Numerická matematika, RNDr.: Palackého Univerzita, Algebra a teorie čísel, CSc.: Masarykova Univerzita Brno, Algebra a teorie čísel, DrSc.: Masarykova Univerzita Brno, Algebra a teorie čísel, Údaje o odborném působení od absolvování VŠ : Matematik-programátor, Meopta Přerov : Vědecký pracovník informačních systémů : Vedoucí plánu technického rozvoje, Mepta Přerov 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Š Resear Algebra a teorie čísel 1989 Palackého Univerzita chgate 1342 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, 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, 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), 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 Podpis datum

59 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 Informatika 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. rozsah vztahu 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 KMI/PGVR Formální metody pro verifikaci systémů garant KMI/PGVS Vyčíslitelnost a složitost garant Ú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Š : MFF UK Praha - interní aspirant na katedře kybernetiky a informatiky : Hornický ústav ČSAV, Ostrava - vědecký pracovník : PřF Ostravské univerzity, katedra informatiky - odb. asistent, od 2/1996 docent : FEI VŠB-TU Ostrava, katedra informatiky - docent, od 5/2008 profesor : 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Š 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 Czerwinski W., Jančar P.: Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME. ACM/IEEE Symposium LICS 2015: IEEE Computer Society, pp 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), 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

60 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 P , , řešitel - Výpočetní složitost vybraných verifikačních problémů, GAČR S, , řešitel - Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy, GAČR S, 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 : Š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

61 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 Informatika 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 Ú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Š 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), (podíl M. Kolaříka: 50%) A short note on L CBA fuzzy logic with a non-associative conjunction. Discuss. Mathem., General Algebra and Apll. 36 (2016), (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), ; coauthor: A. Dvurečenskij (podíl M. Kolaříka: 50%) Variety of orthomodular posets. Miskolc Mathematical Notes 15 (2014), ; 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

62 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 Informatika 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 KMI/PGSC Soft Computing garant KMI/PGTI Teorie informace garant Ú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Š Graduate Assistant, Binghamton University - State University of New York, U.S.A 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Š 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 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: (2017) (50%) Jan Konecny, Michal Krupka: Complete relations on fuzzy complete lattices. Fuzzy Sets and Systems 320: (2017) (50%) Radim Belohlávek, Jan Konecny: Bases of closure systems over residuated lattices. J. Comput. Syst. Sci. 82(2): (2016) Konecny J., Osicka P.: Triadic concept lattices in the framework of aggregation structures, Information Sciences 279, 2014, pp (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 (50%) Program co-chair mezinárodní konference CLA Působení v zahraničí Binghamton university, SUNY, USA research assistant 2 roky, Ghent University, Belgie (stáž), 1 měsíc Červen 2007, 1 měsíc Červenec University of Malaga, Španelsko (2 stáže), 2 měsíce, Duben Červen 2012, 1 měsíc, Duben Podpis datum

63 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 Informatika 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 KMI/PGFP Funkcionální programování garant KMI/PGTO Topologické metody v informatice garant Ú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Š Matematický ústav Slezské univerzity v Opavě, asistent a odborný asistent 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Š 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), Konecny J., Krupka M.: Complete relations on fuzzy complete lattices. Fuzzy Sets and Systems 2017, 320, Krupka M.: Basic theorem of fuzzy concept lattices revisited. Fuzzy Sets and Systems, 2018, 333, Bartl E., Krupka M.: Residuated lattices of block relations: size reduction of concept lattices. International Journal of General Systems, 2016, 45(7-8), Belohlavek R., Krupka M.: Central points and approximation in residuated lattices. International Journal of Approximate Reasoning 66 (2015), Působení v zahraničí 2014, stáž na TU Dresden (Německo), 4 měsíce. Podpis datum

64 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 Informatika 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Š asistent, Katedra teorie programování, Fakulta informatiky, MU Brno odborný asistent, Katedra teorie programování, Fakulta informatiky,mu Brno 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Š Informatika (prof.) 2007 MU Brno (Google Scholar) 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): 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, 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 , 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

65 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 Informatika 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 ) 10/ /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Š Google Mathematics 2015 SFU, Kanada Scholar 1567 citací 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): (2016) Petr Lisoněk, Hui Yi Lu: Bent functions on partial spreads. Des. Codes Cryptography 73(1): (2014) Petr Lisoněk, Vijaykumar Singh: Quantum codes from nearly self-orthogonal quaternary linear codes. Des. Codes Cryptography 73(2): (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): (2012) Petr Lisoněk: An Efficient Characterization of a Family of Hyperbent Functions. IEEE Trans. Information Theory 57(9): (2011) (poznámka: všechny vědecké publikace celoživotně publikovány pod českým jménem Lisoněk)

66 Redakční rada: Advances in Mathematics of Communications, Editor, 1/2018-dosud Organizace konferencí: Conference Co-chair, Selected Areas in Cryptography 2013 (SAC 2013), August 2013, Burnaby, BC, Kanada. Proceedings Co-editor, Lecture Notes in Computer Science, Volume 8282, Springer 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 ( ) D-Wave, 1QBit (kvantove pocitace), $280,000 ( ) Působení v zahraničí Působí v zahraničí od roku 1990, viz Údaje o odborném působení od absolvování VŠ Podpis datum

67 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 Informatika 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 KMI/PGMR Machine Learning garant Ú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Š : asistent, Univerzita Palackého v Olomouci, : 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Š (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 Outrata J.: A lattice-free concept lattice update algorithm. Int. Journal of General Systems 45(2)(2016), pp 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 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 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 , 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), , Klasifikace s využitím formální konceptuální analýzy, řešitel, - projekty pro rozvoj (doktorského) studijního programu Informatika, IGA UP, , 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,

68 - č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 , organizátor mezinárodních konferencí CLA 2005, 2008, 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

69 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 Informatika 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Š studium odborné matematiky na Přírodovědecké fakultě Masarykovy Univerzity v Brně 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Š asistent a odborný asistent na katedře matematiky Vysoké školy báňské v Ostravě odborný pracovník na katedře matematiky Strojní fakulty Vysokého učení technického v Brně odborný asistent na katedře matematiky Strojní fakulty Vysokého učení technického v Brně docent na Ústavu matematiky FSI VUT v Brně profesor na Ústavu matematiky FSI VUT v Brně ř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Š 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čí š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

70 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 Informatika 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Š databázový software u soukromé firmy odborný asistent, Filosoficko-přírodovědecká fakulta Slezské university v Opavě 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Š 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, ISBN (Podíl 20%) SOSÍK, P., CIENCIALA, L.: Computational power of cell separation in tissue P systems. Information Sciences 279 (2014) (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 (Podíl 40%) MIRÓ-BUENO, J., SOSÍK, P.: Brain clock driven by neuropeptides and second messengers. Physical Review E, 90, Art. Number , (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 (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 (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 Lecture Notes in Computer Science, Springer, Berlin, 2017, vol , pp (Podíl 30%) CIENCIALA, L., CIENCIALOVÁ, L., SOSÍK, P. Generalized P colonies with passive environment. Theoretical Computer Science, 2018, vol. 724, pp (Podíl 30%) Působení v zahraničí 6/ /2004 Kanada výzkumný pobyt (Univ. of Western Ontario)

71 5/ /2008 Španělsko výzkumný pobyt (Universidad Politecnica de Madrid) Podpis datum

72 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 UP 2019 IGA_PrF_2019_034 Outrata Teorie a algoritmy pro zpracování informací, IGA_PrF_2018_030 IGA UP 2018 Kučera (FI MU)/Jančar Algoritmy pro diskrétní systémy a hry s nekonečně mnoha B stavy, S GA ČR Outrata Teorie a algoritmy pro zpracování informací, IGA UP 2016 IGA_PrF_2016_027 Outrata Teorie a algoritmy pro zpracování informací, IGA_PrF_2015_023 IGA UP 2015 Bělohlávek Rozklady matic s booleovskými a ordinálními daty: teorie a B algoritmy, S GA ČR Vychodil Relační podobnostní databáze, S B GA ČR Outrata Teorie a algoritmy pro zpracování informací, IGA UP 2014 IGA_PrF_2014_034 Osička Teorie a algoritmy pro zpracování informací, IGA UP 2013 IGA_PrF_2013_032 Krajča Modely pro implicitně paralelní programování, P202/12/P167 B GA ČR Osička Teorie a algoritmy pro zpracování informací, IGA UP 2012 IGA_PrF_2012_029 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/ C ESF OP Fiurášek Bělohlávek Vychodil Osička Mezinárodní centrum pro informaci a neurčitost, CZ.1.07/2.3.00/ 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 Základy pro zpracování dat s využitím podobností, P103/11/1456 Teorie a algoritmy pro zpracování informací, IGA_PrF_2011_017 Rozklady matic s binárními a ordinálními daty: teorie, algoritmy, složitost, P202/10/0262 Konceptuální zpracování nejistých a rozsáhlých dat a znalostí, P103/10/1056 Klasifikace s využitím formální konceptuální analýzy, VK C ESF OP VK C MPO ČR Bělohlávek B GA ČR Bělohlávek B GA ČR Outrata B P202/10/P360 GA ČR Bělohlávek, De Baets (U. Algebraic, logical and computational aspects of fuzzy C Gent) relational modelling paradigms, MŠMT ČR Bělohlávek (pro oblast Matematické modely a struktury, MSM C Fuzzy logika a neurčitost Výzkumný v datech) záměr Bělohlávek Formální konceptuální analýza neurčitých a rozsáhlých dat: B teorie, metody a aplikace, 201/05/0079 GA ČR Bělohlávek Hierarchická analýza složitých dat, 1ET B GAAV ČR Bělohlávek Monitorování blokády nervosvalového přenosu, automatizace C dávkování kurarimimetik během celkové anestezie, ND7665 MZ ČR B GA ČR IGA UP verze

73 3/2003 Bělohlávek Relační systémy v podmínkách vágnosti a nejistoty: matematické základy pro aplikace, B B GAAV ČR Bělohlávek Konceptuální svazy nad fuzzy a neurčitými daty, 201/02/P076 B GA ČR Bělohlávek Fuzzy logic in modeling sediment dispersal A NSF (USA) Bělohlávek Model theory for fuzzy logic in the foundations of soft A 2000 computing NATO (USA) Bělohlávek Konceptuální svazy a konceptuální analýza dat ve fuzzy logice, 201/99/P060 B GA ČR Bělohlávek Fuzzy logic and its applications A SUNY RF (USA) 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ář ( 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ář, 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 ( 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, společný projekt kateder informatiky a optiky probíhající v letech 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, laboratoř při katedře informatiky v letech 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, 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 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. 2

74 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 ( 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 ( 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 ( 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: 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 ( 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). 3

75 C-IV Materiální zabezpečení studijního programu Místo uskutečňování studijního 17. listopadu 12, Olomouc programu Kapacita výukových místností pro teoretickou výuku 17. listopadu 12, Olomouc LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Přírodovědecká fakulta LP Katedra informatiky LP 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 Katedra informatiky, počítačová učebna LP Katedra informatiky, počítačová učebna LP Katedra informatiky, počítačová učebna LP Katedra informatiky, počítačová učebna LP 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. 4

76 C-V Finanční zabezpečení studijního programu Vzdělávací činnost vysoké školy financovaná ze ano státního rozpočtu Zhodnocení předpokládaných nákladů a zdrojů na uskutečňování studijního programu 5

77 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/ / / / / / /20-2 Předpokládaná uplatnitelnost absolventů na trhu práce Uplatnitelnost absolventů je bezproblémová, absolventi doktorského programu Informatika 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

78 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ů. 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. verze

79 V Olomouci dne 28. června 2019 Prohlášení V případě udělení oprávnění uskutečňovat doktorský studijní program Informatika 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/ Olomouc T: