Logic & Set Theory

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, and methods of proof. It also includes a discussion of elementary theory of sets such as fundamental concepts of sets, set theorems, set operations, functions and relations. It prepares the students for higher/advanced mathematics (Number theory, Linear Algebra, Abstract Algebra)