Petr Hájek (matematik) - Historie editací

Sysop: Nahrazení textu „český“ textem „český“

2015-08-18T11:35:08Z

Nahrazení textu „český“ textem „český“

← Starší verze		Verze z 18. 8. 2015, 11:35
Řádka 1:		Řádka 1:
-	[[Prof.]] [[RNDr.]] '''Petr Hájek''', [[DrSc.]], (* [[6. únor\|6. února]] [[1940]], [[Praha]]) je [[~~Česko~~\|český]] světově uznávaný [[vědec]] v oblasti [[matematická logika\|matematické logiky]]<ref>http://www.radio.cz/cz/clanek/91701 Český rozhlas</ref> a profesor [[Matematika\|matematiky]]. Pracuje v [[Ústav informatiky AV ČR\|Ústavu informatiky Akademie věd ČR]]. Přednášel na [[MFF UK]] a [[FJFI]] [[ČVUT]], v současnosti už jen na [[ČVUT]].	+	[[Prof.]] [[RNDr.]] '''Petr Hájek''', [[DrSc.]], (* [[6. únor\|6. února]] [[1940]], [[Praha]]) je [[Česká republika\|český]] světově uznávaný [[vědec]] v oblasti [[matematická logika\|matematické logiky]]<ref>http://www.radio.cz/cz/clanek/91701 Český rozhlas</ref> a profesor [[Matematika\|matematiky]]. Pracuje v [[Ústav informatiky AV ČR\|Ústavu informatiky Akademie věd ČR]]. Přednášel na [[MFF UK]] a [[FJFI]] [[ČVUT]], v současnosti už jen na [[ČVUT]].
	Vystudoval [[Matematicko-fyzikální fakulta Univerzity Karlovy\|Matematicko-fyzikální fakultu Univerzity Karlovy]] v [[Praha\|Praze]] a Hudební fakultu Akademie múzických umění. Věnoval se [[teorie množin\|teorii množin]], [[aritmetika\|aritmetice]], později [[logika\|logice]] a [[umělá inteligence\|umělé inteligenci]]. Položil matematické základy [[fuzzy logika\|fuzzy logiky]].<ref>http://www.avcr.cz/thirdlevel/press/ostat_show.php?ID=20061027102622 [[Státní vyznamenání]] pro prof. RNDr. Petra Hájka, DrSc. , Odbor mediální komunikace [[Akademie věd]]		Vystudoval [[Matematicko-fyzikální fakulta Univerzity Karlovy\|Matematicko-fyzikální fakultu Univerzity Karlovy]] v [[Praha\|Praze]] a Hudební fakultu Akademie múzických umění. Věnoval se [[teorie množin\|teorii množin]], [[aritmetika\|aritmetice]], později [[logika\|logice]] a [[umělá inteligence\|umělé inteligenci]]. Položil matematické základy [[fuzzy logika\|fuzzy logiky]].<ref>http://www.avcr.cz/thirdlevel/press/ostat_show.php?ID=20061027102622 [[Státní vyznamenání]] pro prof. RNDr. Petra Hájka, DrSc. , Odbor mediální komunikace [[Akademie věd]]
	</ref> Nikdy nebyl členem žádné politické strany; odmítl spolupráci s [[StB]]. Jak docentem (1993), tak profesorem (1997) byl proto jmenován až po [[Sametová revoluce\|sametové revoluci]]. V letech 1992–2000 byl ředitelem [[Ústav informatiky AV ČR\|Ústavu informatiky AV ČR]], v letech 1996-2003 prezidentem [[Společnost Kurta Gödela\|Společnosti Kurta Gödela]] ''([[Kurt Gödel]] Society)''.<ref>http://www.cs.cas.cz/hajek/ Hájek Petr, prof., RNDr., DrSc., Institute of Computer Science		</ref> Nikdy nebyl členem žádné politické strany; odmítl spolupráci s [[StB]]. Jak docentem (1993), tak profesorem (1997) byl proto jmenován až po [[Sametová revoluce\|sametové revoluci]]. V letech 1992–2000 byl ředitelem [[Ústav informatiky AV ČR\|Ústavu informatiky AV ČR]], v letech 1996-2003 prezidentem [[Společnost Kurta Gödela\|Společnosti Kurta Gödela]] ''([[Kurt Gödel]] Society)''.<ref>http://www.cs.cas.cz/hajek/ Hájek Petr, prof., RNDr., DrSc., Institute of Computer Science

Sysop: 1 revizi

2013-09-24T21:49:14Z

1 revizi

← Starší verze

Verze z 24. 9. 2013, 21:49

Sysop: Nahrazení textu

2011-03-30T12:09:49Z

Nahrazení textu

