Еквивалентно на снимачната площадка - голяма енциклопедия на нефт и газ, хартия, страница 2
еквивалентно на снимачната площадка
Два комплекта са еквивалентни, ако между техните елементи могат да се установи съответствие едно към едно, ние казваме, че еквивалентните набори имат еднакъв брой власт или кардинал. По този начин, всеки набор от корелира-ти (обект - капацитета си, еквивалентните комплекти съответства на една и съща мощност [16].
В действителност, всеки безкраен набор A съдържа набор от A, еквивалентен на множеството на естествените числа, а еквивалентните комплекти имат една и съща мощност. [17]
Реалното изграждане на базовите функции, както в предходния параграф, се свежда до един прост проблем да изградят върху опорния елемент чрез въвеждане на концепцията за еквивалентни комплекти. [18]
По принцип, резолюцията е достатъчно доказателство за извеждане на логически процедури на спецификациите, тъй като всеки предлага стандартна логика, включени в нашите първоначални спецификации, може да се трансформира от различни систематични методи за (всъщност) е еквивалентно на много оферти. представени като disjuncts. В зависимост от вида на изходното изречение е набор може да съдържа както Хорн и клаузи nehornovskie. Ако всички клаузи него рог, в следващия синтез може да се използва прост метод на резолюция, от горе до долу, както е показано в предишния пример. В противен случай (когато е налице клаузи nehornovskie) може да се прилага обща резолюция. [19]
Следователно, ако съществува набор С, така че NX (SATR (С)) SATX (С), след това C еквивалентни на NX (С)) Изглежда, че NX (С) може да бъде безкрайна и не ограничен еквивалент на Т - и GF-зависимост (вж. Напр. [20]
Така че е отново на преден план са някои строго различно, абстрактен, логично разделяне на отделните елементи, които са обединени в един, така да се каже, див набор, и само чрез премахване на техния различен-ност, индивидуалност, дори, произтичащи от връзката им в цялото в които са комбинирани, се оказва броя на мощност или кардинална като характерен клас еквивалентни комплекта. получен един към един картографиране на елементите един спрямо друг. [21]
Капацитет на А е класа на всички групи, които са еквивалентни на комплект А, и е обозначен с А. еквивалентни комплекти също се наричат equicardinal. [22]
Лесно е да се види, че това наистина е връзка равностойност. Един клас равностойност на масивите нарича м градуса. [23]
А и свързват всеки комплект, е еквивалент, обект T (А), който се нарича номер кардинална или силата на определи и да еквивалентен него. Ясно е, че определен еквивалент. и само те, имат една и съща мощност. [24]
Множество точки на два сегмента са еквивалентни, тъй като единна деформация по-голям сегмент става по-малка и всяка точка намира подходящо. Тя се казва, че силата на еквивалентни комплекта са равни. [25]
Показват, че след идентифициране на еквивалентни комплекта N система се превръща в пълен булева алгебра (A. [26]
Ако състоянието (2) е изпълнено, ще се опитаме да постигнем удовлетворение от състоянието (3), лечение отново в определен ред в останалата F и атрибути в зависимост от ляво на техните страни. Ако можете да се премахнат някои приписват на лявата страна и все още имат равностоен набор от атрибути. След това този атрибут е изключено. [27]
Два комплекта са еквивалентни, ако между техните елементи могат да се установи съответствие едно към едно, ние казваме, че еквивалентните набори имат еднакъв брой власт или кардинал. По този начин, всеки набор от корелира-ти (обект - капацитета си, еквивалентните комплекти съответства на една и съща мощност [28].
Теорема 5.2 посочва, че за не-минимално без излишни G може да намери Y - - U и Z - V, за които Y - Z и Y - Z в G. След като те се намират, те могат да бъдат заменени, както е направено в доказателството за Лема 5.8, един F-зависимостта на Z - - - UV. Резултатът е еквивалентно на множество по-малки F-номер зависимост. [29]
Теорема 5.2 посочва, че за не-минимално без излишни G могат да намерят Y - U и Z - V, за които Y - След като те се намират, те могат да бъдат заменени UZ в G., както е направено в доказателството за Лема 5.8, един - Z и Y F-зависимостта на Z - - - UV. Резултатът е еквивалентно на множество по-малки F-номер зависимост. [30]
Страници: 1 2 3