| dbo:abstract
|
- هيو برات (بالإنجليزية: Vaughan Pratt) هو عالم حاسوب أسترالي، ولد في 12 أبريل 1944 في ملبورن في أستراليا. (ar)
- Vaughan Ronald Pratt (* 12. April 1944 in Melbourne) ist ein australischer Informatiker und Hochschullehrer. (de)
- Vaughan Ronald Pratt (nacido en 1944), un Profesor Emeritus en la Universidad Stanford, es un pionero en el campo de informática. Publicando desde 1969, Pratt ha hecho varias contribuciones a áreas fundacionales como algoritmos de búsqueda, algoritmos de ordenación, y tests de primalidad. Más recientemente su búsqueda se ha centrado en el modelado formal de sistemas concurrentes y espacios de Chu. Un patrón de aplicar modelos de áreas diversas de las matemáticas como geometría, álgebra lineal, álgebra abstracta, y especialmente lógica matemática a informática se extiende por su trabajo. (es)
- Vaughan Pratt (born April 12, 1944) is a Professor Emeritus at Stanford University, who was an early pioneer in the field of computer science. Since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently, his research has focused on formal modeling of concurrent systems and Chu spaces. (en)
- Vaughan Ronald Pratt (ur. 1944) – emerytowany profesor Uniwersytetu Stanforda, jeden z pionierów informatyki. Obecnie związany z firmą Tiqit. Dorastał i kształcił się w Australii. W maju 1970 uzystał tytuł magistra informatyki na Uniwersytecie w Sydney pod nadzorem Jana B. Hexta pracą Translation of English into Logical Expressions. Studia doktoranckie rozpoczął w październiku 1970 na Uniwersytecie Stanforda i w styczniu 1972 pod nazdzorem Donalda Knutha uzyskał tytuł doktora pracą Shellsort and Sorting Networks związaną z algorytmem Shellsort. Wersja algorytmu zaproponowana przez Pratta ma rząd złożoności pesymistycznej . Od 1972 do 1976 był najpierw adiunktem (assistant professor), a potem do 1982 profesorem nadzwyczajnym (associate professor) w MIT. Następnie został profesorem zwyczajnym (full professor) Uniwersytetu Stanforda. W 1973 opracował LINGOL, język do programowania języka naturalnego, który użyto do utworzenia programu tłumaczącego z japońskiego na angielski. W tym samym roku wspólnie z Blumem, Floydem, Rivestem i Tarjanem opisał algorytm znajdowania mediany median, pierwszy optymalny w czasie pesymistycznym, tj. rzędu algorytm rozwiązujący problem . W 1974 roku razem z Donaldem Knuthem i opracował algorytm wyszukiwania wzorca w tekście. Wspólna praca opisująca algorytm została opublikowana w 1977. W 1975 zdefiniował certyfikat pierwszości nazwany certyfikatem Pratta, który pozwala szybko zweryfikować, czy dana liczba jest pierwsza. Dowiódł, że problem znajdowania liczb pierwszych leży w klasie NP, czyli problemów których rozwiązania można sprawdzić w czasie wielomianowym. W 1982 w czasie urlopu pomógł założyć firmę Sun i zaprojektował jej logo składające się z czterech przeplatających się słów sun (słońce) w formie ambigramu. Do jego doktorantów należał m.in. David Harel. Od 2000 jest emerytowanym profesorem Uniwersytetu Stanforda. (pl)
- Vaughan Ronald Pratt (1944) é um cientista da computação australiano. É professor emérito da Universidade Stanford e um pioneiro no campo da ciência da computação. (pt)
- Вон Рональд Пратт (англ. Vaughan Ronald Pratt, род. 12 апреля 1944 года, Мельбурн, Австралия) — эмерит-профессор Стэнфордского университета, один из первопроходцев теоретической информатики. С 1969 г. Пратт внёс существенный вклад в такие основополагающие области как , сортировки и проверки простоты. Его более современные исследования сосредоточены на формальном моделировании конкурентных систем и . Работы Пратта выделяются применением к информатике моделей из различных областей математики — геометрии, линейной и общей алгебры, математической логики. (ru)
|
| dbo:academicAdvisor
| |
| dbo:academicDiscipline
| |
| dbo:birthDate
| |
| dbo:birthName
|
- Vaughan Ronald Pratt (en)
|
| dbo:birthPlace
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 10144 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:academicAdvisors
| |
| dbp:birthDate
| |
| dbp:birthName
|
- Vaughan Ronald Pratt (en)
|
| dbp:birthPlace
| |
| dbp:education
| |
| dbp:fields
| |
| dbp:knownFor
| |
| dbp:name
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workplaces
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- هيو برات (بالإنجليزية: Vaughan Pratt) هو عالم حاسوب أسترالي، ولد في 12 أبريل 1944 في ملبورن في أستراليا. (ar)
- Vaughan Ronald Pratt (* 12. April 1944 in Melbourne) ist ein australischer Informatiker und Hochschullehrer. (de)
- Vaughan Ronald Pratt (nacido en 1944), un Profesor Emeritus en la Universidad Stanford, es un pionero en el campo de informática. Publicando desde 1969, Pratt ha hecho varias contribuciones a áreas fundacionales como algoritmos de búsqueda, algoritmos de ordenación, y tests de primalidad. Más recientemente su búsqueda se ha centrado en el modelado formal de sistemas concurrentes y espacios de Chu. Un patrón de aplicar modelos de áreas diversas de las matemáticas como geometría, álgebra lineal, álgebra abstracta, y especialmente lógica matemática a informática se extiende por su trabajo. (es)
- Vaughan Pratt (born April 12, 1944) is a Professor Emeritus at Stanford University, who was an early pioneer in the field of computer science. Since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently, his research has focused on formal modeling of concurrent systems and Chu spaces. (en)
- Vaughan Ronald Pratt (1944) é um cientista da computação australiano. É professor emérito da Universidade Stanford e um pioneiro no campo da ciência da computação. (pt)
- Вон Рональд Пратт (англ. Vaughan Ronald Pratt, род. 12 апреля 1944 года, Мельбурн, Австралия) — эмерит-профессор Стэнфордского университета, один из первопроходцев теоретической информатики. С 1969 г. Пратт внёс существенный вклад в такие основополагающие области как , сортировки и проверки простоты. Его более современные исследования сосредоточены на формальном моделировании конкурентных систем и . Работы Пратта выделяются применением к информатике моделей из различных областей математики — геометрии, линейной и общей алгебры, математической логики. (ru)
- Vaughan Ronald Pratt (ur. 1944) – emerytowany profesor Uniwersytetu Stanforda, jeden z pionierów informatyki. Obecnie związany z firmą Tiqit. Dorastał i kształcił się w Australii. W maju 1970 uzystał tytuł magistra informatyki na Uniwersytecie w Sydney pod nadzorem Jana B. Hexta pracą Translation of English into Logical Expressions. Studia doktoranckie rozpoczął w październiku 1970 na Uniwersytecie Stanforda i w styczniu 1972 pod nazdzorem Donalda Knutha uzyskał tytuł doktora pracą Shellsort and Sorting Networks związaną z algorytmem Shellsort. Wersja algorytmu zaproponowana przez Pratta ma rząd złożoności pesymistycznej . Od 1972 do 1976 był najpierw adiunktem (assistant professor), a potem do 1982 profesorem nadzwyczajnym (associate professor) w MIT. Następnie został profesorem zwyczajny (pl)
|
| rdfs:label
|
- هيو برات (ar)
- Vaughan Pratt (en)
- Vaughan Pratt (de)
- Vaughan Pratt (es)
- Vaughan Ronald Pratt (pl)
- Vaughan Pratt (pt)
- Пратт, Вон Рональд (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
