| |||
| пост-условие | |||
| выходное условие | |||
| условие, истинное после выполнения оператора (постусловие ssn) | |||
| постусловие | |||
| |||
| постусловия (ssn) | |||
|
postcondition : 16 phrases in 2 subjects |
| Artificial intelligence | 1 |
| Programming | 15 |
| |||
| пост-условие | |||
| выходное условие | |||
| условие, истинное после выполнения оператора (постусловие ssn) | |||
| постусловие | |||
| |||
| постусловия (ssn) | |||
|
postcondition : 16 phrases in 2 subjects |
| Artificial intelligence | 1 |
| Programming | 15 |