Verze z 6. 9. 2009, 23:15 editovat Monulinka007 (diskuse \| příspěvky) 11 editací Rozšíření článku ← Přejít na předchozí porovnání		Verze z 11. 9. 2009, 08:21 editovat zrušit editaci Milan Keršláger (diskuse \| příspěvky) Prověření uživatelé 12 670 editací Styl Přejít na další porovnání →
Řádek 1: '''Robert Anthony Kowalski''' ('''Bob Kowalski''', narozen [[15. květen\|15. května]] [[1941]], Bridgeport, [[Connecticut]], [[Spojené státy americké\|USA]]) se zabývá [[logika\|logikou]] a [[počítačová věda\|počítačovou vědou]]. Má [[Polsko\|polské]] předky a většinu své kariéry strávil ve [[Spojené království\|Velké Británii]]. Jeho jméno je asi nejvíce spojováno s vývojem [[logické programování\|logického programování]], počínaje procedurální interpretací [[Hornova klauzule\|Hornových klauzulí]]. Kowalski byl jedním z prvních vývojářů abduktivního logického programování, ve kterém jsou logické programy rozšířeny o integritní omezení a nedefinované abduktivní predikáty. == Životopis == ~~Jeho jméno je asi nejvíce spojováno s vývojem [[logické programování\|logického programování]], počínaje procedurální interpretací [[Hornova klauzule\|Hornových klauzulí]].~~ Vzdělání dosáhl na univerzitách v [[University of Chicago\|Chicagu]], [[University of Bridgeport\|Bridgeportu]] (titul [[bakalář]] v matematice, 1963), dále ve [[Stanford University\|Stanfordu]] (titul [[Magistr]] v matematice, 1966), a poté na [[Varšavská univerzita\|Varšavské univerzitě]], a na [[University of Edinburgh\|univerzitě v Edingurgu]] (doktorský titul v informatice, 1970).▼ ~~Kowalski byl jedním z prvních vývojářů abduktivního logického programování, ve kterém jsou logické programy rozšířeny o integritní omezení a nedefinované abduktivní predikáty.~~ ▲Vzdělání dosáhl na univerzitách v [[University of Chicago\|Chicagu]], [[University of Bridgeport\|Bridgeportu]] (titul [[bakalář]] v matematice, 1963), dále ve [Stanford University\|Stanfordu]] (titul [[Magistr]] v matematice, 1966), a poté na [[Varšavská univerzita\|Varšavské univerzitě]], a na [[University of Edinburgh\|univerzitě v Edingurgu]] (doktorský titul v informatice, 1970). V letech [[1970]] až [[1975]] působil jako výzkumný pracovník na univerzitě v Edinburgu. Od roku 1975 byl členem profesorké stolice na [[Imperial College London]] v oboru počítačová logika. V roce [[1999]] získal post emeritního profesora. Řádek 17 ⟶ 14: Kowalski byl jedním z prvních vývojářů abdukovaného logického programování, v němž jsou logické programy rozšířeny omezením integrity a nedefinovatelnými, abdukovanými výroky. == Související články ==▼ * [[Logické programování]]▼ * [[Prolog (programovací jazyk)]]▼ == Externí odkazy ==▼ ▲==Související články== * [http://www.doc.ic.ac.uk/~rak Osobní stránky] (anglicky)▼ ▲[[Logické programování]] [http://www.doc.ic.ac.uk/~~~rakhistory~~rak/history.html Životopis] (anglicky)▼ ▲[[Prolog (programovací jazyk)]] ▲==Externí odkazy== ▲[http://www.doc.ic.ac.uk~rak Osobní stránky](anglicky) ▲*[http://www.doc.ic.ac.uk~rakhistory.html Životopis](anglicky) {{Pahýl - biografie}}

Robert Kowalski: Porovnání verzí