EulerFoldAspiring Computer Scientists
Discrete Mathematics & Logic
“The mathematical foundation required for formal verification tools like TLA+ and Alloy.”
What you'll learn
Propositional & Predicate Logic
Set Theory & Relations
Combinatorics
Graph Theory
Number Theory & Cryptography
Boolean Algebra
W1
Propositional & Predicate Logic
Construct truth tables and evaluate quantified statements.
2 videos•36m
3 readings
2 topics
1 homework
W2
Methods of Proof
Write rigorous mathematical proofs including induction.
2 videos•40m
2 readings
2 topics
1 homework
W3
Set Theory and Relations
Analyze sets, functions, and equivalence relations.
2 videos•41m
3 readings
2 topics
1 homework
W4
Combinatorics & Probability
Calculate permutations, combinations, and discrete probabilities.
2 videos•41m
3 readings
2 topics
1 homework
W5
Graph Theory Fundamentals
Analyze graph properties, paths, and trees.
2 videos•70m
3 readings
2 topics
1 homework
W6
Number Theory & Cryptography
Apply modular arithmetic and understand RSA encryption.
2 videos•32m
3 readings
2 topics
1 homework
01
Learn
Watch curated videos and read study resources
02
Practice
Practice what you learned
03
Build Projects
Build projects using your new gained knowledge
04
Submit & Verify
Submit your project and get verified by our system
References
Rate this course
Help the community find verified technical paths.
Community Insights
0Join the discussion
Sign in to share your thoughts and technical insights.
Loading insights...