English translation for "unaire"

adj. unary, of a mathematical function whose domain is a given set and whose range falls within the set

Example Sentences:

	1.	The primitive functions are the unary successor function, denoted by prefix S , {\displaystyle \ S,} , and two binary operations, addition and multiplication, denoted by infix "+" and " ⋅ {\displaystyle \cdot } ", respectively. Les fonctions primitives sont la fonction successeur unaire, notée par le préfixe S ,
	2.	Later versions of set theory often assume that all objects are sets so there are no urelements and there is no need for the unary predicate. Les versions ultérieures de la théorie des ensembles partent souvent du principe que tous les objets sont des ensembles, donc il n'y a pas d'urelements et il n'y a pas besoin du prédicat unaire.
	3.	He chose the axioms, in the language of a single unary function symbol S (short for "successor"), for the set of natural numbers to be: There is a natural number 0. Il a choisi les axiomes, dans le langage d'un seul symbole de fonction unaire S (abréviation de « successeur »), qui sont, pour l'ensemble des entiers naturels : Il existe un entier naturel 0.
	4.	Zermelo's language implicitly includes a membership relation ∈, an equality relation = (if it is not included in the underlying logic), and a unary predicate saying whether an object is a set. Le langage de Zermelo comprend implicitement de la relation d'appartenance ∈, une relation d'égalité = (si elle n'est pas incluse dans la logique sous-jacente), et un prédicat unaire disant si un objet est un ensemble ou non.
	5.	To allow INTERCAL to run on computers using ASCII, substitutions for two characters had to be made: $ substituted for ¢ as the mingle operator, "represent the increasing cost of software in relation to hardware", and ? was substituted for ⊻ as the unary exclusive-or operator to "correctly express the average person's reaction on first encountering exclusive-or". Afin de permettre à INTERCAL de fonctionner sur des ordinateurs utilisant l'ASCII, des substitutions durent être faites sur deux caractères : $ remplaça ¢ en tant qu'opérateur MINGLE ("mélanger"), lequel "représente le coût croissant du logiciel comparativement au matériel", et ? remplaça ∀ comme opérateur ou exclusif unaire pour "exprimer correctement la réaction de l'individu moyen lors de sa première rencontre avec un ou exclusif unaire".
	6.	To allow INTERCAL to run on computers using ASCII, substitutions for two characters had to be made: $ substituted for ¢ as the mingle operator, "represent the increasing cost of software in relation to hardware", and ? was substituted for ⊻ as the unary exclusive-or operator to "correctly express the average person's reaction on first encountering exclusive-or". Afin de permettre à INTERCAL de fonctionner sur des ordinateurs utilisant l'ASCII, des substitutions durent être faites sur deux caractères : $ remplaça ¢ en tant qu'opérateur MINGLE ("mélanger"), lequel "représente le coût croissant du logiciel comparativement au matériel", et ? remplaça ∀ comme opérateur ou exclusif unaire pour "exprimer correctement la réaction de l'individu moyen lors de sa première rencontre avec un ou exclusif unaire".

Similar Words：

"unai simón" English translation, "unai uribarri" English translation, "unai vencedor" English translation, "unai vergara" English translation, "unai yus" English translation, "unaizah" English translation, "unakite" English translation, "unalakleet" English translation, "unalakleet (rivière)" English translation