| rdfs:comment
| - Robert W (Bob) Floyd (8 de juny de 1936 – 25 de setembre de 2001) fou un pioner de la informàtica. Entre les seves contribucions es troben el disseny de l'algorisme Floyd-Warshall (desenvolupador independentment de ), que troba de forma eficient tots els camins més curts en un graf, l'algorisme de Floyd per trobar cicles en una seqüència, i la seva feina en anàlisi sintàctica. En un sol article va introduir el concepte important de difusió d'errors en el renderitzat d'imatges, anomenat també algorisme de Floyd-Steinberg. Una altra fita destacada fou la seva feina pionera en el camp de la verificació formal de programes amb assercions lògiques amb l'article de 1967 Assigning Meanings to Programs. Això va ser una contribució important al que es va acabar anomenant . (ca)
- Robert W Floyd (8. června 1936, New York – 25. září 2001, Stanford) byl americký informatik. V roce 1978 dostal Turingovu cenu za svůj všeobecný přínos v oblasti informatiky – v odůvodnění se zmiňují oblasti jako syntaktická analýza, sémantika programovacích jazyků, verifikace programů a analýza algoritmů. Je znám především jako výrazná osobnost v oblasti , kde je jedním z objevitelů Floydova-Warshallova algoritmu. (cs)
- روبرت فلويد (بالإنجليزية: Robert W. Floyd) عالم حاسوب أمريكي بارز في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1978. (ar)
- Robert „Bob“ W Floyd (* 8. Juni 1936 in New York City; † 25. September 2001 in Stanford, Kalifornien) war ein US-amerikanischer Informatiker und Turing-Preisträger. Er ließ seinen ursprünglichen zweiten Vornamen auf „W“ ändern, jedoch betonte er oft, dass „W.“ eine gültige Abkürzung dafür sei. (de)
- Robert W. Floyd (né le 8 juin 1936 et mort le 25 septembre 2001 à Stanford (Californie) est un théoricien des graphes et chercheur en informatique américain. (fr)
- Robert W Floyd (June 8, 1936 – September 25, 2001) was a computer scientist. His contributions include the design of the Floyd–Warshall algorithm (independently of Stephen Warshall), which efficiently finds all shortest paths in a graph and his work on parsing; Floyd's cycle-finding algorithm for detecting cycles in a sequence was attributed to him as well. In one isolated paper he introduced the important concept of error diffusion for rendering images, also called Floyd–Steinberg dithering (though he distinguished dithering from diffusion). He pioneered in the field of program verification using logical assertions with the 1967 paper Assigning Meanings to Programs. This was a contribution to what later became Hoare logic. Floyd received the Turing Award in 1978. (en)
- Robert W. Floyd (New York, 8 giugno 1936 – Stanford, 25 settembre 2001) è stato un informatico statunitense, vincitore del Premio Turing nel 1978. (it)
- ロバート・W・フロイド（Robert W. Floyd、1936年6月8日 - 2001年9月25日）は、アメリカ合衆国の計算機科学者。 彼の貢献としてワーシャル-フロイド法の設計がある（とはそれぞれ独立に考案）。これはグラフ理論における最短経路問題の解法のひとつである。また、数列の循環を検出するフロイドの循環検出法があり、これらは構文解析にも利用できる。また、別の論文で彼は画像描画のための誤差拡散に関する重要な概念を提案しており、これがフロイド-スタインバーグ・ディザリングとして知られている（ただしフロイド自身は誤差拡散とディザリングは区別して考えていた）。特に有名な貢献は1967年の論文 Assigning Meanings to Programs（プログラムへの意味の割り当て）である。この中でプログラム検証を数理論理学の手法を使って行うという先駆的な試みがなされている。これは後のホーア論理につながる重要な貢献となった。 (ja)
- Robert W. Floyd (New York, 8 juni 1936 — Stanford, 25 september 2001) was Amerikaans informaticus. Hij ontwikkelde algoritmes voor verschillende deelgebieden van de informatica. Bovendien stamde van hem het idee om logische uitspraken aan computerprogramma's toe te voegen om formele verificatie van software mogelijk te maken. Dit idee werd later door Tony Hoare uitgewerkt tot Hoarelogica. In 1978 kreeg hij de Turing Award voor zijn werk op het gebied van parsen en programmaverificatie. (nl)
- Robert W Floyd (Nova Iorque, 8 de junho de 1936 — Stanford, 25 de setembro de 2001) foi um informático estadunidense. Seu nome intermediário, legalmente registrado, é simplesmente W, sem o ponto de abreviação. (pt)
- Роберт В Флойд (англ. Robert W Floyd, 8 июня 1936 года, Нью-Йорк, США — 25 сентября 2001 года, Станфорд, США) — американский учёный в области теории вычислительных систем. Лауреат премии Тьюринга. Флойд сменил своё второе имя, которое начиналось на букву W, на саму букву, поэтому после него не ставится точка. Сам Флойд шутил по этому поводу, что «W.» — это приемлемая аббревиатура от «W». (ru)
- 罗伯特·W·弗洛伊德（英語：Robert W. Floyd，1936年6月8日－2001年9月25日），美国计算机科学家，1978年图灵奖得主。 (zh)
- Роберт (Боб) Флойд (англ. Robert W. (Bob) Floyd; 8 червня 1936 — 25 вересня 2001) — видатний американський науковець в галузі інформатики. Найбільш відомий своїми дослідженнями у галузях формальної верифікації та семантики мов програмування, за які він був нагороджений премією Тюрінга. (uk)
- Robert W. Floyd (8 de junio de 1936 - 25 de septiembre de 2001) fue un prominente científico estadounidense en informática. Nacido en Nueva York, Floyd culminó el bachillerato a los 14 años. Se graduó en la Universidad de Chicago en 1953 a los 17 años y como Físico en 1958. Operador de computadoras en los años 60, publicó sus primeros artículos los cuales fueron de gran influencia y fue nombrado profesor asociado en la Universidad de Carnegie Mellon. Seis años más tarde fue nombrado profesor en la Universidad de Stanford. (es)
- 로버트 플로이드(Robert W Floyd, 1936년 6월 8일 – 2001년 9월 25일)는 1978년에 튜링상을 수상한 저명한 전산학자이다. 플로이드는 뉴욕에서 태어났다. 1953년에 시카고 대학에서 자유 인문 전공으로 학사 학위를 취득하였는데 이때 나이가 불과 17세였다. 그리고 두 번째 학사 학위를 1958년에 물리학 전공으로 취득하였다. 1960년대 초에 오퍼레이터가 되어, 주목할 만한 논문을 여러 편 쓰기 시작하였다. 27세에는 카네기 멜론 대학교의 부교수로 임용되었고, 6년 뒤에는 스탠포드 대학교의 정교수가 되었다. 보통 대학 교수는 박사 학위 소지자여야 하는 경우가 많지만, 플로이드는 박사 학위 없이 교수가 되었다. 플로이드는 그래프에서 모든 최단 경로를 찾는 효율적인 방법인 플로이드 알고리즘을 고안한 것으로 유명하고, 그밖에 파싱, 등의 분야에 기여하였다. 플로이드-스타인버그 디더링을 제안하기도 하였다. 플로이드는 1978년에 효율적이고 신뢰성 있는 소프트웨어를 개발하는 방법론에 분명한 영향을 준 것과 파싱 이론, 프로그래밍 언어 의미론, 자동 프로그램 검증, 자동 프로그램 합성, 알고리즘 분석 분야에 기여한 공로로 튜링상을 수상하였다. (ko)
- Robert W. Floyd (ur. 8 czerwca 1936 w Nowym Jorku, zm. 25 września 2001) – informatyk amerykański, laureat Nagrody Turinga. W wieku 17 lat otrzymał w University of Chicago stopień bakałarza z nauk humanistycznych, w 1958 stopień bakałarza z fizyki. Na początku lat 60. podjął pracę technika komputerowego i jednocześnie rozpoczął publikowanie artykułów z dziedziny informatyki. Wkrótce, w wieku 27 lat, otrzymał pracę wykładowcy w Carnegie Mellon University, a w 1969 r., nie mając doktoratu, został profesorem Stanford University. (pl)
|
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
![[RDF Data]](/fct/images/sw-rdf-blue.png)