Difference between revisions of "Mathematical Logic"

From RealCTY
Jump to navigation Jump to search
Line 11: Line 11:
  
 
This course is extremely useful if you are going into Geometry. The proofs are very valuable. RESPECT THE PROOFS!!!!!!!
 
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 @$$!!!
  
 
[[Category:Courses]]
 
[[Category:Courses]]

Revision as of 21:27, 22 October 2006

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 @$$!!!