Вікіпедія

Логіка Гоара: відмінності між версіями

Інтерактивний перегляд історії
[неперевірена версія][неперевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
Рядок 112:
|
|
|(<math> x < N \implies x + 1 \leq N</math> forдля цілих ''x'', ''N'' with integer types)
|-
|<math>\{x < N \}\!</math>
Отримано з https://uk.wikipedia.org/wiki/Логіка_Гоара