Number of the records: 1

Jirků, Petr, 1942-2017

Personal name	Jirků, Petr, 1942-2017
Jiná podoba jména	Jirku, Petr, 1942-2017
	Jirku, P., 1942-2017
Title	PhDr., (1966) CSc., (1972) doc., (1994)
Country	Česko
Oblast působení	logika
	formální logika
	formální jazyky
	logické myšlení
	umělá inteligence
	expertní systémy
Příslušnost k instituci	Československá akademie věd (1972 - 1990) Univerzita Karlova. Katedra logiky (1990 - 2017) Vysoká škola ekonomická v Praze. Katedra informačního a znalostního inženýrství (1993 - 1995) Jednota českých matematiků a fyziků Česká společnost pro kybernetiku a informatiku
Profession	vědci
	vysokoškolští učitelé
Sex	muž
Language	cze - čeština, eng - angličtina
Biography	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.
Source data found	Formální logika ; Jirků, Petr. Logické programování. Praha: Vysoká škola ekonomická, 1995. ISBN 80-7079-606-5 (autoritní forma) ; www(Filozofická fakulta Univerzity Karlovy), cit. 15. 8. 2017 (datum narození a úmrtí, biografické a profesní údaje) ; www(Scopus), cit. 15. 8. 2017 (odkazy viz)
Database	Soubor osobních jmen a jmen rodin (rodů)
References	(3) - Books

person

Number of the records: 1