Petr Štěpánek (matematik)

Petr Štěpánek (celým jménem Petr Otakar Maria Štěpánek, 24. ledna 1943 Pardubice - 11. července 2012 Praha) 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

Hrob na Podolském hřbitově Dětství prožil v lékařské rodině v České Třebové. +more 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).

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.

Zemřel v červenci 2012. Je pohřben v Praze na Podolském hřbitově. +more 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.),

Odkazy

Reference

Externí odkazy

[url=http://www. psp. +morecz/ff/3d/f7/6b/08. htm]Petr Štěpánek v parlamentu[/url] * [url=https://web. archive. org/web/20061213092628/http://kti. mff. cuni. cz/%7Estepanek/]Osobní stránky[/url] na webu Katedry teoretické informatiky Matematicko-fyzikální falkuty Univerzity Karlovy. * [url=http://mff. cz/data/VPL-slidy. pdf]Výroková a predikátová logika[/url] * [url=https://docplayer. cz/12740034-Negativni-informace-petr-stepanek-s-pouzitim-materialu-m-gelfonda-a-v-lifschitze-logicke-programovani-15-1. html]Negativní informace[/url] * [url=https://ics. upjs. sk/~novotnyr/home/skola/logika/stepanek%20-%20predikatova%20logika/pl. pdf]Predikátová logika[/url] * [url=https://dml. cz/bitstream/handle/10338. dmlcz/138151/PokrokyMFA_27-1982-6_1. pdf]Giuseppe Peano (1859-1932). Logika a teorie dimenze[/url].

Kategorie:Muži Kategorie:Čeští matematici Kategorie:Čeští profesoři Kategorie:Pedagogové na Matematicko-fyzikální fakultě Univerzity Karlovy Kategorie:Členové ODS Kategorie:Českoslovenští politici české národnosti Kategorie:Poslanci československého Federálního shromáždění Kategorie:Narození v roce 1943 Kategorie:Narození 24. +more ledna Kategorie:Narození v České Třebové Kategorie:Úmrtí 11. července Kategorie:Úmrtí v roce 2012 Kategorie:Úmrtí v Praze Kategorie:Pohřbení na Podolském hřbitově.