- [Voiceover] Okay, how did you make out with the challenge?…Were you able to create the datatypes necessary…to be able to create an entree and a lunch order?…I'm going to show you my version of the solution…but remember everybody programs a little differently.…I'm gonna start by creating my data types.…So I'll do datatype for bread.…And the types of bread might include,…I don't know, Rye, Wheat,…plain old white bread,…MultiGrain,…and my favorite, Sourdough.…
Next, I need a list of the types of meats…that might be in the sandwich.…And that might be Ham.…Maybe even some Pepperoni.…Maybe some Salami,…Bologna.…And let's go ahead and add some Turkey.…Okay, now we need the Cheese.…And the types as we offer is American,…Provolone,…Cheddar,…PepperJack,…and Swiss.…
And finally, we need a list of the condiments…that the user can choose from.…Maybe they want Pickles.…They might want Lettuce.…They might want Tomato.…Maybe a Relish,…Onions…and Mustard,…Mayo.…Oops, looks like I have an error somewhere.…So datatype, oh I put datatypes instead of datatype.…
Author
Peggy Fisher
Released
3/9/2016This course relies on an open-source SML (standard machine language) library to demo the concepts behind discrete math. Peggy Fisher shows you how to manipulate sets of data, write proofs and truth tables, analyze data sequences, and visualize data using graph theory. Challenges at the end of every chapter allow you to test your knowledge. By the end of the course, you should be able to make the leap from theory to using discrete math in practice: saving time and resulting in code that's cleaner and easier to maintain in the long run.
- Real-world discrete math
- Objects as sets
- Set notation and operations
- Standard machine language (SML) setup
- Working with data types, strings, and functions in SML
- Analyzing data sequences
- Writing truth tables
- Identifying and evaluating predicates
- Validating arguments
- Writing proofs: subset, conditional, and biconditional proofs
- Visualizing data with graphs
- Advanced discrete math techniques
Skill Level Intermediate
Duration
Views
-
Introduction
-
Welcome1m 11s
-
-
1. Discrete Math Uses
-
Real-world discrete math3m 8s
-
Abstract discrete math1m 57s
-
2. Sets
-
Objects as sets2m 56s
-
Set notation3m 56s
-
Set operations5m 1s
-
Power sets4m 29s
-
Sequences and sums7m 22s
-
Recursion3m 5s
-
Solution: Practice with sets6m 53s
-
-
3. Setting Up SML
-
Functional programming2m 31s
-
Datatypes4m 45s
-
Characters and strings5m 19s
-
Recursive functions4m 45s
-
Challenge: Learn SML1m 40s
-
-
4. Analyzing Data Sequences
-
Use SML to create lists4m 39s
-
Perform functions on lists4m 31s
-
-
5. Effective Arguments and Defensible Decisions
-
Truth tables4m 58s
-
Conditional propositions5m 48s
-
Valid arguments4m 40s
-
Rules of inference4m 45s
-
Prove logical equivalence6m 11s
-
Solution: Write truth tables4m 55s
-
6. Proofs Made Easy
-
Write subset proofs3m 12s
-
Evaluate conditional proofs8m 54s
-
Solution: Write a proof4m 23s
-
7. Advanced Discrete Math Topics
-
Event probability3m 31s
-
Cryptography2m 22s
-
Conclusion
-
Next steps35s
-
Take notes with your new membership!
Type in the entry box, then click Enter to save your note.
Press on any video thumbnail to jump immediately to the timecode shown.
Notes are saved with you account but can also be exported as plain text, MS Word, PDF, Google Doc, or Evernote.
Share this video
Embed this video
Video: Solution: Model a lunch order