Mathematical Logic

Also known as Mathematical Reasoning and, more recently, Mathematical Logic, REAS is a course whose syllabus can vary from year to year and site to site.

Common topics include:

• Formal logical operators such as implication, negation, "and", and "or";
• Methods of proof, including direct proof, proof by contradiction, and induction;
• Mathematical problem solving;
• First-order logic;
• Set theory;
• Graph theory.

This course is extremely useful if you are going into Geometry. The proofs are very valuable. RESPECT THE PROOFS!!!!!!!

By the way, Both Session 1 and 2 at Siena '06 kicked Logic's @$$!!!