Mathematical Logic
Revision as of 21:08, 21 August 2006 by Memoriesonfilm (talk | contribs)
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.
