Isabelle/HOL: A Proof Assistant for Higher-Order Logic
This book is a self-contained introduction to interactive proof in higher-order logic (HOL), using the proof assistant Isabelle. It is a tutorial for potential users rather than a monograph for researchers. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.
Beliefs - A Hidden Variable in Mathematics Education?
The twenty chapters in this book all focus on aspects of mathematical beliefs, from a variety of different perspectives. Current knowledge of the field is synthesized and existing boundaries are extended.The book is divided into three, partly overlapping, sections. The first concentrates on conceptualizations and measurement of beliefs, the second on research about teachers' beliefs, and the third on facets of students' beliefs about mathematics. A diversity of instruments is used for data collection, including surveys, interviews, observations, and essay writing, as well as more innovative approaches.
TExES Mathematics-Science 4-8 114 Teacher Certification Test Prep Study Guide (TB)
Includes 42 Competencies/Skills found on the TExES Mathematics-Science 4-8 test with 271 sample questions. This guide, aligned specifically to standards prescribed by the Texas Department of Education, covers the sub-areas of Number Concepts; Patterns and Algebra; Geometry and Measurement; Probability and Statistics; Mathematical Processes and Perspectives; Mathematical Learning, Instruction and Assessment
This is the text for a two-semester multivariable calculus course. The setting is n-dimensional Euclidean space, with the material on differentiation culminating in the Inverse Function Theorem and its consequences, and the material on integration culminating in the Generalized Fundamental Theorem of Integral Calculus (often called Stokes's Theorem) and some of its consequences in turn. The prerequisite is a proof-based course in one-variable calculus.
