 |
| |||
| схема доказательства (программа с добавленными утверждениями, достаточными для того, чтобы убедить читателя в её корректности. В полной схеме доказательства утверждение ставится до и после каждого оператора ssn) | |||
|
proof outline : 4 צירופים, 2 נושאים |
| טֶכנוֹלוֹגִיָה | 1 |
| מָתֵימָטִיקָה | 3 |