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 @$$!!!

Mathmatical Logic is a good intro math course and for many of the people that take this class, their very first time ever to the wonderful world of CTY. Math Logic covers a lot of ground in three weeks. Alot of First time CTY-ers take it because the only preresquite is Algebra I.