Prof. RNDr. Petr Kůrka, CSc.
E-mail: kurka(zavinac)cts.cuni.cz
Osobní webové stránky: http://www.cts.cuni.cz/~kurka
Telefon: +420 221 183 528
Petr Kůrka (1949) vystudoval matematiku v roce 1972 a do roku 1990 působil ve Středisku Biomatematiky FgÚ ČSAV, kde vyvíjel matematické modely v biologii. Poté působil na Matematicko-fyzikální fakultě UK, kde přednášel logiku, teorii informace a teorii dynamických systémů. Napsal jednu monografii a přes 40 odborných článků o složitosti dynamických systémů, symbolické dynamice, celulárních automatech a číselných soustavách.
Vybrané publikace:
Ajvaz, Michal; Pauknerová, Karolína; Strobachová, Ingrid; Hudík, Marek; Pokorný, Petr; Kůrka, Petr; Trlifajová, Kateřina; Větrovcová, Marie; Velický, Bedřich (2018): Spor o proces a událost,
Pavel Mervart, Červený Kostelec, 2018. ISBN 978-80-74653-17-9.
Kůrka, Petr (2016): Dynamics of Number Systems
Switzerland, Springer. ISBN 978-3-319-33366-3 [detail]
Kůrka, Petr (2014): Exact real arithmetic for interval number systems
Theoretical Computer Science, vol. 542, pp. 32-43
Kůrka, Petr (2012): Stern-Brocot graph in Moebius number systems
NONLINEARITY 25 (1), 57-72
Kůrka, Petr (2012): Fast arithmetical algorithms in Moebius number systems
IEEE Trasactions on Computers, volume 61, No 8, pp. 1097-1109
Formenti, Enrico; Kůrka, Petr; Zahradník, O. (2010): A search algorithm for subshift attractors of cellular automata
Theory of Computing systems. 46:479-498
Kůrka, Petr; Šizling, Arnošt L.; Rosindell, J. (2010): Analytical evidence for scale-invariance in the shape of species abundance distributions
Mathematical Biosciences, 223:151-159.
Kůrka, Petr; Kazda, Alexander (2010): Moebius number systems based on interval covers
Nonlinearity 23, 1031-1046
Kůrka, Petr (2009): Iterative systems of real Moebius transformations
Discrete and Continuous Dynamical Systems 25/2, 567-574
Kůrka, Petr (2009): Moebius number systems with sofic subshifts
Nonlinearity 22, 437-456
Kůrka, Petr (2009): Topological dynamics of one-dimensional cellular automata
In: Encyclopedia of Complexity and System Sciences (R,.A.Meyers, ed.) Part 20, 9246-9268, Springer-Verlag
Formenti, Enrico; Kůrka, Petr (2007): Subshift attractors of cellular automata
Nonlinearity 20, 105-117
Delvenne, J. CH.; Kůrka, Petr; Blondel, V. D. (2006): Decidability and universality in symbolic dynamical systems
Fundamenta Informaticae 74(4), 463-490