Petr Hájek (matematik): Porovnání verzí

Smazaný obsah Přidaný obsah
mBez shrnutí editace
mBez shrnutí editace
Řádek 4:
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í. Pracoval v Ústavu informatiky Akademie věd ČR, přednášel na MFF UK a FJFI ČVUT. 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 [[Státní bezpečnost|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> Od roku 1996 je členem Učené společnosti České republiky. V roce [[2006]] mu prezident [[Česko|Č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>
 
Po čtyřicet let působil jako [[varhaník]] pražského evangelického [[Kostel svatého Klimenta (Praha)|kostela sv. Klimenta]].