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?
Este curso forma parte de Programa especializado: Introduction to Discrete Mathematics for Computer Science
Ofrecido Por
Acerca de este Curso
Habilidades que obtendrás
- Mathematical Induction
- Proof Theory
- Discrete Mathematics
- Mathematical Logic
Ofrecido por
Programa - Qué aprenderás en este curso
Making Convincing Arguments
How to Find an Example?
Recursion and Induction
Logic
Reseñas
- 5 stars63,93 %
- 4 stars24,12 %
- 3 stars7,06 %
- 2 stars1,94 %
- 1 star2,93 %
Principales reseñas sobre MATHEMATICAL THINKING IN COMPUTER SCIENCE
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.
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.
though i stuck somewhere but mentors was always there to assist you. really found this course interesting and very helpful. solved so much of tricky puzzles, Good course
The course is good made me think logically, good as a starting course start fast-finish fast and there you have the warm-up, though you need some knowledge of python for completing this course
Acerca de Programa especializado: Introduction to Discrete Mathematics for Computer Science

Preguntas Frecuentes
¿Cuándo podré acceder a las lecciones y tareas?
¿Qué recibiré si compro el Certificado?
¿Hay ayuda económica disponible?
¿Tienes más preguntas? Visita el Centro de Ayuda al Estudiante.