Offers advice and examples designed to help middle school math teachers conform to the NCTM's Process Standards when instructing students in grades six through eight on how to explore their reasoning and support their mathematical thinking.
Reviews topics in logic, including argument structure and evaluation, propositional logic, propositional calculus, the logic of categorical statements, predicate logic, predicate calculus, fallacies, and inductive reasoning.
Explores how various mathematical theories and discoveries have offered deeper insight into the universe, demonstrating the link between the scientific world and the human mind.
seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma
Turing, Alan Mathison
2004
An introduction to the works of Alan Turing, pioneer of computing and World War II code-breaker. Lectures, scientific papers, top secret wartime material, correspondence, and broadcasts are set in context by the editor.
Examines logic as the basis of knowledge about the world, using historical vignettes and personal stories to look at the three types of logic, including classical, infinity, and plausible reasoning.
Presents two books of mathematical puzzles by "Alice In Wonderland" author Lewis Carroll: "Pillow Problems, " containing seventy-two stumpers, and "A Tangled Tale, " which weaves its puzzles into a ten-chapter story. Includes answers.
