Loop Invariants

Sort options

What is a Proof? (Coursera)

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

Computing: Art, Magic, Science - Part II (edX)

No sessions available
Computing: Art, Magic, Science - Part II (edX)
Course Auditing
Learn functional programming, design patterns, loop invariants, and more in part 2 of this introductory programming course.