Mathematical Logic
From RealCTY
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, and it is offered at Baltimore, Lancaster, and Los Angeles (second session only).
Contents |
[edit] 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;
- Graph theory; and
- Metalogic
[edit] Class History
Mathematical Logic is often populated with Squirrels, as its only prerequisite is Algebra I.
[edit] JHU.10.1
With the Puzzle Master as a TA, and God of Logic/Harry Potter as a teacher, we had the greatest class ever! Popular break activity was playing with teacher's frisbee. Used textbook forallx. Class included sentential logic, quantified logic, Aristotlean logic, proofs, and logic puzzles.
[edit] LAN.08.1 G-Farbism
Using the book Deductive Logic, by Warren Goldfarb, the students began to worship Goldfarb, calling him G-farb for short.
The religion is dead to most of Math Logic students, but G-Farb is still alive in our hearts.
[edit] 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.
In 09 and 10, both sessions, Math Logic was taught by an instructor named Jake that enjoyed circus tricks. The course was very well-taught and included lots of fun activities. The class also got to hear a lot about juggling.
