Skip to content

Mathematical Thinking in Computer Science

Teacher

Alexander S. Kulikov

Position

Categories

Reviews

4.4/5
4.4

Tutorial Price

$
https://www.coursera.org/learn/what-is-a-proof

Level

NYR

Duration

NYR

# of Reviews

1054

Module Type

On demand video

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?

Instructors

Alexander S. Kulikov

Link to Course

Sign Up