Search

Search Results

• A constructive and metacognitive teaching path at university level on the Principle of Mathematical Induction: focus on the students' behaviours, productions and awareness

  133-161

  Agnese Ilaria Telloni

  Nicolina Antonia Malara

  Views:

  123

  We present the main results about a teaching/learning path for engineering university students devoted to the Principle of Mathematical Induction (PMI). The path, of constructive and metacognitive type, is aimed at fostering an aware and meaningful learning of PMI and it is based on providing students with a range of explorations and conjecturing activities, after which the formulation of the statement of the PMI is devolved to the students themselves, organized in working groups. A specific focus is put on the quantification in the statement of PMI to bring students to a deep understanding and a mature view of PMI as a convincing method of proof. The results show the effectiveness of the metacognitive reflections on each phase of the path for what concerns a) students' handling of structural complexity of the PMI, b) students' conceptualization of quantification as a key element for the reification of the proving process by PMI; c) students' perception of the PMI as a convincing method of proof.

  Subject Classification: 97B40, 97C70

• A didactic analysis of merge sort

  195-210

  Christian Rinderknecht

  Views:

  22

  Due to technical difficulties, educators teaching merge sort often avoid the analysis of the cost in the general and average cases. Using basic discrete mathematics, elementary real analysis and mathematical induction, we propose a self-contained derivation of bounds αn log_2 n + βn + γ in all cases. Independent of any programming language or pseudo-code, supported by intuitive figures, it is suitable for informatics students interested in the analysis of algorithms. It is also a good exercise in showing that induction allows us to actually discover constants, instead of simply checking them a posteriori.