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 Fraenkel

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 ·

## Arity

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

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 ·

## Binary relation

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 ·

## Cardinality

In mathematics, the cardinality of a set is a measure of the "number of elements of the set".

New!!: Tuple and Cardinality ·

## Combinatorics

Combinatorics is a branch of mathematics concerning the study of finite or countable discrete structures.

New!!: Tuple and Combinatorics ·

## Complex number

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

Discrete mathematics is the study of mathematical structures that are fundamentally discrete rather than continuous.

New!!: Tuple and Discrete mathematics ·

## Element (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) ·

## Exponential object

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 ·

## Formal language

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 ·

## Functional programming

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 ·

## Gaisi Takeuti

is a Japanese mathematician, known for his work in proof theory.

New!!: Tuple and Gaisi Takeuti ·

## Graduate Texts in Mathematics

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.

New!!: Tuple and Graduate Texts in Mathematics ·

## If and only if

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 Devlin

Keith J. Devlin is a British mathematician and popular science writer.

New!!: Tuple and Keith Devlin ·

## Latin

Latin (Latin: lingua latīna) is a classical language belonging to the Italic branch of the Indo-European languages.

New!!: Tuple and Latin ·

## Linguistics

Linguistics is the scientific study of language.

New!!: Tuple and Linguistics ·

## Mathematics

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 ·

## Model theory

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 ·

## Multiset

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 ·

## Octonion

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 ·

## Ordered pair

In mathematics, an ordered pair (a, b) is a pair of mathematical objects.

New!!: Tuple and Ordered pair ·

## Philosophy

Philosophy is the study of the general and fundamental nature of reality, existence, knowledge, values, reason, mind, and language.

New!!: Tuple and Philosophy ·

## Preprint

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 ·

## Prime k-tuple

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

Probability theory is the branch of mathematics concerned with probability, the analysis of random phenomena.

New!!: Tuple and Probability theory ·

## Product type

In programming languages and type theory, a product of types is another, compounded, type in a structure.

New!!: Tuple and Product type ·

## Programming language

A programming language is a formal constructed language designed to communicate instructions to a machine, particularly a computer.

New!!: Tuple and Programming language ·

## Projection (mathematics)

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) ·

## Quaternion

In mathematics, the quaternions are a number system that extends the complex numbers.

New!!: Tuple and Quaternion ·

## Record (computer science)

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) ·

## Recursive definition

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

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 ·

## Resource Description Framework

The Resource Description Framework (RDF) is a family of World Wide Web Consortium (W3C) specifications originally designed as a metadata data model.

New!!: Tuple and Resource Description Framework ·

## Rule of product

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 ·

## Sedenion

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 ·

## Semantic Web

The Semantic Web is an extension of the Web through standards by the World Wide Web Consortium (W3C).

New!!: Tuple and Semantic Web ·

## Sequence

In mathematics, a sequence is an ordered collection of objects in which repetitions are allowed.

New!!: Tuple and Sequence ·

## Set (mathematics)

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

Set theory is the branch of mathematical logic that studies sets, which informally are collections of objects.

New!!: Tuple and Set theory ·

## Simply typed lambda calculus

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.

New!!: Tuple and Simply typed lambda calculus ·

## Singleton (mathematics)

In mathematics, a singleton, also known as a unit set, is a set with exactly one element.

New!!: Tuple and Singleton (mathematics) ·

## Tuple space

A tuple space is an implementation of the associative memory paradigm for parallel/distributed computing.

New!!: Tuple and Tuple space ·

## Type theory

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 ·

## Unit type

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 ·

## Vector (mathematics and physics)

When used without any further description, vector refers either to.

New!!: Tuple and Vector (mathematics and physics) ·

## Yehoshua Bar-Hillel

Yehoshua Bar-Hillel (יהושע בר-הלל; 8 September 1915, Vienna – 25 September 1975, Jerusalem) was an Israeli philosopher, mathematician, and linguist.

New!!: Tuple and Yehoshua Bar-Hillel ·