Mathematical Thinking in Computer Science
Master discrete mathematics fundamentals with interactive puzzles and hands-on programming challenges.
Master discrete mathematics fundamentals with interactive puzzles and hands-on programming challenges.
This course cannot be purchased separately - to access the complete learning experience, graded assignments, and earn certificates, you'll need to enroll in the full Introduction to Discrete Mathematics for Computer Science Specialization program. You can audit this specific course for free to explore the content, which includes access to course materials and lectures. This allows you to learn at your own pace without any financial commitment.
4.4
(2,241 ratings)
1,37,752 already enrolled
Instructors:
English
پښتو, বাংলা, اردو, 3 more
Powered by
What you'll learn
Master mathematical proof techniques and logical reasoning
Apply recursion and induction to solve complex problems
Understand discrete mathematics fundamentals
Develop algorithmic problem-solving skills
Implement mathematical concepts in Python
Skills you'll gain
This course includes:
5.8 Hours PreRecorded video
57 assignments
Access on Mobile, Tablet, Desktop
FullTime access
Shareable certificate
Get a Completion Certificate
Share your certificate with prospective employers and your professional network on LinkedIn.
Created by
Provided by
Top companies offer this course to their employees
Top companies provide this course to enhance their employees' skills, ensuring they excel in handling complex projects and drive organizational success.
There are 6 modules in this course
This comprehensive course teaches essential mathematical thinking skills for computer science. Through interactive puzzles and programming challenges, students learn fundamental concepts in discrete mathematics including induction, recursion, logic, and invariants. The curriculum emphasizes practical problem-solving and proof techniques, with applications to algorithms, data structures, and computational problems. Students develop rigorous analytical skills while working on engaging puzzles and real-world programming tasks.
Making Convincing Arguments
Module 1 · 3 Hours to complete
How to Find an Example?
Module 2 · 8 Hours to complete
Recursion and Induction
Module 3 · 6 Hours to complete
Logic
Module 4 · 5 Hours to complete
Invariants
Module 5 · 6 Hours to complete
Solving a 15-Puzzle
Module 6 · 12 Hours to complete
Fee Structure
Instructors
13 Courses
Distinguished Computer Scientist and Algorithms Expert
Alexander S. Kulikov serves as a visiting professor at the University of California, San Diego, and a leading research fellow at the Steklov Institute of Mathematics in St. Petersburg. His academic journey includes earning his Ph.D. in 2009 and Dr.Sci. in 2017 from the St. Petersburg Department of Steklov Institute of Mathematics. His research focuses on algorithms for NP-hard problems and circuit complexity, with significant contributions to computational complexity theory and algorithm design. He has authored several influential educational resources, including "Learning Algorithms Through Programming and Puzzle Solving" and co-created major online courses on platforms like Coursera and edX. His teaching experience spans more than eight years, during which he has developed innovative approaches to algorithms education. Currently at JetBrains as a researcher, he continues to advance the field through his work on algorithmic problem-solving and computational complexity, while maintaining his academic connections through his visiting professorship at UCSD and research position at Steklov Institute.
7 Courses
Distinguished Data Scientist and Algorithms Expert
Michael Levin serves as Chief Data Scientist at Yandex.Market, Russia's leading price comparison and online shopping service, while also maintaining a position as Lecturer in Computer Science at the National Research University Higher School of Economics since 2015. His academic excellence began at Moscow State University, where he earned his degree in mathematics and achieved both silver and bronze medals at the ACM ICPC World Finals as part of the university's team. His expertise in algorithms, machine learning, and data science has made him a prominent figure in both industry and education, leading to his role as an instructor for the University of California San Diego's online courses in algorithms and data structures, which have reached over 345,000 students worldwide. His teaching portfolio includes comprehensive courses in algorithmic design, graph algorithms, string processing, and advanced complexity theory, making him a influential figure in computer science education while maintaining his leadership role in one of Russia's largest tech companies.
Testimonials
Testimonials and success stories are a testament to the quality of this program and its impact on your career and learning journey. Be the first to help others make an informed decision by sharing your review of the course.
Frequently asked questions
Below are some of the most commonly asked questions about this course. We aim to provide clear and concise answers to help you better understand the course content, structure, and any other relevant information. If you have any additional questions or if your question is not listed here, please don't hesitate to reach out to our support team for further assistance.