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