Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Structured_derivations> ?p ?o }
Showing triples 1 to 27 of
27
with 100 triples per page.
- Structured_derivations abstract "Structured derivations (SD) is a logic-based format for presenting mathematical solutions and proofs created by Prof. Ralph-Johan Back and Joakim von Wright at Åbo Akademi University, Turku, Finland. The format was originally introduced as a way for presenting proofs in programming logic, but was later adapted to provide a practical approach to presenting proofs and derivations in mathematics education including exact formalisms. A structured derivation has a precise mathematical interpretation, and the syntax and the layout are precisely defined. The standardized syntax renders the format suitable for presenting and manipulating mathematics digitally.SD is a further development of the calculational proof format introduced by Edsger W. Dijkstra and others in the early 1990s. In essence, three main extensions have been made. First, a mechanism for decomposing proofs through the use of subderivations has been added. The calculational approach is limited to writing proof fragments, and longer derivations are commonly decomposed into several separate subproofs. Using SD with subderivations, on the other hand, the presentation of a complete proof or solution is kept together, as subproofs can be presented exactly where they are needed. In addition, SD makes it possible to handle assumptions and observations in proofs. As such, the format can be seen as combining the benefits of the calculational style with the decomposition facilities of natural deduction.".
- Structured_derivations wikiPageExternalLink www.imped.fi.
- Structured_derivations wikiPageID "28795896".
- Structured_derivations wikiPageLength "9346".
- Structured_derivations wikiPageOutDegree "6".
- Structured_derivations wikiPageRevisionID "645802801".
- Structured_derivations wikiPageWikiLink Category:Mathematics_education.
- Structured_derivations wikiPageWikiLink Edsger_W._Dijkstra.
- Structured_derivations wikiPageWikiLink Finland.
- Structured_derivations wikiPageWikiLink Ralph-Johan_Back.
- Structured_derivations wikiPageWikiLink Turku.
- Structured_derivations wikiPageWikiLink Åbo_Akademi_University.
- Structured_derivations hasPhotoCollection Structured_derivations.
- Structured_derivations wikiPageUsesTemplate Template:Orphan.
- Structured_derivations wikiPageUsesTemplate Template:Reflist.
- Structured_derivations subject Category:Mathematics_education.
- Structured_derivations hypernym Format.
- Structured_derivations type Article.
- Structured_derivations type Broadcaster.
- Structured_derivations type Article.
- Structured_derivations comment "Structured derivations (SD) is a logic-based format for presenting mathematical solutions and proofs created by Prof. Ralph-Johan Back and Joakim von Wright at Åbo Akademi University, Turku, Finland. The format was originally introduced as a way for presenting proofs in programming logic, but was later adapted to provide a practical approach to presenting proofs and derivations in mathematics education including exact formalisms.".
- Structured_derivations label "Structured derivations".
- Structured_derivations sameAs m.0ddbbbn.
- Structured_derivations sameAs Q7625195.
- Structured_derivations sameAs Q7625195.
- Structured_derivations wasDerivedFrom Structured_derivations?oldid=645802801.
- Structured_derivations isPrimaryTopicOf Structured_derivations.