Nová stránka

[[Prof.]] [[RNDr.]] '''Petr Hájek''', [[DrSc.]], (* [[6. únor|6. února]] [[1940]], [[Praha]]) je [[Česko|český]] světově uznávaný [[vědec]] v oblasti [[matematická logika|matematické logiky]]<ref>http://www.radio.cz/cz/clanek/91701 Český rozhlas</ref> a profesor [[Matematika|matematiky]]. Pracuje v [[Ústav informatiky AV ČR|Ústavu informatiky Akademie věd ČR]]. Přednášel na [[MFF UK]] a [[FJFI]] [[ČVUT]], v současnosti už jen na [[ČVUT]].
Vystudoval [[Matematicko-fyzikální fakulta Univerzity Karlovy|Matematicko-fyzikální fakultu Univerzity Karlovy]] v [[Praha|Praze]] a Hudební fakultu Akademie múzických umění. Věnoval se [[teorie množin|teorii množin]], [[aritmetika|aritmetice]], později [[logika|logice]] a [[umělá inteligence|umělé inteligenci]]. Položil matematické základy [[fuzzy logika|fuzzy logiky]].<ref>http://www.avcr.cz/thirdlevel/press/ostat_show.php?ID=20061027102622 [[Státní vyznamenání]] pro prof. RNDr. Petra Hájka, DrSc. , Odbor mediální komunikace [[Akademie věd]]
</ref> Nikdy nebyl členem žádné politické strany; odmítl spolupráci s [[StB]]. Jak docentem (1993), tak profesorem (1997) byl proto jmenován až po [[Sametová revoluce|sametové revoluci]]. V letech 1992–2000 byl ředitelem [[Ústav informatiky AV ČR|Ústavu informatiky AV ČR]], v letech 1996-2003 prezidentem [[Společnost Kurta Gödela|Společnosti Kurta Gödela]] ''([[Kurt Gödel]] Society)''.<ref>http://www.cs.cas.cz/hajek/ Hájek Petr, prof., RNDr., DrSc., Institute of Computer Science
Academy of Sciences of the Czech Republic, profesní životopis (anglicky)</ref><ref>http://kgs.logic.at/index.php?id=42 1996 - 2003: Petr Hajek, The Kurt Gödel, krátký životopis (anglicky) </ref> V roce [[2006]] mu prezident [[Česká republika|České republiky]] [[Václav Klaus]] udělil [[Medaile Za zásluhy|medaili Za zásluhy]] o stát v oblasti vědy.<ref>http://www.hrad.cz/cms/cz/info_servis/tiskove_zpravy/3955.shtml Prezident udělil státní vyznamenání, tisková zpráva pražského hradu</ref>
Je také [[varhaník]]em pražského evangelického [[Kostel svatého Klimenta (Praha, Nové Město)|kostela sv. Klimenta]].
Jeho synem je [[básník]] [[Jonáš Hájek]].
== Dílo (spoluautor) ==
* Petr Hájek, Pavel Kalášek, Petr Kůrka: ''O dynamické logice''. Praha : Academia, 1960, 42 s.
* Petr Vopěnka, Petr Hájek: ''The Theory of Semisets''. Praha : Academia, 1972 [Z češ. do angl. přel. T. Jech and G. Rousseau]
* Petr Hájek, Tomáš Havránek, Metoděj K. Chytil: ''Metoda GUHA : automatická tvorba hypotéz''. Praha : Academia, 1983
* Petr Hájek, Pavel Pudlák: ''Metamathematics of First-Order Arithmetic''. Berlin : Springer, 1993, 460 s.
== Související články ==
*[[Teorie polomnožin]]
*[[Fuzzy logika]]

== Reference ==
<references/>
== Externí odkazy ==
*[http://www.radio.cz/cz/clanek/91701 Náš host: Matematik s hudebními sklony, 26-05-2007, Zdeněk Vališ, [[český rozhlas 7]], rozhovor , text i audio(.[[ram]])]
*[http://www.fpf.slu.cz/fpf_aktuality/archiv-aktualit/univerzita-udeli-dva-cestne-doktoraty/ Univerzita udělí dva čestné doktoráty, Slezská univerzita v Opavě, udělení čestné vědecké hodnosti [[doctor honoris causa]]]
*[http://www.uivt.cas.cz/people/homepages/hajek_petr.shtml větší, barevné foto]

{{Článek z Wikipedie}}
[[Kategorie:Žijící lidé|Hájek, Petr]]
[[Kategorie:Čeští matematici|Hájek, Petr]]
[[Kategorie:Čeští logici|Hájek, Petr]]
[[Kategorie:Matematici působící v Česku|Hájek, Petr]]