# File:Tfpie2014 submission 15.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 link to this file.