Petr Štěpánek (matematik)
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 ![]() |
Úmrtí |
11. července 2012 (ve věku 69 let) Praha ![]() |
Choť | Olga Štěpánková (roz. Burešová) |
Děti | Kateřina a Barbora |
Příbuzní | Pavel Štěpánek (lékař) (bratr) |
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é. 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]
Zemřel v červenci 2012.[7] Je pohřben v Praze na Podolském hřbitově. Jeho manželkou byla Olga Štěpánková, kybernetička a dlouholetá předsedkyně ČSKI (Česká společnost pro kybernetiku a informatiku).
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é online.
- ↑ 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
- (česky) Seznam děl v Souborném katalogu ČR, jejichž autorem nebo tématem je Petr Štěpánek (matematik)
- (česky) Petr Štěpánek v parlamentu
- (česky) Osobní stránky na webu Katedry teoretické informatiky Matematicko-fyzikální falkuty Univerzity Karlovy.
- (česky) Výroková a predikátová logika
- (česky) Negativní informace
- (česky) Predikátová logika
- (česky) Giuseppe Peano (1859—1932). Logika a teorie dimenze