What is the translation of " BINARY RELATION " in Greek?

• δυαδική σχέση

Examples of using Binary relation in English and their translations into Greek

Orders are special binary relations.
Οι διατάξεις είναι ειδικές δυαδικές σχέσεις.

Rel, sets with binary relations and relation preserving functions.
Rel, σύνολα με δυαδική σχέση και σχέσεις διατηρούμενων συναρτήσεων.

This definition agrees with the definition of union for binary relations.
Ο ορισμός αυτός συμφωνεί με τον ορισμό της ένωσης για την δυαδική σχέση.

Some important classes of binary relations over a set X are.
Ορισμένες σημαντικές κλάσεις διμελών σχέσεων σε ένα σύνολο X είναι οι εξής.

If R is a binary relation such that field(R)⊆ Γ+ and T is a Turing machine, then T calculates R if.
Αν το R είναι μια δυαδική σχέση τέτοια ώστε field(R) ⊆ Γ+ και το T είναι μια μηχανή Turing, τότε το T υπολογίζει το R εάν.

The standard signature for graphs is σgrph={E}, where E is a binary relation symbol.
Η υπογραφή των γράφων είναι σgrph={E}, όπου το E είναι δυαδικό σύμβολο σχέσης.

Set theory begins with a binary relation between an object o and a set A.
Η θεωρία συνόλων ξεκινά με μια βασική δυαδική σχέση μεταξύ ενός αντικειμένου Ο και ενός συνόλου Α.

Structures are also a part of universal algebra; after all, some algebraic structures such as ordered groups have a binary relation<
Οι δομές είναι επίσης μέρος της καθολικής άλγεβρας- κάποιες αλγεβρικές δομές όπως οι διατεταγμένες ομάδες έχουν μια δυαδική σχέση<

A derived binary relation between two sets is the subset relation, also called set inclusion.
Μια δυαδική σχέση που προέρχεται μεταξύ δύο συνόλων είναι επίσης σχέση υποσυνόλων που ονομάζεται σειρά ένταξης.

This section introduces ordered sets by building upon the concepts of set theory, arithmetic, and binary relations.
Αυτή η ενότητα παρουσιάζει διατεταγμένα σύνολα που είναι βασισμένα πάνω στις έννοιες της θεωρίας συνόλων, στην αριθμητική, και στις διμελείς σχέσεις.

L∈ NP if, and only if, there exists a binary relation and a positive integer k such that the following two conditions are satisfied.
L ∈ NP αν, και μόνο αν, υπάρχει δυαδική σχέση και ένας θετικός ακέραιος k έτσι ώστε οι δύο παρακάτω συνθήκες ικανοποιούνται.

Like Foucault, Holloway wants stay connected with the million, multiple forms of resistance, which are irreducible to the binary relation between capital and labour.
Όπως ο Foucault, ο Holloway επιθυμεί να μείνει στο ίδιο επίπεδο με εκατομμύρια πολλαπλών αντιστάσεων, μη αναγώγιμων στη δυαδική σχέση κεφαλαίου και εργασίας.

Relations and functions; properties of binary relations, equivalence relations, partial orderings, chains and antichains.
Σχέσεις και συναρτήσεις· ιδιότητες διμελών σχέσεων, σχέσεις ισοδυναμίας, δικτυωτά μερικής διατάξεως, αλυσίδες και αντιαλυσίδες.

In computational complexity theory and computability theory, a search problem is a type of computational problem represented by a binary relation.
Στη θεωρία υπολογιστικής πολυπλοκότητας και τη θεωρία υπολογισιμότητας, ένα πρόβλημα αναζήτησης είναι ένα είδος υπολογιστικού προβλήματος που αναπαριστάται από μια δυαδική σχέση.

More precisely, a binary operation on a set S is a binary relation that maps elements of the Cartesian product S× S to S.
Πιο συγκεκριμένα, μια δυαδική πράξη σε ένα σύνολο S είναι μια δυαδική σχέση που αντιστοιχεί στοιχεία του καρτεσιανού γινομένου S × S σε στοιχεία του S.

The language of ordered abelian groups has one constant 0, one unary function-, one binary function+, and one binary relation≤.
Στα μαθηματικά η γλώσσα των ταξινομημένων αβελιανών ομάδων έχει ένα σταθερό σύμβολο 0, ένα μονομελές συναρτησιακό σύμβολο-, ένα δυαδικό συναρτησιακό σύμβολο+, και ένα δυαδικό σύμβολο σχέσης ≤.

In some fields, it is common to use infix notation for binary relations and functions, instead of the prefix notation defined above.
Σε κάποιους τομείς, συνηθίζεται να χρησιμοποιούνται συμβολισμοί για δυαδικές σχέσεις και συναρτήσεις, αντί για τους προθεματικούς συμβολισμούς που ορίστηκαν πιο πάνω.

In mathematics the language of ordered abelian groups has one constant symbol 0, one unary function symbol-, one binary function symbol+, and one binary relation symbol≤.
Στα μαθηματικά η γλώσσα των ταξινομημένων αβελιανών ομάδων έχει ένα σταθερό σύμβολο 0, ένα μονομελές συναρτησιακό σύμβολο-, ένα δυαδικό συναρτησιακό σύμβολο+, και ένα δυαδικό σύμβολο σχέσης ≤.

Note that the graph of a partial function is a binary relation, and if T calculates a partial function then there is at most one possible output.
Σημειώστε ότι ο γράφος μιας συνάρτησης είναι μια δυαδική σχέση και ότι αν το Τ υπολογίζει μια μερική συνάρτηση τότε υπάρχει το πολύ μία μόνο πιθανή έξοδος.

