Актуальная информационная база (ACTUAL INFORMATION BASE)
информационная база, существующая в указанный момент или период времени, который квалифицируется как «сейчас», и отражающая дополнительные высказывания, отличные от необходимых.
принцип, декларирующий, что результатом всех операций над отношением является отношение, над которым можно выполнять другие операции.
замещении и происходит как нуклеофильное присоединение с последующим последовательным раскрытием и замыканием...
Addition of the Micleophile, Ring Opening, and Ring Closure)....
последовательного присоединения атакующего нуклеофила $NH_2$ в пиримидиновом цикле, его последующего раскрытием и замыканием
Актуальность и цели. Операторы замыкания один из основных инструментов классификации функций многозначной логики. Помимо широко известного оператора суперпозиции, имеется еще целый ряд так называемых сильных операторов замыкания операторов, порождающих при любом конечные либо счетные классификации множества функций -значной логики. Первым из таких операторов стал оператор параметрического замыкания, предложенный А. В. Кузнецовым в середине 1970-х гг. На основе идеи А. В. Кузнецова были введены и исследованы еще два сильных оператора замыкания: оператор позитивного замыкания и оператор с полной системой логических связок. Эту идею можно распространить на любые системы логических связок, прежде всего на наиболее употребительные связки: импликацию, разделительную дизъюнкцию и т.д. Цель работы состоит в исследовании операторов замыкания, которые возникают на этом пути. Материалы и методы. В построениях и доказательствах используются логико-функциональные методы. Результаты и выводы. Рас...
В работе доказано, что при любом $k\geqslant 2$ операторы эквационального замыкания и замыкания по перечислению (П-оператор) порождают одну и ту же классификацию на множестве $P_k^*$ частичных функций $k$-значной логики. В классе $P_3^*$ определены 13 П-предполных классов.
информационная база, существующая в указанный момент или период времени, который квалифицируется как «сейчас», и отражающая дополнительные высказывания, отличные от необходимых.
представление данных в виде информационных блоков, соединенных гиперсвязями; гиперсвязь представляет собой однонаправленное логическое соединение между двумя различными блоками данных в информационно-телекоммуникационной сети.
ключ-кандидат, состоящий из родного атрибута.