During the taught component of the course, you will normally take six units together with a research skills and project unit. On the MSc in Pure Mathematics and Mathematical Logic Pathway, you would ...

MATH.2190 — Undergraduate Id: 008321 Offering: 1 Credits: 3-3 Description Presents propositional logic, combinatorics, methods of proof, mathematical systems, algebra of sets, matrix algebra, ...

A Glimpse at Mathematics and Statistics Courses You Could Take MAT 210 Discrete Mathematics An introduction to topics in discrete mathematics, including set theory, logic, equivalence relations, ...

MATH.2195 — Undergraduate Id: 042279 Offering: 1 Credits: 3-3 Description Discrete Mathematics plays an important role in explaining key concepts in Information Technology and Computer Science, This ...

We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows ...