Discrete Math Final Review

Share

Summary

This video provides a comprehensive review for the discrete math final exam, covering logic, counting, and graph theory. It includes examples of truth tables, rules of inference, permutations, combinations, and algorithms for finding shortest paths and minimum spanning trees.

Highlights

LO2 Logic: Logical Consistency (Truth Tables)
00:00:11

This section introduces how to use truth tables to determine if a set of premises is logically consistent. The process involves translating word premises into symbols, constructing a truth table with all possible true/false combinations for the propositions, and checking if there is at least one row where all premises are simultaneously true. An example translating 'student brings a laptop or a tablet', 'if the student brings a tablet, then he does not bring paper', and 'the student brings a laptop and paper' is demonstrated, and their logical consistency is determined.

LO2 Logic: Logical Equivalence (Truth Tables)
00:06:28

This part explains how to use truth tables to verify if two propositions are logically equivalent. Logical equivalence means their truth table columns are identical. An example compares 'if the alarm is set and the camera is on, then the building is secure' with 'if the building is not secure, then the alarm was not set and the camera was not on'. The truth table is constructed, including negations, and the columns for the two propositions are compared to determine if they are equivalent.

LO2 Logic: Argument Validity (Truth Tables)
00:13:06

The video explains how to use truth tables to determine if an argument is valid. An argument is valid if, whenever all premises are true, the conclusion must also be true. An example analyzes the argument: 'employee can work from home or office', 'if employee works at office, then wears badge', 'employee did not wear badge', therefore 'employee worked from home'. A truth table is built, and rows where all premises are true are examined to see if the conclusion is also true, thus validating the argument.

LO2 Logic: Rules of Inference (Two-Column Proof)
00:18:50

This section demonstrates how to use rules of inference to prove an argument's validity, using a two-column proof format (statement and reason). An example proves 'if the access code works, the door will unlock', 'if the door unlocks, the lights turn on', 'either the access code works or I call the IT specialist', 'I do not call the IT specialist', therefore 'the lights turn on'. The premises are translated into symbols, and rules like hypothetical syllogism and disjunctive syllogism are applied step-by-step to reach the conclusion.

LO3 Counting: Password/Code Generation (Repetition Allowed/Not Allowed)
00:25:26

This segment covers counting techniques for passwords or codes, emphasizing visualization with spaces. It explains how to calculate the number of possible passwords when repetition is allowed and when it's not. For a 7-character password with specific rules (symbol, capital letters A-H, digits 1-5), the number of choices for each position is multiplied. The example shows calculations for both scenarios.

LO3 Counting: 'Either/Or' and 'Neither' Questions (Venn Diagrams)
00:31:39

This part focuses on 'either/or' and 'neither' counting problems, using Venn diagrams for visualization. It demonstrates how to determine the number of students who own a car or a bike, and those who own neither, given the total number of students and those owning cars, bikes, or both. The formula for A union B, and then for the complement, is applied.

LO3 Counting: Bit Strings
00:34:43

This section applies Venn diagram-like thinking to bit string problems involving conditions like 'starts with 11' or 'ends with 000'. For an 8-digit bit string, it calculates the number of strings starting with '11', ending with '000', and both, then uses the principle of inclusion-exclusion to find the total number of strings satisfying either condition.

LO3 Counting: Permutations (Order Matters)
00:39:21

This segment introduces permutations, where the order of selection matters. It covers scenarios where repetition is not allowed (awarding three different awards to 20 students, each winning one maximum) and where repetition is allowed (same scenario, but students can win multiple awards). The formulas for nPr and n^r are explained, along with a visual approach using spaces.

LO3 Counting: Combinations (Order Does Not Matter)
00:43:52

This section explains combinations, where the order of selection a group or subset does not matter. It tackles a problem involving forming a committee with specific numbers of salespersons and managers from larger groups. The concept of 'n choose r' is applied, and the multiplication principle is used when multiple independent selections are made.

LO3 Counting: Permutations with Indistinguishable Objects
00:50:00

This part details special permutations for rearranging letters in a word where some letters are identical. The formula for permutations with indistinguishable objects (n! / (n1! * n2! * ...)) is presented and applied to rearrange the letters in the word 'SUCCESS'.

LO3 Counting: Combinations with Repetition (Donuts Example)
00:50:32

This section covers combinations with repetition, often encountered in scenarios like buying multiple items of different types (e.g., donuts). The formula C(n+r-1, r) is explained. Different variations are explored: choosing a dozen donuts from four types, specifying 'at least' a certain number of types, and specifying 'exactly' a certain number of types, demonstrating how remaining choices and constraints affect the calculation.

LO3 Counting: Arranging Books with Blocks
00:56:29

This segment focuses on permutations involving arranging items where some must stay together as a 'block'. Three scenarios are covered: arranging 11 books with no restrictions (11!), arranging them when 5 must stay together in a specific order (treating the block as one item), and arranging them when 5 must stay together but can be in any order within the block (multiplying by the factorial of items in the block).

LO3 Counting: Distributing Items into Boxes
00:58:56

This part addresses distributing items (toys) into containers (boxes), outlining different scenarios based on distinguishability. It covers: 1) distinguishable toys into distinguishable boxes (k^n), 2) distinguishable toys into distinguishable boxes with specific counts per box (n! / (n1! * n2! * ...)), and 3) identical toys into distinguishable boxes (combination with repetition formula). Each formula is applied to a 10 toys into 4 boxes problem.

LO4 Graph Theory: Graph Coloring (Scheduling Exams)
01:03:00

This section introduces graph coloring as a method for scheduling with conflicts. Using an example of six college exams with student overlaps, a graph is constructed where exams are nodes and conflicts are edges. The chromatic number (minimum number of colors needed without adjacent nodes having the same color) is determined, which signifies the minimum number of time slots required for scheduling. A coloring process is demonstrated, and the final schedule for each time slot is presented.

LO4 Graph Theory: Dijkstra's Algorithm (Shortest Path)
01:07:02

This part explains Dijkstra's algorithm for finding the shortest path between a starting vertex and all other vertices in a weighted graph. A step-by-step table method is shown, starting from the source, updating path lengths to adjacent vertices, and iteratively selecting the unvisited vertex with the shortest known path. The process is continued until all vertices are included in the shortest path tree, revealing the shortest path and total distance to each. The example finds the shortest path from A to F.

LO4 Graph Theory: Tree Diagrams and Terminology
01:15:53

This section delves into tree diagrams and associated terminology, using an organizational chart example. Key concepts covered include: 'k-ary tree' (maximum children per node), 'full tree' (if all internal nodes have the maximum number of children), 'longest path from root to leaf', 'sibling groups', 'nodes with most direct reports (children)', 'leaves' (nodes with no children), 'internal vertices' (nodes with children), 'ancestors' and 'descendants', and 'balanced tree' (if all leaves are on the last two levels). The example tree is analyzed for each of these terms.

LO4 Graph Theory: Kruskal's Algorithm (Minimum Spanning Tree)
01:21:25

This final segment demonstrates Kruskal's algorithm for finding a minimum spanning tree in a weighted graph. The process involves listing all edges from smallest to largest weight. Edges are progressively added to the tree as long as they do not create a circuit. The goal is to connect all vertices with the minimum total edge weight. The example traces the selection of edges and calculates the total weight of the minimum spanning tree, noting that a spanning tree for 'n' vertices will have 'n-1' edges.

Recently Summarized Articles

Loading...