The MIU system is presented as a potential instruction unit in mathematics involving the derivation of theorems. A program written in BASIC is included that can be used to generate new theorems. The MIU system can give students a glimpse into the meaning of artificial intelligence. (MP)

Describes a number sequence made by counting the occurrence of each digit from 9 to 0, catenating this count with the digit, and joining these numeric strings to form a new term. Presents a computer-aided proof and an analytic proof of the sequence; compares these two methods of proof. (YP)

Discusses common error-detecting identification codes using linear algebra terminology to provide an interesting application of algebra. Presents examples from the International Standard Book Number, the Universal Product Code, bank identification numbers, and the ZIP code bar code. (YP)

The problem of finding all topological spaces is considered. Two characterizations are presented whose proofs involve only elementary notions and techniques. The problem is appropriate for students in a beginning topology course after they have been presented with the Embedding Lemma. (DC)

To illustrate that the writing and utilizing of declarative language programs can be a straightforward task in a logic class, a logic system is defined and a truth-table generator and validator are implemented using PROLOG programing language. Also, using BASIC programing language, an example of a contour map is presented. (JJK)

This article describes a sophomore transition-to-advanced-math course taught via a modified Moore method at Lebanon Valley College.

In 1750, the Swiss mathematician Gabriel Cramer published a well-written algebra book entitled "Introduction a l'Analyse des Lignes Courbes Algebriques." In the appendix to this book, Cramer gave, without proof, the rule named after him for solving a linear system of equations using determinants (Kosinki, 2001). Since then several derivations of…

This paper compliments two recent articles by the author in this journal concerning solving the forced harmonic oscillator equation when the forcing is periodic. The idea is to replace the forcing function by its Fourier series and solve the differential equation term-by-term. Herein the convergence of such series solutions is investigated when…

This submission contains the Proceedings of the 2010 Annual Meeting of the Canadian Mathematics Education Study Group (CMESG), held at Simon Fraser University in Burnaby, British Columbia. The CMESG is a group of mathematicians and mathematics educators who meet annually to discuss mathematics education issues at all levels of learning. The aims…

This article describes how logic is used as the basis of medical diagnosis, i.e., the presence or absence of certain symptoms implies the presence or absence of certain diseases. This usage is then illustrated with a real example. (MP)

The purpose of this paper is to offer a framework for categorizing and describing the different types of processes that undergraduates use to construct proofs. Based on 176 observations of undergraduates constructing proofs collected over several studies, I describe three qualitatively different ways that undergraduates use to construct proofs. In…

The creation of "false laws" of mathematics by many pupils as they attempt to rephrase new ideas and make them understandable and useful is discussed. The reasons for these mistakes and some ways teachers can help students adopt correct rules are reviewed. (MP)

An approach to teaching the principle of mathematical induction that could make more sense to introductory-level pupils is given. (MP)

This article develops an algorithm to find all solutions to the problem, making all sums of a hexagram's nine lines the same. It shows how to exploit the geometric structure of the hexagram and its group of automorphisms. (YP)

Presents examples of 3-by-3 and 4-by-4 magic squares. Proves that the numbers 1 to 10 can not be fitted to the intersections of a pentagram and that the sum of the 4 numbers on each line is always 22. (YP)