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 كيلوبايت |