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.

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 matababy?" "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.