File:Tfpie2014 submission 15.pdf
Tfpie2014_submission_15.pdf (file size: 136 KB, MIME type: application/pdf)
We claim that program design techniques, like equational derivation of programs from specifications and separation of concerns, can be applied to obtain results in Mathematics. This means that Mathematics and Programming are not at all alien in their methods, which is a positive and relevant result in connection to teaching Mathematics in Computing, and especially in Software Engineering. We illustrate the point with a detailed case study, namely the introduction of the tableaux method for Propositional Logic. The whole idea derives from Dijkstra’s Mathematical Methodology and, according to it, we try to disclose the motivation underlying every step taken.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 14:14, 20 May 2014 | (136 KB) | Peter88 (talk | contribs) | We claim that program design techniques, like equational derivation of programs from specifications and separation of concerns, can be applied to obtain results in Mathematics. This means that Mathematics and Programming are not at all alien in their meth |
You cannot overwrite this file.
File usage
There are no pages that use this file.