Prof., RNDr. Petr Kůrka CSc.
E-mail: kurka@cts.cuni.cz
Osobní webové stránky: http://www.cts.cuni.cz/~kurka
Telefon: +420 221 183 532
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.
Aktuální granty:
2013 - 2017, GA ČR 13-03538S panelu č. P202
Vybrané publikace:
Kůrka, Petr (2012): Stern-Brocot graph in Moebius number systems
Pazák, Tomáš; Ajvaz, Michal; Benediktová Větrovcová, Marie; Beran, Ondřej; Holeček, Miroslav; Chvatík, Ivan; Kotecký, Roman ; Krtouš, Pavel; Kuneš, Jan ; Kůrka, Petr; Matoušek, Alexander; Trlifajová, Kateřina; Velický, Bedřich (2011): Spor o matematizaci světa
Červený Kostelec, Pavel Mervart 2011. [detail]
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