mirror of
https://github.com/Brandon-Rozek/website.git
synced 2024-11-09 10:40:34 -05:00
Updated recitation practice
This commit is contained in:
parent
08bf1f6e88
commit
4ae88a8633
1 changed files with 2 additions and 3 deletions
|
@ -88,12 +88,11 @@ method copy(in_arr: array<int>) returns (out_arr: array<int>)
|
|||
|
||||
## Question 4: Backwards Reasoning
|
||||
|
||||
Fill in the blanks using forward reasoning. Don't forget to:
|
||||
Fill in the blanks using backward reasoning. Don't forget to:
|
||||
|
||||
- Carry your variables forward
|
||||
- Show your work
|
||||
- Simplify expressions
|
||||
- State the strongest precondition
|
||||
- State the weakest precondition
|
||||
|
||||
```java
|
||||
{ }
|
||||
|
|
Loading…
Reference in a new issue