| 文件 | 大小 |
|---|
| 1 - Introduction/01 - Welcome.mp4 | 23.13 MB |
| 1 - Introduction/02 - What you should know.mp4 | 1.61 MB |
| 1 - Introduction/03 - Using the exercise files.mp4 | 1.77 MB |
| 2 - 1. Discrete Math Uses/04 - Basics of discrete mathematics.mp4 | 5.28 MB |
| 2 - 1. Discrete Math Uses/05 - Discrete math for programming.mp4 | 5.44 MB |
| 2 - 1. Discrete Math Uses/06 - Real-world discrete math.mp4 | 5.44 MB |
| 2 - 1. Discrete Math Uses/07 - Abstract discrete math.mp4 | 4.31 MB |
| 3 - 2. Sets/08 - Objects as sets.mp4 | 6.88 MB |
| 3 - 2. Sets/09 - Set notation.mp4 | 8.48 MB |
| 3 - 2. Sets/10 - Set operations.mp4 | 7.19 MB |
| 3 - 2. Sets/11 - Power sets.mp4 | 9.92 MB |
| 3 - 2. Sets/12 - Sequences and sums.mp4 | 15.73 MB |
| 3 - 2. Sets/13 - Recursion.mp4 | 19.10 MB |
| 3 - 2. Sets/14 - Cardinality, disjointness, and partitions.mp4 | 5.31 MB |
| 3 - 2. Sets/15 - Sets from Cartesian products.mp4 | 4.56 MB |
| 3 - 2. Sets/16 - Challenge - Practice with sets.mp4 | 1.94 MB |
| 3 - 2. Sets/17 - Solution - Practice with sets.mp4 | 15.59 MB |
| 4 - 3. Setting Up SML/18 - Functional programming.mp4 | 6.93 MB |
| 4 - 3. Setting Up SML/19 - Datatypes.mp4 | 6.42 MB |
| 4 - 3. Setting Up SML/20 - Characters and strings.mp4 | 7.88 MB |
| 4 - 3. Setting Up SML/21 - Recursive functions.mp4 | 7.47 MB |
| 4 - 3. Setting Up SML/22 - Challenge - Learn SML.mp4 | 3.84 MB |
| 4 - 3. Setting Up SML/23 - Solution - Create new data types.mp4 | 3.77 MB |
| 5 - 4. Analyzing Data Sequences/24 - Use SML to create lists.mp4 | 8.17 MB |
| 5 - 4. Analyzing Data Sequences/25 - Perform functions on lists.mp4 | 6.94 MB |
| 5 - 4. Analyzing Data Sequences/26 - Create datatypes that use lists.mp4 | 4.96 MB |
| 5 - 4. Analyzing Data Sequences/27 - Challenge - Model a lunch order.mp4 | 2.65 MB |
| 5 - 4. Analyzing Data Sequences/28 - Solution - Model a lunch order.mp4 | 6.96 MB |
| 6 - 5. Effective Arguments and Defensible Decisions/29 - Valid reasoning and inference.mp4 | 16.00 MB |
| 6 - 5. Effective Arguments and Defensible Decisions/30 - Truth tables.mp4 | 10.45 MB |
| 6 - 5. Effective Arguments and Defensible Decisions/31 - Identify and evaluate predicates.mp4 | 15.39 MB |
| 6 - 5. Effective Arguments and Defensible Decisions/32 - Conditional propositions.mp4 | 12.41 MB |
| 6 - 5. Effective Arguments and Defensible Decisions/33 - Valid arguments.mp4 | 9.66 MB |
| 6 - 5. Effective Arguments and Defensible Decisions/34 - Rules of inference.mp4 | 10.13 MB |
| 6 - 5. Effective Arguments and Defensible Decisions/35 - Prove logical equivalence.mp4 | 9.83 MB |
| 6 - 5. Effective Arguments and Defensible Decisions/36 - Challenge - Write truth tables.mp4 | 2.25 MB |
| 6 - 5. Effective Arguments and Defensible Decisions/37 - Solution - Write truth tables.mp4 | 10.49 MB |
| 7 - 6. Proofs Made Easy/38 - Write a general outline for a proof.mp4 | 91.39 MB |
| 7 - 6. Proofs Made Easy/39 - Write subset proofs.mp4 | 6.81 MB |
| 7 - 6. Proofs Made Easy/40 - Evaluate conditional proofs.mp4 | 20.89 MB |
| 7 - 6. Proofs Made Easy/41 - Understand biconditional proofs.mp4 | 9.22 MB |
| 7 - 6. Proofs Made Easy/42 - Prove with mathematical induction.mp4 | 24.61 MB |
| 7 - 6. Proofs Made Easy/43 - Challenge - Write a proof.mp4 | 2.01 MB |
| 7 - 6. Proofs Made Easy/44 - Solution - Write a proof.mp4 | 9.86 MB |
| 8 - 7. Advanced Discrete Math Topics/45 - Visualize data with graph theory.mp4 | 5.61 MB |
| 8 - 7. Advanced Discrete Math Topics/46 - Network optimization with trees.mp4 | 5.74 MB |
| 8 - 7. Advanced Discrete Math Topics/47 - Event probability.mp4 | 8.02 MB |
| 8 - 7. Advanced Discrete Math Topics/48 - Cryptography.mp4 | 45.42 MB |
| 8 - 7. Advanced Discrete Math Topics/49 - Challenge - Advanced techniques.mp4 | 2.29 MB |
| 8 - 7. Advanced Discrete Math Topics/50 - Solution - Advanced techniques.mp4 | 12.25 MB |
| 9 - Conclusion/51 - Next steps.mp4 | 11.67 MB |
| AhLaN.txt | 175.00 B |
| Exercise Files/Ch02/02_09/02_09 Challenge.pdf | 110.41 kB |
| Exercise Files/Ch02/02_10/02_10 Solution.pdf | 123.96 kB |
| Exercise Files/Ch05/05_08/05_08_Challenge.pdf | 78.00 kB |
| Exercise Files/Ch05/05_09/05_09_Solution.pdf | 236.91 kB |
| Exercise Files/Ch06/06_06/06_06_Challenge.pdf | 221.10 kB |
| Exercise Files/Ch06/06_07/06_07_Solution.pdf | 43.99 kB |
| Exercise Files/Ch07/07_05/07_05 Challenge.pdf | 41.46 kB |
| Exercise Files/Ch07/07_06/07_06_Solution.pdf | 181.21 kB |
| Exercise Files/Reference/Logic Reference.pdf | 111.61 kB |
| Exercise Files/Reference/Set Identities.pdf | 66.47 kB |
| Exercise Files/Reference/Set Theory.pdf | 113.41 kB |
| Seed Me!!.png | 42.05 kB |
-