Math 151

Basic concepts of elementary logic: statements and statement forms, connectives, logical equivalence, truth tables; converse, inverse and contrapositive of a conditional statement. Tautologies and contradictions. Universal and existential statements. Methods of proof: direct proof, proof by cases, proof by contrapositive, proof by contradiction, first and second principles of mathematical induction. -Relations: general definitions, digraph and matrix of a relation; reflexive, symmetric, antisymmetric and transitive relations. Equivalence relations and partitions. Order relations and Hasse diagrams. Boolean algebras: general definitions, Boolean functions, complete sum of products form, complete product of sums form. Karnaugh maps, minimal sum of products form and minimal product of sums form. Gates and design of logic circuits. Graph theory: basic definitions and examples, paths, cycles, connected graphs, subgraphs. Regular, complete and bipartite graphs. Isomorphism of simple graphs. Trees, spanning trees, breadth-first search and depth-first search.

المرفق الحجم
_6_boolean_algebras.pdf 742.54 كيلوبايت
1_propositional_logic.pdf 1.1 ميغابايت
2the_universal_quantifier.pdf 514.57 كيلوبايت
4.2equivalence_relations.pdf 917.1 كيلوبايت
4.1relations_and_their_properties.pdf 1.01 ميغابايت
4.3_partial_ordering.pdf 1.02 ميغابايت
5.2graph_terminology_and_special_types_of_graphs.pdf 792.58 كيلوبايت
5.4_connectivity.pdf 1.09 ميغابايت
31methods_of_proof.pdf 417.03 كيلوبايت
5.5_trees.pdf 1.33 ميغابايت
32mathematical_induction_1st_princible.pdf 621.94 كيلوبايت
chapter-10-trees.pdf 472.45 كيلوبايت
eng_5.3_isomorphic_graph.pdf 1.19 ميغابايت
math_151-slide2.pdf 306.41 كيلوبايت
math_151-slide1.pdf 704.6 كيلوبايت
math_151-slide3.pdf 607.49 كيلوبايت
math_151-slide4.pdf 1.36 ميغابايت
math_151-slide5.pdf 1.5 ميغابايت
math_151-slide6.pdf 1.26 ميغابايت
smath151.pdf 224.87 كيلوبايت
tree_traversal.pdf 1.17 ميغابايت
ملحقات المادة الدراسية