Абстрактная структура данных
[abstract logic design] — структура данных, определенная функционально посредством выполняемых на ней операций. Такая структура не связана с поименованными типами объектов.
[equivalent set] — множество, имеющее взаимно однозначное соответствие с другим множеством, при котором каждому элементу одного из них соответствует один единственный элемент другого и наоборот.
Конъюнкция или логическое умножение (в теории множеств – это пересечение)
Конъюнкция является сложным...
Эквивалентность или логическая равнозначность
Эквивалентность - это сложное логическое выражение, которое...
Таблица истинности для эквивалентности
Рисунок 5....
Свойства эквивалентности:
Эквивалентность истинна на равных наборах значений переменных $A$ и $B$....
Обозначения: $|$, эквивалентно операции И-НЕ.
Исследована эквивалентность примитивных множеств натуральных чисел в связи с диофантовой проблемой Фробениуса. Эквивалентность используется для упрощения определения числа Фробениуса g(a 1,..., ak), а также всех чисел, не содержащихся в аддитивной полугруппе, порождённой множеством {a1,..., ak}.
Сущность принципа эквивалентности
Премии - это основной источник средств страховой организации....
Для того, чтобы была соблюдена справедливость, они должны являться эквивалентными....
Тогда принцип эквивалентности заключен в равенстве ожидаемых цен обязательств сторон....
небрежностью, но именно не преднамеренностью, может страховаться безо всяких препятствий, так как касается множества...
Замечание 3
Не подлежат страхованию события, угрожающие множеству и затрагивающие всех, к примеру
Множества натуральных взаимно простых чисел {й1,..., ak} и {b1,...,bi} полагаются эквивалентными, если им соответствует одно и то же число Фробениу-са, то есть g(a 1,..., ak) = g(b 1,...,bi). Получены результаты, позволяющие для широкого класса множеств аргументов сократить вычисления при решении проблемы Фробениуса как в оригинальной постановке (определение числа Фробе-ниуса g(a1,...,ak)), так и в расширенной постановке (определение множества всех чисел, не содержащихся в аддитивной полугруппе, порожденной множеством {a1,..., ak}).
[abstract logic design] — структура данных, определенная функционально посредством выполняемых на ней операций. Такая структура не связана с поименованными типами объектов.
[abstraction] — использование для описания или представления общих свойств объекта без конкретной его реализации (например, типов объектов — "читатель", "фирма", "автомобиль", но не конкретно названных читателей, фирм, марок автомобилей и т.п.)
[off-line (isolated, stand-alone) system]: 1) система, не входящая в состав какой-либо другой системы или не находящаяся под ее управлением; 2) в вычислительной технике: подсистема, не находящаяся под управлением центрального процессора.