Learning Objectives
By the end of this module, you will meet this learning objective:
Apply the operations of formal/mathematical logic
Module Overview
Welcome to the first module for discrete mathematics, which is one of
the core components of mathematics. Modern computer science and
information technology is built almost entirely on discrete math, which
includes areas such as set theory, logic, relations, graph theory, and
analysis of algorithms. Understanding the topics presented here is
fundamental to understanding logic, sets, computability, and many
more computer science topics.
By studying discrete math, you learn how to think logically, rigorously,
symbolically, and creatively. In this first module, we focus on logic,
which has its own unique language and way of defining what is true
and false. For careers in computer science, data science, machine
learning, software engineering, and more, you need to be fluent in the
