Detail
Medvik - Autoři
  • Je něco špatně v tomto záznamu ?

Jirků, Petr, 1942-2017

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.

Další jména

Jirku, Petr, 1942-2017
Jirku, P., 1942-2017

  • Pohlaví
    muž
  • Období
    1966 -
    Tituly
    PhDr.
  • Období
    1972 -
    Tituly
    CSc.
  • Období
    1994 -
    Tituly
    doc.
  • Země
    Česko
    Související místo
    Poděbrady, Česko
Jazyk
čeština, angličtina
Perzistentní odkaz   https://www.medvik.cz/link/jn20001227484

Povolání vysokoškolští učitelé, vědci,

Wikidata Q95392327
NK Autority

Formální logika

Jirků, Petr. Logické programování. Praha: Vysoká škola ekonomická, 1995. ISBN 80-7079-606-5

www(Filozofická fakulta Univerzity Karlovy), cit. 15. 8. 2017

www(Scopus), cit. 15. 8. 2017

000      
-----nz--a22-----n--4500
001      
jn20001227484
003      
CZ-PrNML
005      
20211214085048.0
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 $7 jn20001227484
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.
906    __
$a vx20010112 $b jazi
906    __
$a oz20170816 $b msis $c Záhlaví - datum úmrtí, pole 368, 370, 372, 373, 374, 375, 377 - nově, odkazy viz - nově, zdroje - další výskyty, biografická poznámka - doplnění
906    __
$a oz20170821 $b evje
906    __
$a op20180517 $b adpi $c 373 - formální oprava
990    __
$a 20210819092602 $b ABA008
991    __
$a 20211214085042 $b ABA008
998    __
$a 000079887
999    __
$a ok $b medvik21 $g 707291 $s 546451
Autor

Najít související