Logic and Problem-Solving Strategies
| Course Code | MTH-110 |
|---|---|
| Lecture hours per week | 2 |
| Lab hours per week | 2 |
| Course Availability | Open |
| Description | The course begins with an introduction to problem-solving strategies before proceeding to the discipline of formal logic, which forms the basis for algorithm design and advanced mathematics. Broadly, this involves the study of propositional logic and predicate logic. Fundamental concepts including induction, recursion relations and counting techniques are also introduced. The problem-solving strategies, introduced at the beginning of the course, run as a thread through the entire semester. |