Discussion:
On the following terms could you please give my an English text description - in your own words.
1. Sequence
2. Geometric Progression
3. String
4. Recursive definition of a function
5. Recursive definition of a set
6. Recursive algorithm
7. Program correctness
8. Loop invariant
9. Final assertion