Discrete Mathematics (Math. 153)

Math. 151 - Math. 153 - Math. 1111
The aim of this course is to introduce some mathematical methods for computer sciences. It gives a theoretical understanding of the following: 1

  • Methods of proof: Direct
    Proof
     
  • Indirect Proof (Contradiction)-Contrapositive Proof-By
    Induction
     
  • Proposition calculus and connectives
  • Truth tabeles
  • Tautologies and contradictions
  • Logical equivalence
  • Arguments
  • Basic set operations
  • Representing relations
  • Boolean Algebra
  • Boolean expressions
  • Sum of product form
  • Complete sum of product (CPS) of Boolean expression
  • Karnaugh maps
  • Maximal basic rectangles
  • NOT, AND, OR gates
  • Simplification of Logic Circuits
  • Basic concepts of graph theory
  • Trees
المرفق الحجم
lecture_1.pptx 245.23 كيلوبايت
lecture_2.pptx 769.5 كيلوبايت
lecture_1.pdf 593.8 كيلوبايت
lecture_2.pdf 258.95 كيلوبايت
2.1_sets.pptx 395.49 كيلوبايت
2.2_set_operations.pptx 586.8 كيلوبايت
3.8_matrices.pptx 576.28 كيلوبايت
relations_1.pptx 414.45 كيلوبايت
8.5_equivalence_relations.pptx 358.86 كيلوبايت
8.3representing_relations.pptx 383.79 كيلوبايت
_boolean_algebra_1.pptx 4 كيلوبايت
_representing_boolean_functions.pptx 4 كيلوبايت
boolean_algebra_1.pptx 487.18 كيلوبايت
representing_boolean_functions.pptx 401.54 كيلوبايت
logic_gates.pptx 419.26 كيلوبايت
11.4_minimization_of_circuits.pptx 677.52 كيلوبايت
graphs.pptx 644.31 كيلوبايت
trees.pptx 1.55 ميغابايت
h.w.pdf 3.11 ميغابايت
h.w_matrix.pdf 3.82 ميغابايت
h.w_sets.pdf 311.44 كيلوبايت