MA 183 - Transition to Advanced Topics in Mathematics

• Be proficient in elementary logic, including using truth tables to prove logical equivalence
• Manipulate logical sentences symbolically and semantically-for example, apply DeMorgan’s Law to construct denials
• Be familiar with the natural numbers, integers, rational numbers, real numbers, and complex numbers
• Be proficient in interpreting and manipulating existential and universal quantifiers
• Read and construct proofs using direct and indirect methods; choose methods appropriately
• Read and construct proofs involving quantifiers
• Be proficient in set theory including construction of sets, subsets, power sets, complements, unions, intersections, and products
• Interpret unions and intersections of indexed families of sets
• Read and construct proofs involving set theoretic concepts
• Apply the Principle of Mathematical Induction and equivalent forms
• Manipulate summations in sigma notation
• Read and construct proofs related to relations, equivalence relations, and partitions of sets
• Be familiar with functions as relations; injections, surjections, and bijections
• Construct functions from other functions-for example, compositions, restrictions, and extensions
• Read and construct proofs related to functions
• Be familiar with cardinality for finite, countable, and uncountable sets

• None

• Elementary logic with truth tables
• Quantifiers
• Methods of proof
• Set Theory
• Operations with sets including indexed families of sets
• Principle of Mathematical Induction and equivalent forms
• Cartesian products
• Relations, equivalence relations, and partitions of sets
• Functions, Surjections, Injections
• Cardinality of sets including countable sets