Difference between revisions of "Mathematical Logic"
m (Minor spelling and grammar. Not sure if I should take out that "By the way" comment.) |
(linking to Logic page) |
||
| Line 12: | Line 12: | ||
This course is extremely useful for students who will take Geometry in high school - the proofs are very valuable. | 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 @$$!!! | + | By the way, Both Session 1 and 2 at Siena '06 kicked [[Course:LOGC|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 [[Squirrel#Squirrel.2FSperm|Squirrels]] take it because the only prerequisite is Algebra I. | 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 [[Squirrel#Squirrel.2FSperm|Squirrels]] take it because the only prerequisite is Algebra I. | ||
| Line 20: | Line 20: | ||
== LANCASTER 06.2 - TOTAL WAR == | == 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 | + | 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 [[Hall_of_Fame:LAN#2005.2.2C_2006.2_--_THEO.__vs.__ETYM|Lancaster Hall of Fame]] for more information. |
Revision as of 22:47, 25 August 2007
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.
