Difference between revisions of "Mathematical Logic"
m (Course:REAS moved to Mathematical Logic) |
|||
| Line 1: | Line 1: | ||
| − | + | {{CTY Courses}} | |
| + | [[Mathematical Logic]], formerly Mathematical Reasoning, is a Math course in the CTY program. It requires previous enrollment outside of CTY in Algebra I. Its course code is REAS. | ||
| − | Common topics include: | + | ==Course Description== |
| + | |||
| + | The curriculum of Mathematical Logic varies between years and sites. Common topics include: | ||
* Formal logical operators such as implication, negation, "and", and "or"; | * Formal logical operators such as implication, negation, "and", and "or"; | ||
| Line 7: | Line 10: | ||
* Mathematical problem solving; | * Mathematical problem solving; | ||
* First-order logic; | * First-order logic; | ||
| − | * Set theory; | + | * Set theory; and |
* Graph theory. | * Graph theory. | ||
| − | + | ==Class History== | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | [[ | + | Mathematical Logic is often populated with [[Squirrel]]s, as its only prerequisite is Algebra I. |
| − | == | + | ===LAN.06.2 Total War=== |
| − | + | In 06.2, a war between [[Number Theory]] and Math Logic erupted. The Math Logic teacher ("What's a mattababy?" "I dunno, baby, what's a matter which you?") instructed his students to chant "PROOF PROOF PROOF" to get revved up. Soon, the Number Theory students also started chanting in their classroom for all to hear. The war eventually evolved to include [[Etymologies]]. See the [[Hall_of_Fame:LAN#2005.2.2C_2006.2_--_THEO.__vs.__ETYM|Lancaster Hall of Fame]] for more information. | |
Revision as of 11:39, 24 December 2007
Mathematical Logic, formerly Mathematical Reasoning, is a Math course in the CTY program. It requires previous enrollment outside of CTY in Algebra I. Its course code is REAS.
Course Description
The curriculum of Mathematical Logic varies between years and sites. 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; and
- Graph theory.
Class History
Mathematical Logic is often populated with Squirrels, as its only prerequisite is Algebra I.
LAN.06.2 Total War
In 06.2, a war between Number Theory and Math Logic erupted. The Math Logic teacher ("What's a mattababy?" "I dunno, baby, what's a matter which you?") instructed his students to chant "PROOF PROOF PROOF" to get revved up. Soon, the Number Theory students also started chanting in their classroom for all to hear. The war eventually evolved to include Etymologies. See the Lancaster Hall of Fame for more information.
