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.