This module is an introduction to Mathematics for Computer Science. It introduces students to Formal Logic for solving logic problems. Set Theory and Counting are also introduced to be used in sets understanding and building counting arguments.