Mathematical Logic
Jump to navigation
Jump to search
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.
