Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/On_the_Cruelty_of_Really_Teaching_Computer_Science> ?p ?o }
Showing triples 1 to 51 of
51
with 100 triples 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 wikiPageLength "4367".
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageOutDegree "24".
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageRevisionID "688234169".
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Abstraction_(computer_science).
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Algorithmic_efficiency.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Category:1988_works.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Category:Computer_science_education.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Category:Computer_science_papers.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Computer_program.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Computer_programming.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Computer_science.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Corollary.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Correctness_(computer_science).
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Design_by_contract.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Digital_electronics.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Edsger_W._Dijkstra.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Formal_system.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Formal_verification.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Hoare_logic.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Maintainability.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Mathematical_proof.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Mathematics.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Science.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Software_bug.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Software_design_pattern.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Software_quality.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Software_testing.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLinkText "On the Cruelty of Really Teaching Computer Science".
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLinkText "teaching computer science".
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageUsesTemplate Template:Citation_needed.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageUsesTemplate Template:Multiple_issues.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageUsesTemplate Template:Original_research.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageUsesTemplate Template:Primary_sources.
- 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 hypernym Paper.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type Newspaper.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type Work.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type Organization.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type Work.
- On_the_Cruelty_of_Really_Teaching_Computer_Science type Organization.
- 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 Q7091329.
- 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 wasDerivedFrom On_the_Cruelty_of_Really_Teaching_Computer_Science?oldid=688234169.
- On_the_Cruelty_of_Really_Teaching_Computer_Science isPrimaryTopicOf On_the_Cruelty_of_Really_Teaching_Computer_Science.