48 relations: Abraham Fraenkel, Arity, Azriel Lévy, Binary relation, Cardinality, Combinatorics, Complex number, Discrete mathematics, Element (mathematics), Exponential object, Formal language, Functional programming, Gaisi Takeuti, Graduate Texts in Mathematics, If and only if, Keith Devlin, Latin, Linguistics, Mathematics, Model theory, Multiset, Octonion, Ordered pair, Philosophy, Preprint, Prime k-tuple, Probability theory, Product type, Programming language, Projection (mathematics), Quaternion, Record (computer science), Recursive definition, Relational algebra, Resource Description Framework, Rule of product, Sedenion, Semantic Web, Sequence, Set (mathematics), Set theory, Simply typed lambda calculus, Singleton (mathematics), Tuple space, Type theory, Unit type, Vector (mathematics and physics), Yehoshua Bar-Hillel.
Abraham Halevi (Adolf) Fraenkel (אברהם הלוי (אדולף) פרנקל; February 17, 1891, Munich, Germany – October 15, 1965, Jerusalem, Israel), known as Abraham Fraenkel, was a German-born Israeli mathematician.
New!!: Tuple and Abraham Fraenkel ·
In logic, mathematics, and computer science, the arity of a function or operation is the number of arguments or operands the function or operation accepts.
New!!: Tuple and Arity ·
Azriel Lévy (Hebrew: עזריאל לוי; born c. 1934) is an Israeli mathematician, logician, and a professor emeritus at the Hebrew University of Jerusalem.
New!!: Tuple and Azriel Lévy ·
In mathematics, a binary relation on a set A is a collection of ordered pairs of elements of A. In other words, it is a subset of the Cartesian product A2.
New!!: Tuple and Binary relation ·
In mathematics, the cardinality of a set is a measure of the "number of elements of the set".
New!!: Tuple and Cardinality ·
Combinatorics is a branch of mathematics concerning the study of finite or countable discrete structures.
New!!: Tuple and Combinatorics ·
A complex number is a number that can be expressed in the form, where and are real numbers and is the imaginary unit, that satisfies the equation.
New!!: Tuple and Complex number ·
Discrete mathematics is the study of mathematical structures that are fundamentally discrete rather than continuous.
New!!: Tuple and Discrete mathematics ·
In mathematics, an element, or member, of a set is any one of the distinct objects that make up that set.
New!!: Tuple and Element (mathematics) ·
In mathematics, specifically in category theory, an exponential object is the categorical equivalent of a function space in set theory.
New!!: Tuple and Exponential object ·
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols that may be constrained by rules that are specific to it.
New!!: Tuple and Formal language ·
In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.
New!!: Tuple and Functional programming ·
is a Japanese mathematician, known for his work in proof theory.
New!!: Tuple and Gaisi Takeuti ·
Graduate Texts in Mathematics (Grad. Texts in Math., GTM) (ISSN 0072-5285) is a series of graduate-level textbooks in mathematics published by Springer-Verlag.
In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements.
New!!: Tuple and If and only if ·
Keith J. Devlin is a British mathematician and popular science writer.
New!!: Tuple and Keith Devlin ·
Latin (Latin: lingua latīna) is a classical language belonging to the Italic branch of the Indo-European languages.
New!!: Tuple and Latin ·
Linguistics is the scientific study of language.
New!!: Tuple and Linguistics ·
Mathematics (from Greek μάθημα máthēma, “knowledge, study, learning”) is the study of topics such as quantity (numbers), structure, space, and change.
New!!: Tuple and Mathematics ·
In mathematics, model theory is the study of classes of mathematical structures (e.g. groups, fields, graphs, universes of set theory) from the perspective of mathematical logic.
New!!: Tuple and Model theory ·
In mathematics, a multiset (or bag) is a generalization of the concept of a set that, unlike a set, allows multiple instances of the multiset's elements.
New!!: Tuple and Multiset ·
In mathematics, the octonions are a normed division algebra over the real numbers, usually represented by the capital letter O, using boldface O or blackboard bold \mathbb O. There are only four such algebras, the other three being the real numbers R, the complex numbers C, and the quaternions H. The octonions are the largest such algebra, with eight dimensions; twice the number of dimensions of the quaternions, of which they are an extension.
New!!: Tuple and Octonion ·
In mathematics, an ordered pair (a, b) is a pair of mathematical objects.
New!!: Tuple and Ordered pair ·
Philosophy is the study of the general and fundamental nature of reality, existence, knowledge, values, reason, mind, and language.
New!!: Tuple and Philosophy ·
In academic publishing, a preprint is a draft of a scientific paper that has not yet been published in a peer-reviewed scientific journal.
New!!: Tuple and Preprint ·
In number theory, a prime k-tuple is a finite collection of values representing a repeatable pattern of differences between prime numbers.
New!!: Tuple and Prime k-tuple ·
Probability theory is the branch of mathematics concerned with probability, the analysis of random phenomena.
New!!: Tuple and Probability theory ·
In programming languages and type theory, a product of types is another, compounded, type in a structure.
New!!: Tuple and Product type ·
A programming language is a formal constructed language designed to communicate instructions to a machine, particularly a computer.
New!!: Tuple and Programming language ·
In mathematics, a projection is a mapping of a set (or other mathematical structure) into a subset (or sub-structure), which is equal to its square for mapping composition (or, in other words, which is idempotent).
New!!: Tuple and Projection (mathematics) ·
In mathematics, the quaternions are a number system that extends the complex numbers.
New!!: Tuple and Quaternion ·
In computer science, a record (also called struct or compound data) is a basic data structure (a tuple may or may not be considered a record, and vice versa, depending on conventions and the programming language at hand).
New!!: Tuple and Record (computer science) ·
A recursive definition (or inductive definition) in mathematical logic and computer science is used to define the elements in a set in terms of other elements in the set (Aczel 1978:740ff).
New!!: Tuple and Recursive definition ·
Relational algebra, first described by E.F. Codd while at IBM, is a family of algebra with a well-founded semantics used for modelling the data stored in relational databases, and defining queries on it.
New!!: Tuple and Relational algebra ·
The Resource Description Framework (RDF) is a family of World Wide Web Consortium (W3C) specifications originally designed as a metadata data model.
In combinatorics, the rule of product or multiplication principle is a basic counting principle (a.k.a. the fundamental principle of counting).
New!!: Tuple and Rule of product ·
In abstract algebra, the sedenions form a 16-dimensional noncommutative and nonassociative algebra over the reals obtained by applying the Cayley–Dickson construction to the octonions.
New!!: Tuple and Sedenion ·
The Semantic Web is an extension of the Web through standards by the World Wide Web Consortium (W3C).
New!!: Tuple and Semantic Web ·
In mathematics, a sequence is an ordered collection of objects in which repetitions are allowed.
New!!: Tuple and Sequence ·
In mathematics, a set is a collection of distinct objects, considered as an object in its own right.
New!!: Tuple and Set (mathematics) ·
Set theory is the branch of mathematical logic that studies sets, which informally are collections of objects.
New!!: Tuple and Set theory ·
The simply typed lambda calculus (\lambda^\to), a form of type theory, is a typed interpretation of the lambda calculus with only one type constructor: \to that builds function types.
In mathematics, a singleton, also known as a unit set, is a set with exactly one element.
New!!: Tuple and Singleton (mathematics) ·
A tuple space is an implementation of the associative memory paradigm for parallel/distributed computing.
New!!: Tuple and Tuple space ·
In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics.
New!!: Tuple and Type theory ·
In the area of mathematical logic and computer science known as type theory, a unit type is a type that allows only one value (and thus can hold no information).
New!!: Tuple and Unit type ·
When used without any further description, vector refers either to.
Yehoshua Bar-Hillel (יהושע בר-הלל; 8 September 1915, Vienna – 25 September 1975, Jerusalem) was an Israeli philosopher, mathematician, and linguist.
New!!: Tuple and Yehoshua Bar-Hillel ·