Engineering - Course - Discrete Structures

  • Course Code: COMP231
  • Credits: 3
  • Hours Distribution: (3Crs.:3Lec,0Lab)
  • Course Type: Computer Engineering Core Courses (CECC)

Course Description

Logic statements, Conditional statements and Arguments. Digital Logic Circuits and Boolean algebra. Quantified Statements, Universal and Existential Quantification. Methods of Proof and Reasoning, Direct and Indirect Proof. Mathematical induction and Recurrence relations. Sequences, Counting and Functions generation. Sets and Power sets. Functions and Relations. Trees and Graphs. Pre-req.: MATH 282.