The course is a study of mathematical logic which covers topics such as propositions, logical operators, rules of replacement, rules of inference, algebra of logic and quantifiers. It also includes a discussion of elementary theory of sets such as fundamental concepts of sets, set theorems and set operations.
- Teacher: TC_Mildred Sebastian