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, relations, and graph theory. The course lays down the mathematical formulation necessary for success in the computer science field.

Program

Software Engineering 132 CRs

Objectives

• • Use logic to determine the validity of an argument.
  • Construct the proof of a theorem.
  • Use combinatorial techniques when needed in solving problems.
  • Identify functions; specifically, surjective, injective, and bijective functions.
  • Identify relations; specifically, a partial order, equivalence, and total order relations.
  • Understand the terminology and concepts of elementary graph theory.