In the Order Presented:
Intro to Elements Summer, Year 1
Book 0, Chapter 1, Operational Systems
This book covers operational systems and their properties. It starts with finite modular number systems in traditional arithmetic operations and expands to natural and whole numbers. It also includes some non-numerical systems involving permutations and geometry mappings. Each system is analyzed carefully for the properties: commutative, associative, neutral element (identity element) and invertibility. Equations are solved in every system.
Book 1, Chapter 1, Introductory Logic
The propositional calculus is introduced. The language includes propositional variables representing sentences with discernible truth values and connectives representing “not”, “and”, “or” (inclusive), “implies”, and the bi-conditional. The truth values of formulas built using variables and connectives are discerned through the use of truth tables. Students are introduced to the idea of contradiction and tautology and substitution. They also learn to recognize complex instances of simple tautologies as tautologies, without the use of truth tables.
After-School Year 1
(optional pre-requisite: Intro to Elements)
Book 1, Chapters 2-3, Introductory Logic
Students learn direct proofs based on Modus Ponens and subroutines derived from Modus Ponens. Students then learn to do proofs based on the Deduction Theorem and Indirect Inference. The final chapter introduces the use of universal and existential quantifiers for use with sentences not covered by the use of simple propositional variables. Much time is spent on exploring the negations of sentences involving quantification.
Book 0, Chapter 2, Integers
The number systems introduced in Chapter 1 are expanded to include the negative whole numbers and we study the Integers. The system is analyzed for the same properties studied in Chapter 1. Much attention is given to the solution of equations, equations which may not be solved in this system, and inequalities are introduced and solved using the integer number line.
Book 0, Chapter 3, Sets
The formal idea of set is introduced in this chapter. Venn Diagrams are used to solve problems. The operations union, intersection, set difference and symmetric set difference are studied. The ideas of ground set and complement are introduced. Equations are solved.
Book 0, Chapter 4 Ordered N-Tuples
This book introduces the idea of ordered pairs and triples, leading to the solution of equations in more than one variable. Several operations on ordered n-tuples and sets of numbers are included.
Book 0, Chapter 5, Mappings
This chapter introduces the notion of mapping or function (central to all mathematics), and the properties of functions (onto, one-to-one, permutation). The first functions introduced are applied to sets involving measures of length, weight, time, volume, etc. Composition of functions leads to the introduction of rational numbers. The idea of exponent is introduced here also.
Book 0, Chapter 6, The Rationals
In this chapter we expand our number system to include the rational numbers. We continue the study of functions and use them to solve extremely complicated equations involving fractions. This chapter also introduces the concept of denseness in sets of numbers.
Book 0, Chapter 7, Decimals
This chapter introduces the set of decimal numbers as a subset of the rationals. It includes extensive work on applying what we’ve learned to real world situations involving money.
Summer, Year 2 and/or 3
(pre-requisite: Intro to Elements)
Book 1, Chapter 2, Introductory Logic
Students learn direct proofs based on Modus Ponens and subroutines derived from Modus Ponens. Students then learn to do proofs based on the Deduction Theorem and Indirect Inference.
Book 0, Chapter 8, Introduction to Probability
Students are introduced to the study of probability. Students learn to identify the set of outcomes for a given trial with multiple steps and calculate the probabilities for each outcome and for each subset of outcomes, using trees and the product rule.
Book 0, Chapter 9, Introduction to Number Theory
This chapter introduces several topics in number theory including primes and composites.
After-School Year 2
(pre-requisite: After-School Year 1)
This book covers the study of the predicate calculus as applied to set theory.
Book 0, Chapter 10
This book cover the development of traditional algebra topics based on group, ring, and field theory.
Book 0, Chapter 12
Students are introduced to formal geometry concepts including the basic concepts of point, line, space, sets of points; plane and three dimensional figures; closed and open figures; interior, exterior, and boundary points; basic topology; geometric mappings including reflection, translation, rotation, and magnification; properties of triangles and quadrilaterals; notions of area and volume; etc.
After-School Year 3
(pre-requisite: After-School Year 2)
Students develop the concept of field in a formal way and learn to prove that many of the basic concepts learned informally in algebra apply in any field. Extensive work is done with iteration of operations (multiples and powers), proof by mathematical induction is introduced, extensive work with equation solving including systems of equations and Cramer’s Rule.
All algebra concepts are reviewed and strengthened using traditional notation to ease the transition to high school mathematics. Extensive work is done in the solution of word problems. Graphing calculators are used extensively.
Book 0, Chapter 13
The formal study of geometry is continued in this chapter. It includes work with ratio and proportion resulting from magnification mappings, similarity, Pythagorean Theorem, trigonometry (including basic functions, graphing, and identities).