Počet záznamů: 1
Jirků, Petr, 1942-2017
SYS p0205442 LBL -----cz--a22-----n--4500 003 CZ-KlSVK 005 20180724234630.1 008 001227|n|aznnnaabn-----------n-a|a------ 040 $a ABA001 $b cze $d ABA001 $d ABA013 $d ABA001 $e rda 046 $f 1942 $g 2017 100 1-
$a Jirků, Petr, $d 1942-2017 368 $d PhDr. $s 1966 368 $d CSc. $s 1972 368 $d doc. $s 1994 370 $c Česko $f Poděbrady, Česko 372 $a logika $a formální logika $a formální jazyky $a logické myšlení $a umělá inteligence $a expertní systémy 373 $a Československá akademie věd $s 1972 $t 1990 373 $a Univerzita Karlova. Katedra logiky $s 1990 $t 2017 373 $a Vysoká škola ekonomická v Praze. Katedra informačního a znalostního inženýrství $s 1993 $t 1995 373 $a Jednota českých matematiků a fyziků $a Česká společnost pro kybernetiku a informatiku 374 $a vědci $a vysokoškolští učitelé 375 $a muž 377 $a cze $a eng 400 1-
$a Jirku, Petr, $d 1942-2017 $0 o 400 1-
$a Jirku, P., $d 1942-2017 $0 o 670 $a Formální logika 670 $a Jirků, Petr. Logické programování. Praha: Vysoká škola ekonomická, 1995. ISBN 80-7079-606-5 $b autoritní forma 670 $a www(Filozofická fakulta Univerzity Karlovy), cit. 15. 8. 2017 $b datum narození a úmrtí, biografické a profesní údaje 670 $a www(Scopus), cit. 15. 8. 2017 $b odkazy viz 678 0-
$a Narozen 10. 10. 1942 ve Velkém Zboží u Poděbrad, zemřel 5. 8. 2017. Doc. PhDr., CSc., logik a vysokoškolský pedagog (Katedra logiky FF UK, Katedra informačního a znalostního inženýrství VŠE) zaměřený na formální logiku, programovací jazyky a kognitivní vědy. Zkoumal zejména problematiku nemonotónního usuzování a logické metody v umělé inteligenci. Literatura v oboru.
Počet záznamů: 1