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

**119,345**already enrolled

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

**3 hours to complete**

### Making Convincing Arguments

**3 hours to complete**

**8 hours to complete**

### How to Find an Example?

**8 hours to complete**

**6 hours to complete**

### Recursion and Induction

**6 hours to complete**

**5 hours to complete**

### Logic

**5 hours to complete**

## Reviews

- 5 stars64%
- 4 stars24.01%
- 3 stars7.08%
- 2 stars1.94%
- 1 star2.94%

### TOP REVIEWS FROM MATHEMATICAL THINKING IN COMPUTER SCIENCE

Love the quality of thought that goes into each lesson. The professors speak with acute clarity and really demonstrate and empathy for the student to truly understand the topics!

The excellent approaching of supplanting intuition with puzzles to help reason, before starting the lectures makes proof making one of the most fun parts in this course.

I have come to know how mathematical proof is fun thing to do, this course transformed me, i highly recommend it to every one. I would like to thank every one involved in providing this course.

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.

## 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?

Is financial aid available?

More questions? Visit the Learner Help Center.