2.VIII. Критерий локального извлечении данных

[dmitgu]

. К оглавлению . Показать весь текст .

Критерий локального извлечения данных:

(т.9.5) len(a) ≠ ⊖ ⇒ ( IsStr(len(a), i, j) = 1 ⇔ ∀ u str(a ⋅ u, i, j) = str(a, i, j) )

Для доказательства этой эквивалентности нужно доказать, что в условиях 1-го дедуктивного предположения:

len(a) ≠ ⊖ истинны 2 импликации:

IsStr(len(a), i, j) = 1 ⇒ ∀ u str(a ⋅ u, i, j

Comments

[lj_frank_bot]

Здравствуйте!
Система категоризации Живого Журнала посчитала, что вашу запись можно отнести к категории: Наука.
Если вы считаете, что система ошиблась - напишите об этом в ответе на этот комментарий. Ваша обратная связь поможет сделать систему точнее.
Фрэнк,
команда ЖЖ.