589689.xyz

- Foundations of Programming - Discrete Mathematics

  • 收录时间:2018-02-26 07:50:45
  • 文件大小:369MB
  • 下载次数:70
  • 最近下载:2021-01-17 08:52:51
  • 磁力链接:
立即下载 复制链接

文件列表

  1. 6. Proofs Made Easy/37. Write a general outline for a proof.mp4 58MB
  2. 7. Advanced Discrete Math Topics/47. Cryptography.mp4 29MB
  3. 6. Proofs Made Easy/41. Prove with mathematical induction.mp4 15MB
  4. 0. Introduction/01. Welcome.mp4 14MB
  5. 6. Proofs Made Easy/39. Evaluate conditional proofs.mp4 13MB
  6. 2. Sets/16. Solution - Practice with sets.mp4 11MB
  7. 2. Sets/12. Recursion.mp4 10MB
  8. 5. Effective Arguments and Defensible Decisions/30. Identify and evaluate predicates.mp4 10MB
  9. 2. Sets/11. Sequences and sums.mp4 9MB
  10. 7. Advanced Discrete Math Topics/49. Solution - Advanced techniques.mp4 9MB
  11. 5. Effective Arguments and Defensible Decisions/28. Valid reasoning and inference.mp4 8MB
  12. 5. Effective Arguments and Defensible Decisions/34. Prove logical equivalence.mp4 8MB
  13. 5. Effective Arguments and Defensible Decisions/31. Conditional propositions.mp4 8MB
  14. 2. Sets/09. Set operations.mp4 8MB
  15. 8. Conclusion/50. Next steps.mp4 7MB
  16. 5. Effective Arguments and Defensible Decisions/36. Solution - Write truth tables.mp4 7MB
  17. 3. Setting Up SML/19. Characters and strings.mp4 7MB
  18. 6. Proofs Made Easy/43. Solution - Write a proof.mp4 7MB
  19. 5. Effective Arguments and Defensible Decisions/29. Truth tables.mp4 7MB
  20. 5. Effective Arguments and Defensible Decisions/33. Rules of inference.mp4 6MB
  21. 5. Effective Arguments and Defensible Decisions/32. Valid arguments.mp4 6MB
  22. 2. Sets/10. Power sets.mp4 6MB
  23. 4. Analyzing Data Sequences/23. Use SML to create lists.mp4 6MB
  24. 6. Proofs Made Easy/40. Understand biconditional proofs.mp4 6MB
  25. 4. Analyzing Data Sequences/27. Solution - Model a lunch order.mp4 6MB
  26. 3. Setting Up SML/20. Recursive functions.mp4 6MB
  27. 3. Setting Up SML/18. Datatypes.mp4 6MB
  28. 4. Analyzing Data Sequences/24. Perform functions on lists.mp4 5MB
  29. 2. Sets/08. Set notation.mp4 5MB
  30. 7. Advanced Discrete Math Topics/46. Event probability.mp4 5MB
  31. 2. Sets/07. Objects as sets.mp4 4MB
  32. 6. Proofs Made Easy/38. Write subset proofs.mp4 4MB
  33. 1. Discrete Math Uses/05. Real-world discrete math.mp4 4MB
  34. 1. Discrete Math Uses/04. Discrete math for programming.mp4 4MB
  35. 2. Sets/14. Sets from Cartesian products.mp4 4MB
  36. 3. Setting Up SML/17. Functional programming.mp4 4MB
  37. 1. Discrete Math Uses/03. Basics of discrete mathematics.mp4 4MB
  38. 7. Advanced Discrete Math Topics/45. Network optimization with trees.mp4 4MB
  39. 4. Analyzing Data Sequences/25. Create datatypes that use lists.mp4 4MB
  40. 7. Advanced Discrete Math Topics/44. Visualize data with graph theory.mp4 4MB
  41. 3. Setting Up SML/22. Solution - Create new data types.mp4 3MB
  42. 2. Sets/13. Cardinality, disjointness, and partitions.mp4 3MB
  43. 1. Discrete Math Uses/06. Abstract discrete math.mp4 3MB
  44. 3. Setting Up SML/21. Challenge - Learn SML.mp4 3MB
  45. 4. Analyzing Data Sequences/26. Challenge - Model a lunch order.mp4 2MB
  46. 7. Advanced Discrete Math Topics/48. Challenge - Advanced techniques.mp4 2MB
  47. 5. Effective Arguments and Defensible Decisions/35. Challenge - Write truth tables.mp4 2MB
  48. 6. Proofs Made Easy/42. Challenge - Write a proof.mp4 1MB
  49. 2. Sets/15. Challenge - Practice with sets.mp4 1MB
  50. 0. Introduction/03. Basics of discrete mathematics.mp4 1MB
  51. 0. Introduction/02. What you should know.mp4 1MB
  52. Exercise Files.zip 1MB
  53. Info.txt 2KB