61 relations: Abraham Fraenkel, Algebraic data type, Arity, Azriel Lévy, Binary relation, Cardinality, Combinatorics, Complex number, Computer science, Discrete mathematics, Dynamic programming language, Element (mathematics), Exponential object, Formal language, Functional programming, Gaisi Takeuti, Graduate Texts in Mathematics, Greek language, If and only if, Integer, Java (programming language), Keith Devlin, Latin, Linguistics, Lisp (programming language), Mathematics, Medieval Latin, Model theory, Multiset, Octonion, Ordered pair, Pattern matching, Philosophy, Ploidy, Preprint, Prime k-tuple, Probability theory, Product type, Programming language, Projection (mathematics), Quaternion, Record (computer science), Recursive definition, Relational algebra, Relational database, Resource Description Framework, Row (database), Rule of product, Sedenion, Semantic Web, ..., Sequence, Set (mathematics), Set theory, Simply typed lambda calculus, Singleton (mathematics), Struct (C programming language), Tuple space, Type theory, Unit type, Vector (mathematics and physics), Yehoshua Bar-Hillel. Expand index (11 more) »

## Abraham Fraenkel

Abraham Halevi (Adolf) Fraenkel (אברהם הלוי (אדולף) פרנקל; February 17, 1891 – October 15, 1965), known as Abraham Fraenkel, was a German-born Israeli mathematician.

New!!: Tuple and Abraham Fraenkel · See more »

## Algebraic data type

In computer programming, especially functional programming and type theory, an algebraic data type is a kind of composite type, i.e., a type formed by combining other types.

New!!: Tuple and Algebraic data type · See more »

## Arity

In logic, mathematics, and computer science, the arity of a function or operation is the number of arguments or operands that the function takes.

New!!: Tuple and Arity · See more »

## 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 · See more »

## Binary relation

In mathematics, a binary relation on a set A is a set of ordered pairs of elements of A. In other words, it is a subset of the Cartesian product A2.

New!!: Tuple and Binary relation · See more »

## Cardinality

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

New!!: Tuple and Cardinality · See more »

## Combinatorics

Combinatorics is an area of mathematics primarily concerned with counting, both as a means and an end in obtaining results, and certain properties of finite structures.

New!!: Tuple and Combinatorics · See more »

## Complex number

A complex number is a number that can be expressed in the form, where and are real numbers, and is a solution of the equation.

New!!: Tuple and Complex number · See more »

## Computer science

Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.

New!!: Tuple and Computer science · See more »

## Discrete mathematics

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

New!!: Tuple and Discrete mathematics · See more »

## Dynamic programming language

Dynamic programming language, in computer science, is a class of high-level programming languages which, at runtime, execute many common programming behaviors that static programming languages perform during compilation.

New!!: Tuple and Dynamic programming language · See more »

## 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) · See more »

## Exponential object

In mathematics, specifically in category theory, an exponential object or map object is the categorical generalization of a function space in set theory.

New!!: Tuple and Exponential object · See more »

## Formal language

In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols together with a set of rules that are specific to it.

New!!: Tuple and Formal language · See more »

## 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 · See more »

## Gaisi Takeuti

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

New!!: Tuple and Gaisi Takeuti · See more »

## Graduate Texts in Mathematics

Graduate Texts in Mathematics (GTM) (ISSN 0072-5285) is a series of graduate-level textbooks in mathematics published by Springer-Verlag.

New!!: Tuple and Graduate Texts in Mathematics · See more »

## Greek language

Greek (Modern Greek: ελληνικά, elliniká, "Greek", ελληνική γλώσσα, ellinikí glóssa, "Greek language") is an independent branch of the Indo-European family of languages, native to Greece and other parts of the Eastern Mediterranean and the Black Sea.

New!!: Tuple and Greek language · See more »

## 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 · See more »

## Integer

An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").

New!!: Tuple and Integer · See more »

## Java (programming language)

Java is a general-purpose computer-programming language that is concurrent, class-based, object-oriented, and specifically designed to have as few implementation dependencies as possible.

New!!: Tuple and Java (programming language) · See more »

## Keith Devlin

Keith J. Devlin (born 16 March 1947) is a British mathematician and popular science writer.

New!!: Tuple and Keith Devlin · See more »

## Latin

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

New!!: Tuple and Latin · See more »

## Linguistics

Linguistics is the scientific study of language, and involves an analysis of language form, language meaning, and language in context.

New!!: Tuple and Linguistics · See more »

## Lisp (programming language)

Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation.

New!!: Tuple and Lisp (programming language) · See more »

## Mathematics

Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.

