Petr Štěpánek (matematik)

prof. RNDr. Petr Štěpánek, DrSc.
prof. RNDr. Petr Štěpánek, DrSc.
Poslanec Federálního shromáždění (SN)
	Ve funkci:; 6. června 1992 – 31. prosince 1992
Stranická příslušnost
Členství	ODS
Narození	24. ledna 1943; Pardubice; Protektorát Čechy a Morava
Úmrtí	11. července 2012 (ve věku 69 let); Praha; Česko
Choť	Olga Štěpánková (roz. Burešová)
Děti	Kateřina a Barbora
Příbuzní	Pavel Štěpánek (bratr); Jan Bureš (tchán)
Alma mater	Matematicko-fyzikální fakulta Univerzity Karlovy
Profese	politik, matematik a pedagog
Commons	Petr Štěpánek (mathematician)
	Některá data mohou pocházet z datové položky.

Petr Štěpánek (celým jménem Petr Otakar Maria Štěpánek, 24. ledna 1943 Pardubice – 11. července 2012 Praha^[1]) byl český matematik a vysokoškolský pedagog, politik za Občanskou demokratickou stranu, po sametové revoluci československý poslanec Sněmovny národů Federálního shromáždění.

Biografie

Dětství prožil v lékařské rodině v České Třebové, kde docházel na základní školu a gymnázium. Po maturitě odešel v roce 1960 do Prahy a vystudoval na MFF UK. Působil jako matematik, spoluzakládal jednu z prvních kateder Univerzity Karlovy zaměřenou na informatiku. Byl vedoucím Katedry teoretické informatiky a matematické logiky MFF UK. Učil matematickou logiku a lambda kalkul, zabýval se přirozeným a umělým myšlením. Byl autorem či spoluautorem pěti desítek původních vědeckých prací, řady učebnic logiky a umělé inteligence, také spoluautorem (spolu s Bohuslavem Balcarem) významné vysokoškolské učebnice Teorie množin. Napsal dvě kapitoly do knihy Handbook of Boolean Algebras (Amsterdam, 1989).^[2]^[3]^[4]

Ve volbách roku 1992 byl zvolen za ODS, respektive za koalici ODS-KDS, do české části Sněmovny národů (volební obvod Praha). Ve Federálním shromáždění setrval do zániku Československa v prosinci 1992.^[1]^[5]^[6]

Jeho manželkou byla prof. Olga Štěpánková, kybernetička a dlouholetá předsedkyně ČSKI (Česká společnost pro kybernetiku a informatiku), s níž měl dvě dcery. Dožil se také narození dvou vnoučat. Zemřel v červenci 2012.^[7] Je pohřben v Praze na Podolském hřbitově.

Dílo

B. Balcar, P. Štěpánek: Teorie množin, Academia, 1986 (1. vydání), 2000 (2. opravené a rozšířené vyd.), ISBN 80-200-0470-X

Odkazy

Reference

↑ ^a ^b Petr Štěpánek [online]. Poslanecká sněmovna Parlamentu České republiky [cit. 2012-09-17]. Dostupné v archivu pořízeném dne 2016-03-04.
↑ Záhlaví : Štěpánek, Petr, 1943- [online]. vkta.cz [cit. 2012-09-17]. Dostupné online.
↑ Zemřel profesor Petr Štěpánek, zakládající člen a dlouholetý vedoucí Katedry teoretické informatiky a matematické logiky MFF UK [online]. mff.cuni.cz [cit. 2012-09-17]. Dostupné online. ^{[nedostupný zdroj]}
↑ ŠEDESÁTINY PROFESORA PETRA ŠTĚPÁNKA [online]. dml.cz [cit. 2012-09-17]. Dostupné online.
↑ Členové poslaneckého klubu ODS [online]. vitkovice.odsostrava.cz [cit. 2012-09-17]. Dostupné v archivu pořízeném dne 2013-10-29.
↑ Volby do Sněmovny národů Federálního shromáždění konané ve dnech 5. - 6.6.1992 na území České republiky [online]. volby.cz [cit. 2012-09-17]. Dostupné online.
↑ Prof. RNDr. Petr Štěpánek, DrSc. [online]. logika.ff.cuni.cz [cit. 2012-09-17]. Dostupné v archivu pořízeném dne 2020-07-14.

Externí odkazy

Obrázky, zvuky či videa k tématu Petr Štěpánek na Wikimedia Commons
Seznam děl v Souborném katalogu ČR, jejichž autorem nebo tématem je Petr Štěpánek (matematik)
Petr Štěpánek v parlamentu Archivováno 4. 3. 2016 na Wayback Machine.
Osobní stránky na webu Katedry teoretické informatiky Matematicko-fyzikální falkuty Univerzity Karlovy.
Výroková a predikátová logika
Negativní informace
Predikátová logika
Giuseppe Peano (1859—1932). Logika a teorie dimenze

[Petr_Štěpánek-1] Petr Štěpánek [online]. Poslanecká sněmovna Parlamentu České republiky [cit. 2012-09-17]. Dostupné v archivu pořízeném dne 2016-03-04.

[2] Záhlaví : Štěpánek, Petr, 1943- [online]. vkta.cz [cit. 2012-09-17]. Dostupné online.

[3] Zemřel profesor Petr Štěpánek, zakládající člen a dlouholetý vedoucí Katedry teoretické informatiky a matematické logiky MFF UK [online]. mff.cuni.cz [cit. 2012-09-17]. Dostupné online. ^{[nedostupný zdroj]}

[4] ŠEDESÁTINY PROFESORA PETRA ŠTĚPÁNKA [online]. dml.cz [cit. 2012-09-17]. Dostupné online.

[5] Členové poslaneckého klubu ODS [online]. vitkovice.odsostrava.cz [cit. 2012-09-17]. Dostupné v archivu pořízeném dne 2013-10-29.

[6] Volby do Sněmovny národů Federálního shromáždění konané ve dnech 5. - 6.6.1992 na území České republiky [online]. volby.cz [cit. 2012-09-17]. Dostupné online.

[7] Prof. RNDr. Petr Štěpánek, DrSc. [online]. logika.ff.cuni.cz [cit. 2012-09-17]. Dostupné v archivu pořízeném dne 2020-07-14.

[1]

[2]

[3]

[4]

[5]

[6]

[7]