  Communication
Install Faster access than browser!

# Tuple

In mathematics, a tuple is a finite ordered list (sequence) of elements. 

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, ... 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.

## 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.

## 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.

## 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.

## Cardinality

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

## 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.

## 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.

## 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.

## Discrete mathematics

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

## 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.

## Element (mathematics)

In mathematics, an element, or member, of a set is any one of the distinct objects that make up that set.

## 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.

## 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.

## 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.

## Gaisi Takeuti

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

## 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.

## 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.

## 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.

## Integer

An integer (from the Latin ''integer'' meaning "whole")Integer&#x2009;'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.

## Keith Devlin

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

## 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.

## Lisp (programming language)

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

## Mathematics

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

## 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.

## 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.

## 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.

## 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.

## 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.

## 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.

## Probability theory

Probability theory is the branch of mathematics concerned with probability.

## Product type

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

## 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.

## 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).

## Quaternion

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

## Record (computer science)

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

## 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).

## 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.

## Relational database

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

## 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.

## 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.

## 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).

## 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).

## 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.

## Set theory

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

## 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.

## Singleton (mathematics)

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

## 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.

## Tuple space

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

## 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.

## 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).

## Vector (mathematics and physics)

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

## Yehoshua Bar-Hillel

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

## References

Hey! We are on Facebook now! »