Description
In this course, you will learn:
- Create assertions that describe the states of a program.
- Use reasoning to prove that programs are correct.
- Using goal-oriented programming techniques, create algorithms.
- Discover families of loop-based algorithms for matrix computations by "slicing and dicing."