New!!: Tuple and Mathematics · See more »

## Medieval Latin

Medieval Latin was the form of Latin used in the Middle Ages, primarily as a medium of scholarly exchange, as the liturgical language of Chalcedonian Christianity and the Roman Catholic Church, and as a language of science, literature, law, and administration.

New!!: Tuple and Medieval Latin · See more »

## 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 · See more »

## Multiset

In mathematics, a multiset (aka bag or mset) is a modification of the concept of a set that, unlike a set, allows for multiple instances for each of its elements.

New!!: Tuple and Multiset · See more »

## 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 three lower-dimensional normed division algebras over the reals: the real numbers R themselves, the complex numbers C, and the quaternions H. The octonions have eight dimensions; twice the number of dimensions of the quaternions, of which they are an extension.

New!!: Tuple and Octonion · See more »

## Ordered pair

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

New!!: Tuple and Ordered pair · See more »

## Pattern matching

In computer science, pattern matching is the act of checking a given sequence of tokens for the presence of the constituents of some pattern.

New!!: Tuple and Pattern matching · See more »

## Philosophy

Philosophy (from Greek φιλοσοφία, philosophia, literally "love of wisdom") is the study of general and fundamental problems concerning matters such as existence, knowledge, values, reason, mind, and language.

New!!: Tuple and Philosophy · See more »

## Ploidy

Ploidy is the number of complete sets of chromosomes in a cell, and hence the number of possible alleles for autosomal and pseudoautosomal genes.

New!!: Tuple and Ploidy · See more »

## Preprint

In academic publishing, a preprint is a version of a scholarly or scientific paper that precedes publication in a peer-reviewed scholarly or scientific journal.

New!!: Tuple and Preprint · See more »

## 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 · See more »

## Probability theory

Probability theory is the branch of mathematics concerned with probability.

New!!: Tuple and Probability theory · See more »

## Product type

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

New!!: Tuple and Product type · See more »

## Programming language

A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.

New!!: Tuple and Programming language · See more »

## 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) · See more »

## Quaternion

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

New!!: Tuple and Quaternion · See more »

## Record (computer science)

In computer science, a record (also called a structure, struct, or compound data) is a basic data structure.

New!!: Tuple and Record (computer science) · See more »

## 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 · See more »

## Relational algebra

Relational algebra, first created by Edgar F. Codd while at IBM, is a family of algebras with a well-founded semantics used for modelling the data stored in relational databases, and defining queries on it.

New!!: Tuple and Relational algebra · See more »

## Relational database

A relational database is a digital database based on the relational model of data, as proposed by E. F. Codd in 1970.

New!!: Tuple and Relational database · See more »

## 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 · See more »

## Row (database)

In the context of a relational database, a row—also called a tuple—represents a single, implicitly structured data item in a table.

New!!: Tuple and Row (database) · See more »

## 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 · See more »

## 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 · See more »

## Semantic Web

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

New!!: Tuple and Semantic Web · See more »

## Sequence

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

New!!: Tuple and Sequence · See more »

## 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) · See more »

## Set theory

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

New!!: Tuple and Set theory · See more »

## 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 · See more »

## Singleton (mathematics)

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

New!!: Tuple and Singleton (mathematics) · See more »

## Struct (C programming language)

A struct in the C programming language (and many derivatives) is a composite data type (or record) declaration that defines a physically grouped list of variables to be placed under one name in a block of memory, allowing the different variables to be accessed via a single pointer, or the struct declared name which returns the same address.

New!!: Tuple and Struct (C programming language) · See more »

## Tuple space

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

New!!: Tuple and Tuple space · See more »

## 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 · See more »

## 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 · See more »

## Vector (mathematics and physics)

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

New!!: Tuple and Vector (mathematics and physics) · See more »

## 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 · See more »

## Redirects here:

-tuple, 0-tuple, 1-tuple, 10-tuple, 100-tuple, 11-tuple, 12-tuple, 2-tuple, 3-tuple, 4-tuple, 5-tuple, 6-tuple, 7-tuple, 8-tuple, 9-tuple, Centuple, Decuple, Double (mathematics), Duodecuple, Elementary relation, Empty tuple, Groups of numbers, Hendecuple, Hextuple, K-tuple, N-tuple, N-tuples, Nested tuples, Nonuple, Ntuple, Octuple, Ordered triple, Quadruple (mathematics), Quintuple, Septuple, Sextuple, Single (mathematics), Triple (mathematics), Tuple (mathematics), Tuple notation, Tuples, Tupple, Undecuple.

## References

[1] https://en.wikipedia.org/wiki/Tuple