ELMA 558 - Introduction to Logic and Logical Games

Credits: 3
Prerequisite: MATH 152 or equivalent.
Introduction to some basic ideas, terminology, and notation of logic. Topics considered: symbolic logic, with special emphasis on algebra of propositions; applications of Boolean algebra, such as algebra of sets and switching circuits; introduction to quantification theory and its value in determining validity of mathematical arguments, inference schemes, and logical puzzles; and consideration of other topics in logic suitable for a K-8 mathematics curriculum.