Cтраница 1
Множество аргументов представлено в виде тройки ( xpred, poslist, neglist): xpred - это предикат на х; poslist - список элементов, принадлежащих исключительно множеству таких аргументов, на которых xpred принимает значение false ( ложно); neglist - список элементов, на которых xpred принимает только значение true ( истинно), но которые не принадлежат множеству аргументов. [1]
Множество аргументов функции х е X называется областью определения этой функции, а совокупность значений г / еК, когда аргумент пробегает всю область определения, называется множеством значений функции. Обычно область определения и множество значений функции являются подмножествами действительной прямой. Таким образом, функцию можно представить как заданное отображение, сопоставляющее каждому числу из области определения единственное число из множества значений функции. [2]
Для множеств аргументов определяются так называемые аргументационные расширения, которые должны охватывать различные типы пересматриваемых следствий. [3]
Для каждого множества аргументов, позволяющих оценить состояние системы, можно подобрать вполне определенное энергетическое свойство, функциональная связь которого с аргументами данного множества аналогична той, что имеется между внутренней энергией и обобщенными координатами. [4]
История представляет множество аргументов за последнюю концепцию. [5]
Для каждого множества аргументов, позволяющих оценить состояние системы, можно подобрать вполне определенное энергетическое свойство, функциональная связь которого с аргументами данного множества аналогична той, что имеется между внутренней энергией и обобщенными координатами. [6]
Мы представили множество аргументов в поддержку мнения, что технология реляционных баз данных предоставляет возможности для впечатляющего увеличения эффективности как конечным пользователям, так и прикладным программистам. Основными доводами являются такие свойства реляционных систем, как независимость данных, структурная простота и возможности реляционной обработки. Эти свойства были определены для реляционной модели данных и реализованы в виде реляционных систем управления базами данных. Все три перечисленных свойства упрощают создание прикладных программ и формулировку запросов и изменений информации, производимых с терминала. Кроме того, первое свойство делает программы устойчивыми к изменениям описаний и структур в базе данных и тем самым уменьшает трудозатраты на поддержание работоспособности программ. [7]
Необходимость использования множеств аргументов объясняется тем, что в данной аргументационной структуре язык явно не определяется и, следовательно, теряется выразительная сила при распознавании противоречий. Поэтому и приходится рассматривать множества аргументов. [8]
Поиск оптимального разбиения множества аргументов заданных функций Ф ( X ] среди всех возможных предлагается проводить в соответствии со следующим критерием. [9]
Определение 10.3. Пусть Args - множество аргументов, упорядоченное бинарным отношением поражения. [10]
Определение 10.5. Пусть Args - множество аргументов, упорядоченное бинарным отношением поражения. [11]
Это обусловлено исчислимостью и мощностью множества аргументов. В этом случае единственная семантика Х - исчисления, которую мы были бы в состоянии найти, состоит в том, что каждое выражение обозначает одну и ту же величину. [12]
В поддержку противоположной позиции было выдвинуто множество аргументов, например аргумент, состоящий в том, что активная роль дивидендов имеет место в условиях неопределенности. Другими словами, инвесторам не все равно, получают они свой доход с инвестиций в форме дивидендов или в форме улучшения курса акции. Рассмотрим эти аргументы в условиях неопределенности. [13]
Еще одним важным понятием является допустимость множества аргументов: Бесконфликтное множество аргументов S допустимо тогда и только тогда, когда каждый аргумент в S приемлем по отношению к S. Для нашего примера множества 0, С и А, С - допустимые, а все остальные подмножества для А, В С не будут допустимыми. [14]
Понятие поражения определяется бинарным отношением на множестве аргументов. [15]