Graphical representation and generalization in sequences problems

In this paper we present different ways used by Secondary students to generalize when they try to solve problems involving sequences. 359 Spanish students solved generalization problems in a written test. These problems were posed through particular terms expressed in different representations. We present examples that illustrate different ways of achieving various types of generalization and how students express generalization. We identify graphical representation of generalization as a useful tool of getting other ways of expressing generalization, and we analyze its connection with other ways of expressing it

Learning through patterns: a powerful approach to algebraic thinking

We are engaged in a project named Mathematics and patterns in elementary schools: perspectives and classroom experiences of students and teachers. Our aim is to analyze the impact of an intervention centered on the study of patterns in the learning of mathematics concepts and on the development of communication and development of higher order thinking skills. In this paper we present part of an ongoing research with pre-service teachers concerning the development of teachers’ algebraic thinking, in particular how they move through pattern tasks involving generalization. We will present some of the tasks used in the didactical experience and some preliminary conclusions of its implementation in the mathematics didactics classes of a mathematics elementary teachers’ course of a School of Education

Proof by mathematical induction: Professional practice for secondary teachers

Mathematical induction is a proof technique that can be applied to establish the veracity of mathematical statements. This professional practice paper offers insight into mathematical induction as it pertains to the Australian Curriculum: Mathematics (ACMSM065, ACMSM066) and implications for how secondary teachers might approach this technique with students. In particular, literature on proof—and specifically, mathematical induction—will be presented, and several worked examples will outline the key steps involved in solving problems. After various teaching and learning caveats have been explored, the paper will conclude with some mathematical induction example problems that can be used in the secondary classroom

Layers of generality and types of generalization in pattern activities

Pattern generalization is considered one of the prominent routes for in-troducing students to algebra. However, not all generalizations are al-gebraic. In the use of pattern generalization as a route to algebra, we —teachers and educators— thus have to remain vigilant in order not to confound algebraic generalizations with other forms of dealing with the general. But how to distinguish between algebraic and non-algebraic generalizations? On epistemological and semiotic grounds, in this arti-cle I suggest a characterization of algebraic generalizations. This char-acterization helps to bring about a typology of algebraic and arithmetic generalizations. The typology is illustrated with classroom examples

K-8 Preservice Teachers’ Inductive Reasoning in the Problem-Solving Contexts

This paper reports the results from an exploratory study of K-8 pre-service teachers’ inductive reasoning. The analysis of 130 written solutions to seven tasks and 77 reflective journals completed by 20 pre-service teachers lead to descriptions of inductive reasoning processes, i.e. specializing, conjecturing, generalizing, and justifying, in the problem-solving contexts. The uncovered characterizations of the four inductive reasoning processes were further used to describe pathways of successful generalizations. The results highlight the importance of specializing and justifying in constructing powerful generalizations. Implications for teacher education are discussed

Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code

In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous. Students can focus on a specific collection of constructs that are represented consistently. Examples and counterexamples can be evaluated. Assignments can be assembled and checked with the help of an automated formal reasoning system. However, usability and accessibility do not have a high priority and are not addressed sufficiently well in the design of many existing machine-readable representations and corresponding formal reasoning systems. In earlier work [Lap09], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. We report on our attempt to evaluate our proposed design criteria by deploying within the classroom a lightweight formal verification system designed according to these criteria. The lightweight formal verification system was used within the instruction of a common application of formal reasoning: proving by induction formal propositions about functional code. We present all of the formal reasoning examples and assignments considered during this deployment, most of which are drawn directly from an introductory text on functional programming. We demonstrate how the design of the system improves the effectiveness and understandability of the examples, and how it aids in the instruction of basic formal reasoning techniques. We make brief remarks about the practical and administrative implications of the system’s design from the perspectives of the student, the instructor, and the grader