Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective Consisting of or involving a
single element orcomponent . - adjective mathematics, programming, computer engineering Of an
operation ,function ,procedure , orlogic gate , taking exactly oneoperand ,argument ,parameter , orinput ; havingdomain ofdimension 1. - noun mathematics The unary numeral system; the
bijective base-1 numeral system. - noun information theory Unary coding, an entropy encoding for
natural numbers .
from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.
- adjective consisting of or involving a single element or component
Etymologies
from Wiktionary, Creative Commons Attribution/Share-Alike License
Support
Help support Wordnik (and make this page ad-free) by adopting the word unary.
Examples
-
You get one guess as to what the unary influence resulting in this policy is.
-
Three unary propositional functions are defined, one corresponding to classical negation, as well as seven binary functions, including classical disjunction, conjunction and equivalence.
Hans Reichenbach Glymour, Clark 2008
-
Thus, without loss of generality, it is sufficient to consider unary functions.
Combinatory Logic Bimbó, Katalin 2008
-
For example, if a unary function is considered as a set of ordered pairs, then the domain and codomain are given by the first and second projections, respectively.
Combinatory Logic Bimbó, Katalin 2008
-
The language of arithmetic does not contain the unary predicate symbol T.
Axiomatic Theories of Truth Halbach, Volker 2007
-
Graphs, of the oriented kind arising in say automata theory where multiple edges may connect the same two vertices, can be organized as algebras having two unary operations s and t satisfying s (s (x)) =
Algebra Pratt, Vaughan 2007
-
There are 3 types of messages - unary, binary and keyword
smalltalk: philosophy, metaphor, semantics, syntax Bill Kerr 2007
-
Peirce defines a large number of unary and binary operators on these three truth values.
Peirce's Logic Hammer, Eric 2007
-
There are 3 types of messages - unary, binary and keyword
Archive 2007-09-01 Bill Kerr 2007
-
It has as individual constant only the symbol 0 for zero; its only function symbols is the unary successor symbol S; addition and multiplication are expressed by predicate symbols.
Axiomatic Theories of Truth Halbach, Volker 2007
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.