Local view for "http://nl.dbpedia.org/resource/Tony_Hoare"
| Predicate | Value (sorted: default) |
|---|---|
| rdfs:label |
"Tony Hoare"@nl
|
| rdfs:comment |
"Charles Anthony Richard Hoare (Colombo (toenmalig Ceylon), 11 januari 1934) is een Brits informaticus wiens naam altijd verbonden zal blijven aan het door hem uitgevonden sorteeralgoritme quicksort. Hij is "James Martin Professor of Computing" aan de Universiteit van Oxford, met emeritaat. In 2000 werd Hoare geridderd en mag zich sindsdien Sir Tony Hoare noemen.Hoare is ook bekend van de zogenaamde Hoaretriples."@nl
|
| ns3:abstract |
"Charles Anthony Richard Hoare (Colombo (toenmalig Ceylon), 11 januari 1934) is een Brits informaticus wiens naam altijd verbonden zal blijven aan het door hem uitgevonden sorteeralgoritme quicksort. Hij is "James Martin Professor of Computing" aan de Universiteit van Oxford, met emeritaat. In 2000 werd Hoare geridderd en mag zich sindsdien Sir Tony Hoare noemen.Hoare is ook bekend van de zogenaamde Hoaretriples. Dit is een notatie {P} S {Q}, waarin P en Q formeel-logische uitdrukkingen zijn, en S staat voor een algoritme of computerprogramma. Deze schrijfwijze betekent: Als aanvankelijk P waar is, en S wordt uitgevoerd, is daarna Q waar. Hierop kan logica toegepast worden, en deze wordt gebruikt om correctheid van computerprogramma's te bewijzen.In 1980 ontving hij de Turing Award van de Association for Computing Machinery:"For his fundamental contributions to the definition and design of programming languages."— Association for Computing MachineryIn 1985 ontving hij de Faraday Medal."@nl
|
| foaf:depiction | |
| foaf:isPrimaryTopicOf | |
| owl:sameAs | |
| dcterms:subject | |
| ns3:thumbnail | |
| ns3:wikiPageID |
"10033"^^xsd:integer
|
| ns3:wikiPageRevisionID |
"32452432"^^xsd:integer
|
All properties reside in the graph http://purl.org/collections/nl/niod/dbpedia_dump.ttl
The resource appears as object in one triple:
{ niod:entity-Hoare, owl:sameAs, Tony Hoare }