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) » « Shrink index
Abraham Halevi (Adolf) Fraenkel (אברהם הלוי (אדולף) פרנקל; February 17, 1891 – October 15, 1965), known as Abraham Fraenkel, was a German-born Israeli mathematician.
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.
In logic, mathematics, and computer science, the arity of a function or operation is the number of arguments or operands that the function takes.
Azriel Lévy (Hebrew: עזריאל לוי; born c. 1934) is an Israeli mathematician, logician, and a professor emeritus at the Hebrew University of Jerusalem.
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.
In mathematics, the cardinality of a set is a measure of the "number of elements of the set".
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.
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 deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
Discrete mathematics is the study of mathematical structures that are fundamentally discrete rather than continuous.
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.
In mathematics, an element, or member, of a set is any one of the distinct objects that make up that set.
In mathematics, specifically in category theory, an exponential object or map object is the categorical generalization of a function space in set theory.
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.
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.
was a Japanese mathematician, known for his work in proof theory.
Graduate Texts in Mathematics (GTM) (ISSN 0072-5285) is a series of graduate-level textbooks in mathematics published by Springer-Verlag.
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.
In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements.
An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").
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 J. Devlin (born 16 March 1947) is a British mathematician and popular science writer.
Latin (Latin: lingua latīna) is a classical language belonging to the Italic branch of the Indo-European languages.
Linguistics is the scientific study of language, and involves an analysis of language form, language meaning, and language in context.
Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation.
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
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.
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.
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.
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.
In mathematics, an ordered pair (a, b) is a pair of objects.
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 (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 is the number of complete sets of chromosomes in a cell, and hence the number of possible alleles for autosomal and pseudoautosomal genes.
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.
In number theory, a prime k-tuple is a finite collection of values representing a repeatable pattern of differences between prime numbers.
Probability theory is the branch of mathematics concerned with probability.
In programming languages and type theory, a product of types is another, compounded, type in a structure.
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
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).
In mathematics, the quaternions are a number system that extends the complex numbers.
In computer science, a record (also called a structure, struct, or compound data) is a basic data structure.
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, 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.
A relational database is a digital database based on the relational model of data, as proposed by E. F. Codd in 1970.
The Resource Description Framework (RDF) is a family of World Wide Web Consortium (W3C) specifications originally designed as a metadata data model.
In the context of a relational database, a row—also called a tuple—represents a single, implicitly structured data item in a table.
In combinatorics, the rule of product or multiplication principle is a basic counting principle (a.k.a. the fundamental principle of counting).
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.
The Semantic Web is an extension of the World Wide Web through standards by the World Wide Web Consortium (W3C).
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed.
In mathematics, a set is a collection of distinct objects, considered as an object in its own right.
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
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.
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.
A tuple space is an implementation of the associative memory paradigm for parallel/distributed computing.
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.
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).
When used without any further description, vector usually refers either to.
Yehoshua Bar-Hillel (יהושע בר-הלל; 8 September 1915, Vienna – 25 September 1975, Jerusalem) was an Israeli philosopher, mathematician, and linguist.
-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.