Description

The course provides an introduction to mathematical structures fundamentals of computer science. Topics discussed include logic of compound and quantified statements, number theory and methods of proof, sequences and mathematical induction, set theory, counting methods, functions and rela-tions. The course lays down the mathematical formulation necessary for success in the computer science field.

Program

IS -144 CRs

Objectives

• 1. Use logic to determine the validity of an argument.
  2. Construct the proof of a theorem.
  3. Understand the terminology, operations, and symbols of set theory.
  4. Use combinatorial techniques when needed in solving problems.
  5. Identify functions; specifically, surjective, injective, and bijective functions.
  6. Identify relations; specifically, a partial order, equivalence, and total order relations.