Ordered abelian groups[edit] In mathematics the language of ordered abelian groups has one constant symbol 0, one unary function symbol-, one binary function symbol+, and one binary relation symbol≤.
Στα μαθηματικά η γλώσσα των ταξινομημένων αβελιανών ομάδων έχει ένα σταθερό σύμβολο 0, ένα μονομελές συναρτησιακό σύμβολο-, ένα δυαδικό συναρτησιακό σύμβολο+, και ένα δυαδικό σύμβολο σχέσης ≤.

There exists a nonempty binary relation R{\displaystyle R} over the individuals of the lowest type, that is irreflexive, transitive, and strongly connected:∀ x, y{\displaystyle\forall x, y} and with codomain contained in domain.
Υπάρχει μια μη κενή δυαδική σχέση R{\displaystyle R} στα άτομα του χαμηλότερου τύπου, που είναι μη ανακλαστική, ματαβατική, και ισχυρά συνδεδεμένη: ∀ x, y{\displaystyle\forall x, y}.

Thus the formula(¬∀ x P( x)→∃ x¬ P( x)){\displaystyle(\lnot\forall xP(x)\to\exists x\lnot P(x))} might be written as(¬)→∃ x.{\displaystyle(\lnot)\to\exists x.} In some fields, it is common to use infix notation for binary relations and functions, instead of the prefix notation defined above.
Έτσι ο τύπος( ¬ ∀ x P( x)→ ∃ x ¬ P( x)){\displaystyle(\lnot\forall xP(x)\to\exists x\lnot P(x))} μπορεί να γραφεί σαν( ¬)→ ∃ x.{\displaystyle(\lnot)\to\exists x.} Σε κάποιους τομείς, συνηθίζεται να χρησιμοποιούνται συμβολισμοί για δυαδικές σχέσεις και συναρτήσεις, αντί για τους προθεματικούς συμβολισμούς που ορίστηκαν πιο πάνω.

In 1941, Tarski published an important paper on binary relations, which began the work on relation algebra and its metamathematics that occupied Tarski and his students for much of the balance of his life.
Το 1941, ο Τάρσκι δημοσίευσε ένα σημαντικό σύγγραμμα για τις δυαδικές σχέσεις, το οποίο αποτέλεσε την βάση της σχεσιακής άλγεβρας και των Μεταμαθηματικών που απασχόλησαν τον Τάρσκι και τους μαθητές του για το υπόλοιπο της ζωής του.

In 1929 he showed that much of Euclidean solid geometry could be recast as a first-order theory whose individuals are spheres(a primitive notion), a single primitive binary relation"is contained in", and two axioms that, among other things, imply that containment partially orders the spheres.
Το 1929 έδειξε ότι μέρος της Ευκλείδειας Στερεομετρίας θα μπορούσε να αναδιατυπωθεί ως μια πρώτης τάξης θεωρία της οποίας τα άτομα είναι σφαίρες(μία θεμελιακή έννοια), ως μία θεμελιακή δυαδική σχέση" περιέχεται σε", και ως δύο αξιώματα που, μεταξύ άλλων, υποδηλώνουν ότι αυτή η δυαδική σχέση διατάσσει μερικώς τις σφαίρες.

If one object consists of a set X with a binary relation R and the other object consists of a set Y with a binary relation S then an isomorphism from X to Y is a bijective function ƒ: X→ Y such that:[2].
Αν ένα αντικείμενο αποτελείται από ένα σύνολο X με μια δυαδική σχέση R και το άλλο αντικείμενο αποτελείται από ένα σύνολο Y με μια δυαδική σχέση S, τότε ένας ισομορφισμός από το X προς το Y είναι μια ένα προς ένα(1-1) και επί συνάρτηση ƒ: X→ Y τέτοια ώστε:[2].

In general terms, a calculus is a formal system that consists of a set of syntactic expressions(well-formed formulas), a distinguished subset of these expressions(axioms), plus a set of formal rules that define a specific binary relation, intended to be interpreted as logical equivalence, on the space of expressions.
Σε γενικές γραμμές, ένας λογισμός είναι ένα τυπικό σύστημα που αποτελείται από ένα σύνολο συντακτικών εκφράσεων(καλοσχηματισμένων τύπων), ένας διακεκριμένος υποσύνολο αυτών των εκφράσεων(αξιώματα), καθώς και μια σειρά από τυπικούς κανόνες που ορίζουν μια συγκεκριμένη δυαδική σχέση, με σκοπό να ερμηνευθεί ως λογική ισοδυναμία, από το χώρο της εκδήλωσης.

This yields a convenient way of generating an equivalence relation: given any binary relation R on X, the equivalence relation generated by R is the smallest equivalence relation containing R. Concretely, R generates the equivalence relation if.
Αυτό παρέχει ένα βολικό τρόπο για να παράγει μια σχέση ισοδυναμίας: Για οποιαδήποτε δυαδική σχέση R στο X, η σχέση ισοδυναμίας που παράγεται από την R είναι η μικρότερη σχέση ισοδυναμίας που περιέχει R.

Like some parts of universal algebra, and in contrast with the other areas of model theory, it is mainly concerned with finite algebras, or more generally, with finite σ-structures for signatures σ which may contain relation symbols as in the following example: The standard signature for graphs is σgrph={E}, where E is a binary relation symbol.
Όπως και κάποιες περιοχές της καθολικής άλγεβρας, και σε αντίθεση με τις άλλες περιοχές της θεωρίας μοντέλων, ασχολείται κυρίως με πεπερασμένες άλγεβρες, ή γενικότερα με πεπερασμένες σ-δομές για υπογραφές σ που μπορούν να περιέχουν σύμβολα σχέσεων όπως στο εξής παράδειγμα: Η υπογραφή των γράφων είναι σgrph={E}, όπου το E είναι δυαδικό σύμβολο σχέσης.