Which Mathematics for the Information Society?

  • João F. Ferreira
  • Alexandra Mendes
  • Roland Backhouse
  • Luís S. Barbosa
Conference paper

DOI: 10.1007/978-3-642-04912-5_4

Volume 5846 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Ferreira J.F., Mendes A., Backhouse R., Barbosa L.S. (2009) Which Mathematics for the Information Society?. In: Gibbons J., Oliveira J.N. (eds) Teaching Formal Methods. TFM 2009. Lecture Notes in Computer Science, vol 5846. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • João F. Ferreira
    • 1
  • Alexandra Mendes
    • 1
  • Roland Backhouse
    • 1
  • Luís S. Barbosa
    • 2
  1. 1.School of Computer ScienceUniversity of NottinghamNottinghamEngland
  2. 2.CCTC & Dep. InformaticsMinho UniversityBragaPortugal