UINA349 Membrane Systems

Filozoficko-přírodovědecká fakulta v Opavě
léto 2018
Rozsah
2/0/0. 2 kr. Ukončení: zk.
Vyučující
doc. RNDr. Lucie Ciencialová, Ph.D. (přednášející)
Garance
doc. RNDr. Lucie Ciencialová, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě
Předpoklady
Základy teoretické informatiky - teorie jazyků a automatů
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Cíle předmětu
The lectures are intended to be a general introduction to membrane computing (MC), a relatively young branch of natural computing which aims to abstract computing models from the structure and the functioning of the biological cell and from cells cooperation in populations of cells, such as tissues, brain, bacteria colonies. The basic ideas of MC are introduced (cell-like P systems - with multiset rewriting rules, symport-antiport rules, etc., tissue-like P systems, spiking neural P systems), the main (types of) results are given (power and efficiency, Turing universality and the possibility to solve computationally hard problems in a feasible time), with some sample proofs and technical constructions, then one presents the main directions of application of MC.
Osnova
  • 1. Úvod do membránových výpočtů
    2. Biologické základy membránových výpočtů
    3. Katalytické P Systémy
    4. Komunikující P Systémy
    5. P Automaty
    6. P Systémy s řetězcovými objekty
    7. Splicing P Systems, Tissue a Population P Systems, Conform P Systems
    8. Aktivní membrány
    9. Složitost výpočtů
    10. Spiking neural P Systems
    11. Petriho sítě a membránové výpočty
    12. Využití membránových výpočtů v informatice
Literatura
    doporučená literatura
  • Paun, Gh., Rozenberg, G., Salomaa, A. The Oxford Handbook of Membrane Computing. Oxford University Press, USA, 2010. ISBN 978-0199556670. info
  • Frisco, P. Computing with Cells: Advances in Membrane Computing. Oxford Scholarship, 2009. ISBN 9780199542864. info
  • Ciobanu, G., Pérez-Jiménez, M. J., Paun, Gh. (eds.). Applications of Membrane Computing. Springer, 2005. ISBN 978-3540250173. info
  • The P Systems Webpage [online]. 2005. URL info
Výukové metody
Přednáška s aktivizací
Přednáška s analýzou videozáznamu
Metody hodnocení
Zkouška
Vyučovací jazyk
Angličtina
Informace učitele
Body na zkoušku získají studenti z následujících:
1. domácí úkoly - cca 45%
2. aktivita v hodinách - cca 20%
3. závěrečná zkouška - cca 35%
Další komentáře
Předmět je dovoleno ukončit i mimo zkouškové období.
Předmět je zařazen také v obdobích léto 2019, léto 2020, léto 2021.