Matches in DBpedia 2014 for { <http://dbpedia.org/resource/On_the_Cruelty_of_Really_Teaching_Computer_Science> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- On_the_Cruelty_of_Really_Teaching_Computer_Science abstract "“On the Cruelty of Really Teaching Computing Science” is a 1988 paper by E. W. Dijkstra which argues that computer programming should be understood as a branch of mathematics, and that the formal provability of a program is a major criterion for correctness.Despite the title, most of the article is on Dijkstra’s attempt to put computer science into a wider perspective within science, teaching being addressed as a corollary at the end.Specifically, Dijkstra made a “proposal for an introductory programming course for freshmen” thatconsisted of Hoare logic as an uninterpreted formal system.".
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageID "624625".
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageRevisionID "566481772".
- On_the_Cruelty_of_Really_Teaching_Computer_Science hasPhotoCollection On_the_Cruelty_of_Really_Teaching_Computer_Science.
- On_the_Cruelty_of_Really_Teaching_Computer_Science originalResearch "November 2010".
- On_the_Cruelty_of_Really_Teaching_Computer_Science originalResearch "September 2010".
- On_the_Cruelty_of_Really_Teaching_Computer_Science primarysources "September 2010".
- On_the_Cruelty_of_Really_Teaching_Computer_Science subject Category:1988_works.
- On_the_Cruelty_of_Really_Teaching_Computer_Science subject Category:Computer_science_education.
- On_the_Cruelty_of_Really_Teaching_Computer_Science subject Category:Computer_science_papers.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type 1988Works.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type Artifact100021939.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type Creation103129123.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type EndProduct103287178.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type Object100002684.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type Oeuvre103841417.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type PhysicalEntity100001930.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type Product104007894.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type Whole100003553.
- On_the_Cruelty_of_Really_Teaching_Computer_Science comment "“On the Cruelty of Really Teaching Computing Science” is a 1988 paper by E. W.".
- On_the_Cruelty_of_Really_Teaching_Computer_Science label "On the Cruelty of Really Teaching Computer Science".
- On_the_Cruelty_of_Really_Teaching_Computer_Science sameAs m.02xynl.
- On_the_Cruelty_of_Really_Teaching_Computer_Science sameAs Q7091329.
- On_the_Cruelty_of_Really_Teaching_Computer_Science sameAs Q7091329.
- On_the_Cruelty_of_Really_Teaching_Computer_Science sameAs On_the_Cruelty_of_Really_Teaching_Computer_Science.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wasDerivedFrom On_the_Cruelty_of_Really_Teaching_Computer_Science?oldid=566481772.
- On_the_Cruelty_of_Really_Teaching_Computer_Science isPrimaryTopicOf On_the_Cruelty_of_Really_Teaching_Computer_Science.