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 for students who will take Geometry in high school - the proofs are very valuable.

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

Mathematical Logic is a good intro math course and, for many of the people who take this class, their very first time ever to the wonderful world of CTY. Math Logic covers a lot of ground in three weeks. Quite a few Squirrels take it because the only prerequisite is Algebra I.

LANCASTER 06.2 - TOTAL WAR

It was during this session that the infamous war between THEO and REAS started. The Math Logic teacher ("What's a mattababy?" "I dunno, baby, what's a matter which you?") forced his children to chant "PROOF PROOF PROOF" to get revved up. Soon the exceedingly cocky Number Theory children became jealous and started chanting in their classroom for all to hear. See the Lancaster Hall of Fame for more information.