Number of the records: 1
Hájek, Petr, 1940-2016
SYS m0052619 LBL -----cz--a22-----n--4500 003 CZ^PrNK 005 20220307234406.0 008 000622|n|aznnnaabn-----------n-a|a------ 024 7-
$a 0000000110732596 $2 isni 024 7-
$a Q7178527 $2 wikidata 040 $a Jaroslav Kunc $b cze $c ABA001 $d ABA001 $e rda 046 $f 1940 $g 2016 100 1-
$a Hájek, Petr, $d 1940-2016 368 $d Prof. $s 1997 368 $d RNDr. 368 $d DrSc. $s 1990 368 $d dr. h. c. $s 2008 370 $a Praha, Česko $c Česko 372 $a matematická logika $a teorie množin $a fuzzy logika $a hra na varhany $a aritmetika $a umělá inteligence 373 $a Matematický ústav (Akademie věd ČR) $s 1963 $t 1992 373 $a Ústav informatiky (Akademie věd ČR) $a Univerzita Karlova. Matematicko-fyzikální fakulta $a České vysoké učení technické v Praze. Jaderná a fyzikálně inženýrská fakulta 374 $a matematici $a varhaníci $a vysokoškolští učitelé 375 $a muž 667 $a Nezaměňovat s matematikem stejného jména narozeným 1968 (i. č. jo2015878895). 670 $a Křesťanská revue 1979 $b překlady 670 $a Hájek, Petr: Metamatematika aritmetiky prvního řádu, 1988 $b autoritní forma 670 $a Nešpor, Zdeněk R.: Malý slovník českých nekatolických náboženských osobností 20. a 21. století, 2019 $b biografické a profesní údaje 670 $a PNP-LA 670 $a osobní korespondence $b překlady 670 $a www(Hájek Petr, prof., RNDr., DrSc.), cit. 3. 3. 2022 $b profesní údaje 670 $a www(Wikipedie, otevřená encyklopedie), cit. 2. 4. 2020 $b biografické údaje, úplné datum a místo narození, datum úmrtí $u https://cs.wikipedia.org/wiki/Petr_Hájek_(matematik) 678 0-
$a Narozen 6. 2. 1940 v Praze, zemřel 26. 12. 2016, prof., RNDr., DrSc., matematik, logik, pracoval v Matematickém ústavu AV (1963-1992), v Ústavu informatiky Akademie věd České republiky, přednášel na Matematicko-fyzikální fakultě UK a Fakultě jaderné a fyzikálně inženýrské ČVUT; též varhaník pražského evangelického kostela sv. Klimenta, překladatel textů Hanse Künga pro Křesťanskou revue, otec básníka Jonáše Hájka (1984-); zabýval se matematickou logikou, aritmetikou, fuzzy logikou, teorií množin, umělou inteligencí.
Number of the records: 1