Difference between revisions of "Mathematical Logic"
Jump to navigation
Jump to search
(Wrote stub) |
|||
| Line 9: | Line 9: | ||
* Set theory; | * Set theory; | ||
* Graph theory. | * Graph theory. | ||
| + | |||
| + | [[Category:Courses]] | ||
Revision as of 22:08, 21 August 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.
