Filename Size 1 - Introduction/01 - Welcome.mp4 23.1 MB 1 - Introduction/02 - What you should know.mp4 1.6 MB 1 - Introduction/03 - Using the exercise files.mp4 1.8 MB 2 - 1. Discrete Math Uses/04 - Basics of discrete mathematics.mp4 5.3 MB 2 - 1. Discrete Math Uses/05 - Discrete math for programming.mp4 5.4 MB 2 - 1. Discrete Math Uses/06 - Real-world discrete math.mp4 5.4 MB 2 - 1. Discrete Math Uses/07 - Abstract discrete math.mp4 4.3 MB 3 - 2. Sets/08 - Objects as sets.mp4 6.9 MB 3 - 2. Sets/09 - Set notation.mp4 8.5 MB 3 - 2. Sets/10 - Set operations.mp4 7.2 MB 3 - 2. Sets/11 - Power sets.mp4 9.9 MB 3 - 2. Sets/12 - Sequences and sums.mp4 15.7 MB 3 - 2. Sets/13 - Recursion.mp4 19.1 MB 3 - 2. Sets/14 - Cardinality, disjointness, and partitions.mp4 5.3 MB 3 - 2. Sets/15 - Sets from Cartesian products.mp4 4.6 MB 3 - 2. Sets/16 - Challenge - Practice with sets.mp4 1.9 MB 3 - 2. Sets/17 - Solution - Practice with sets.mp4 15.6 MB 4 - 3. Setting Up SML/18 - Functional programming.mp4 6.9 MB 4 - 3. Setting Up SML/19 - Datatypes.mp4 6.4 MB 4 - 3. Setting Up SML/20 - Characters and strings.mp4 7.9 MB 4 - 3. Setting Up SML/21 - Recursive functions.mp4 7.5 MB 4 - 3. Setting Up SML/22 - Challenge - Learn SML.mp4 3.8 MB 4 - 3. Setting Up SML/23 - Solution - Create new data types.mp4 3.8 MB 5 - 4. Analyzing Data Sequences/24 - Use SML to create lists.mp4 8.2 MB 5 - 4. Analyzing Data Sequences/25 - Perform functions on lists.mp4 6.9 MB 5 - 4. Analyzing Data Sequences/26 - Create datatypes that use lists.mp4 5 MB 5 - 4. Analyzing Data Sequences/27 - Challenge - Model a lunch order.mp4 2.7 MB 5 - 4. Analyzing Data Sequences/28 - Solution - Model a lunch order.mp4 7 MB 6 - 5. Effective Arguments and Defensible Decisions/29 - Valid reasoning and inference.mp4 16 MB 6 - 5. Effective Arguments and Defensible Decisions/30 - Truth tables.mp4 10.5 MB 6 - 5. Effective Arguments and Defensible Decisions/31 - Identify and evaluate predicates.mp4 15.4 MB 6 - 5. Effective Arguments and Defensible Decisions/32 - Conditional propositions.mp4 12.4 MB 6 - 5. Effective Arguments and Defensible Decisions/33 - Valid arguments.mp4 9.7 MB 6 - 5. Effective Arguments and Defensible Decisions/34 - Rules of inference.mp4 10.1 MB 6 - 5. Effective Arguments and Defensible Decisions/35 - Prove logical equivalence.mp4 9.8 MB 6 - 5. Effective Arguments and Defensible Decisions/36 - Challenge - Write truth tables.mp4 2.2 MB 6 - 5. Effective Arguments and Defensible Decisions/37 - Solution - Write truth tables.mp4 10.5 MB 7 - 6. Proofs Made Easy/38 - Write a general outline for a proof.mp4 91.4 MB 7 - 6. Proofs Made Easy/39 - Write subset proofs.mp4 6.8 MB 7 - 6. Proofs Made Easy/40 - Evaluate conditional proofs.mp4 20.9 MB 7 - 6. Proofs Made Easy/41 - Understand biconditional proofs.mp4 9.2 MB 7 - 6. Proofs Made Easy/42 - Prove with mathematical induction.mp4 24.6 MB 7 - 6. Proofs Made Easy/43 - Challenge - Write a proof.mp4 2 MB 7 - 6. Proofs Made Easy/44 - Solution - Write a proof.mp4 9.9 MB 8 - 7. Advanced Discrete Math Topics/45 - Visualize data with graph theory.mp4 5.6 MB 8 - 7. Advanced Discrete Math Topics/46 - Network optimization with trees.mp4 5.7 MB 8 - 7. Advanced Discrete Math Topics/47 - Event probability.mp4 8 MB 8 - 7. Advanced Discrete Math Topics/48 - Cryptography.mp4 45.4 MB 8 - 7. Advanced Discrete Math Topics/49 - Challenge - Advanced techniques.mp4 2.3 MB 8 - 7. Advanced Discrete Math Topics/50 - Solution - Advanced techniques.mp4 12.3 MB 9 - Conclusion/51 - Next steps.mp4 11.7 MB AhLaN.txt 175 B Exercise Files/Ch02/02_09/02_09 Challenge.pdf 110.4 KB Exercise Files/Ch02/02_10/02_10 Solution.pdf 124 KB Exercise Files/Ch05/05_08/05_08_Challenge.pdf 78 KB Exercise Files/Ch05/05_09/05_09_Solution.pdf 236.9 KB Exercise Files/Ch06/06_06/06_06_Challenge.pdf 221.1 KB Exercise Files/Ch06/06_07/06_07_Solution.pdf 44 KB Exercise Files/Ch07/07_05/07_05 Challenge.pdf 41.5 KB Exercise Files/Ch07/07_06/07_06_Solution.pdf 181.2 KB Exercise Files/Reference/Logic Reference.pdf 111.6 KB Exercise Files/Reference/Set Identities.pdf 66.5 KB Exercise Files/Reference/Set Theory.pdf 113.4 KB Seed Me!!.png 42 KB