|
Vyučující
|
-
Jašek Roman, prof. Mgr. Ph.D., DBA
-
Šenkeřík Roman, prof. Ing. Ph.D.
|
|
Obsah předmětu
|
- klasická teorie informatiky, - kvantová teorie informace, - bio-informatika, - úvod do problematiky DNA computingu a vyhledávacích algoritmů bio-informatiky - deterministický chaos, - dalších nekonvenčních přístupy zahrnující např. fraktální geometrii, soft-computing a teorii fuzzy výpočtů, - netradiční přístupy moderní teorie informatiky v mnoha aplikacích z různých oblastí lidské činnosti.
|
|
Studijní aktivity a metody výuky
|
|
Individuální práce studentů
|
| Předpoklady |
|---|
| Odborné znalosti |
|---|
| Znalosti v oblastech: Teoretická informatika Matematika |
| Znalosti v oblastech: Teoretická informatika Matematika |
| Výsledky učení |
|---|
| Student umí definovat a analyzovat základní principy klasické teorie informatiky, včetně formálních modelů výpočtu, automatů a strojů, gramatik a jazyků, a rozumí moderním přístupům v informatice. |
| Student umí definovat a analyzovat základní principy klasické teorie informatiky, včetně formálních modelů výpočtu, automatů a strojů, gramatik a jazyků, a rozumí moderním přístupům v informatice. |
| Student má znalosti o výpočetní složitosti, vysvětlitelnosti, interpretability a principy komplexních systémů v kontextu moderní informatiky. |
| Student má znalosti o výpočetní složitosti, vysvětlitelnosti, interpretability a principy komplexních systémů v kontextu moderní informatiky. |
| Student rozumí teorii nejistot a jejich vztahu s klasickou teorií informace, a zná kalkulus pro práci s fuzzy množinami a vícehodnotovou logikou. |
| Student rozumí teorii nejistot a jejich vztahu s klasickou teorií informace, a zná kalkulus pro práci s fuzzy množinami a vícehodnotovou logikou. |
| Student má přehled o kvantové teorii informace a základních principech bio-informatiky. |
| Student má přehled o kvantové teorii informace a základních principech bio-informatiky. |
| Student rozumí různým nekonvenčním přístupům v moderní teorii informatiky, včetně fraktální geometrie a soft-computingu. |
| Student rozumí různým nekonvenčním přístupům v moderní teorii informatiky, včetně fraktální geometrie a soft-computingu. |
| Odborné dovednosti |
|---|
| Student dokáže aplikovat moderní teorie informatiky, vysvětlitelnost a interpretabilitu pro řešení interdisciplinárních výzkumných problémů. |
| Student dokáže aplikovat moderní teorie informatiky, vysvětlitelnost a interpretabilitu pro řešení interdisciplinárních výzkumných problémů. |
| Student umí využít kvantové a bio-informatické metody pro konkrétní výzkumné úkoly. |
| Student umí využít kvantové a bio-informatické metody pro konkrétní výzkumné úkoly. |
| Student dokáže analyzovat a řešit složité výpočetní problémy s využitím moderních informatických principů. |
| Student dokáže analyzovat a řešit složité výpočetní problémy s využitím moderních informatických principů. |
| Student má dovednosti v práci s nejistotami a fuzzy logikou pro řešení konkrétních problémů. |
| Student má dovednosti v práci s nejistotami a fuzzy logikou pro řešení konkrétních problémů. |
| Student je schopen používat nekonvenční a inovativní přístupy v různých aplikacích moderní teorie informatiky. |
| Student je schopen používat nekonvenční a inovativní přístupy v různých aplikacích moderní teorie informatiky. |
| Vyučovací metody |
|---|
| Odborné znalosti |
|---|
| Individuální práce studentů |
| Individuální práce studentů |
| Hodnotící metody |
|---|
| Rešerše |
| Rešerše |
| Příprava a přednes prezentace |
| Příprava a přednes prezentace |
|
Doporučená literatura
|
-
Demel J. Grafy a jejich aplikace. Academia, 2002.
-
Edgar, Gerald A. Measure, topology, and fractal geometry. New York : Springer, 1990. ISBN 387972722.
-
Ilachinski, Andrew. Cellular automata: a discrete universe. 2001. ISBN 981-238-183-X.
-
Kacprzyk J, Pedrycz, W. Springer handbook of computational intelligence. 2015.
-
Klir, G. Uncertainty and information: foundations of generalized information theory. 2006. ISBN 0471748676.
-
Koubková A., Pavelka J. Uvod do teoretické informatiky. Matfyzpress, 2003.
-
Linz, Peter. An introduction to formal languages and automata. 4th ed. Sudbury, Mass. : Jones and Bartlett Publishers, 2006. ISBN 0-7637-3798-4.
-
Manna Z. Matematická teorie programů. SNTL, 1981.
-
Martin J.C. Introduction to Languages and the Theory of Computation. 2002. ISBN 0-072-32200-4.
-
Mikhail J. Atallah. Algorithms and Theory of Computation Handbook. CRC-Press, 1998.
-
Neil C. Jones, Pavel A. Pevzner. An Introduction to Bioinformatics Algorithms. The MIT Press, 2004.
-
Nielsen, Michael A. Quantum computation and quantum information. 10th Anniversary ed. Cambridge : Cambridge University Press, 2010. ISBN 978-1-107-00217-3.
-
Vaníček J., Papík M., Pregl R., Vaníček T. Teoretické základy informatiky. Alfa Publishing, 2006.
-
Zygelman, B. A first introduction to quantum computing and information. New York, 2018. ISBN 978-3-319-91628-6.
|