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,031**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.01%
- 4 stars24.03%
- 3 stars7.04%
- 2 stars1.95%
- 1 star2.95%

### TOP REVIEWS FROM MATHEMATICAL THINKING IN COMPUTER SCIENCE

a lot of it was hard to understand but it was nice to learn through the puzzles. i was completely lost during the honors content, and i thought we weren't well-prepared for the programming assignments

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 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.

Course was good, but sometimes i needed additional sources to understand topic better. Maybe, it was because of my english. Anyway it gave me a path what i should look for! Thank you!

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