Which Mathematics for the Information Society?
MathIS is a new project that aims to reinvigorate secondary-school mathematics by exploiting insights of the dynamics of algorithmic problem solving. This paper describes the main ideas that underpin the project. In summary, we propose a central role for formal logic, the development of a calculational style of reasoning, the emphasis on the algorithmic nature of mathematics, and the promotion of self-discovery by the students. These ideas are discussed and the case is made, through a number of examples that show the teaching style that we want to introduce, for their relevance in shaping mathematics training for the years to come. In our opinion, the education of software engineers that work effectively with formal methods and mathematical abstractions should start before university and would benefit from the ideas discussed here.
- Which Mathematics for the Information Society?
- Book Title
- Teaching Formal Methods
- Book Subtitle
- Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
- pp 39-56
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Industry Sectors
- eBook Packages
- Editor Affiliations
- 16. Computing Laboratory, Oxford University
- 17. Departamento de Informática, Universidade do Minho
- Author Affiliations
- 18. School of Computer Science, University of Nottingham, Nottingham, England
- 19. CCTC & Dep. Informatics, Minho University, Braga, Portugal
To view the rest of this content please follow the download PDF link above.