Активная помощь пользователю (proactive user assistance)
механизм помощи пользователю, при создании которого стараются предугадать, где и какая именно помощь может потребоваться.
логическая модель, в которой любое выражение может иметь одно из трех значений: True, False или Null.
Доказываются 27 свойств, связывающих предполные классы трехзначной логики.
Приводится система из 36 аксиом, связывающих предполные классы трехзначной логики. На основе этих аксиом (и двойственных к ним) строится множество из 406 строк, в котором представлены все возможные варианты распределения трехзначных функций по предполным классам.
механизм помощи пользователю, при создании которого стараются предугадать, где и какая именно помощь может потребоваться.
программное обеспечение и соответствующая документация, предназначенные для поставки пользователю; программной продукцией является программный объект, предназначенный для поставки пользователю.
ключ-кандидат, состоящий из родного атрибута.