Mathematical thinking is crucial in all areas of computer science: algorithms, bioinformatics, computer graphics, data science, machine learning, etc. In this course, we will learn the most important tools used in discrete mathematics: induction, recursion, logic, invariants, examples, optimality. We will use these tools to answer typical programming questions like: How can we be certain a solution exists? Am I sure my program computes the optimal answer? Do each of these objects meet the given requirements?
This course is part of the Introduction to Discrete Mathematics for Computer Science Specialization
Offered By
About this Course
Skills you will gain
- Mathematical Induction
- Proof Theory
- Discrete Mathematics
- Mathematical Logic
Offered by
Syllabus - What you will learn from this course
Making Convincing Arguments
How to Find an Example?
Recursion and Induction
Logic
Reviews
- 5 stars63.89%
- 4 stars24.06%
- 3 stars7.07%
- 2 stars1.98%
- 1 star2.97%
TOP REVIEWS FROM MATHEMATICAL THINKING IN COMPUTER SCIENCE
I personally have very limited coding skills. this course was able to build my funadmentals in both math and science while understanding more of the bridge between the two. Very thankful for it.
The teachers are informative and good. They explain the topic in a way that we can easily understand. The slides provide all the information that is needed. The external tools are fun and informative.
I really liked this course, it's a good introduction to mathematical thinking, with plenty of examples and exercises, I also liked the use of other external graphical tools as exercises.
This course has made me appreciate discrete mathematics than ever before. If you're even thinking about taking this course, then I RECOMMEND that you stop thinking and take it!
About the Introduction to Discrete Mathematics for Computer Science Specialization

Frequently Asked Questions
When will I have access to the lectures and assignments?
What will I get if I subscribe to this Specialization?
What is the refund policy?
Is financial aid available?
More questions? Visit the Learner Help Center.