User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 06:38, 14 September 2016 (diff | hist) . . (+570) . . N Composition of relations (Created page with "In mathematics, the '''composition of binary relations''' is a concept of forming a new relation S ∘ R from two given relations R and S, having as i...") (current)
- 06:36, 14 September 2016 (diff | hist) . . (+1,009) . . N Function composition (Created page with "In mathematics, '''function composition''' is the pointwise application of one function to the result of another to produce a third function....") (current)
- 22:04, 13 September 2016 (diff | hist) . . (+2,492) . . N Category (mathematics) (Created page with "In mathematics, a '''category''' is an algebraic structure that comprises "objects" that are linked by "arrows". A category has two basic properties: the ability to c...")
- 21:56, 13 September 2016 (diff | hist) . . (+1,570) . . N Theory of Obligationes (Created page with "'''Obligationes''' or '''disputations de obligationibus''' were a medieval disputation format common in the 13th and 14th centuries, which had nothing to do with ethics or mor...") (current)
- 21:53, 13 September 2016 (diff | hist) . . (0) . . Game semantics (current)
- 21:51, 13 September 2016 (diff | hist) . . (+768) . . N Game semantics (Created page with "'''Game semantics''' (German: ''dialogische Logik'', translated as "dialogical logic") is an approach to formal semantics that grounds the concepts of [...")
- 21:45, 13 September 2016 (diff | hist) . . (+1,809) . . N Constructivism (mathematics) (Created page with "In the philosophy of mathematics, '''constructivism''' asserts that it is necessary to find (or "construct") a mathematical object to prove that it exists. == Descrip...") (current)
- 21:41, 13 September 2016 (diff | hist) . . (+64) . . Andrey Markov (current)
- 21:40, 13 September 2016 (diff | hist) . . (0) . . Andrey Markov
- 21:39, 13 September 2016 (diff | hist) . . (+1,293) . . N Andrey Markov (Created page with "'''Andrey (Andrei) Andreyevich Markov''' (Russian: '''Андре́й Андре́евич Ма́рков''', in older works also spelled '''Markoff''') (14 June 1856 N.S. –...")
- 21:35, 13 September 2016 (diff | hist) . . (+2,290) . . N Markov chain (Created page with "In probability theory and statistics, a '''Markov chain''' or '''Markoff chain''', named after the Russian mathematician Andrey Markov, is a stochastic process...")
- 21:26, 13 September 2016 (diff | hist) . . (+1,462) . . N Sample space (Created page with "In probability theory, the '''sample space''' of an experiment or random trial is the set of...") (current)
- 21:18, 13 September 2016 (diff | hist) . . (+1,260) . . N Experiment (probability theory) (Created page with "In probability theory, an '''experiment''' or '''trial''' is any procedure that can be infinitely repeated and has a well-defined set of possible out...") (current)
- 21:05, 13 September 2016 (diff | hist) . . (+995) . . N Bernoulli trial (Created page with "In the theory of probability and statistics, a '''Bernoulli trial''' (or '''binomial trial''') is a random experiment with exactly...") (current)
- 21:02, 13 September 2016 (diff | hist) . . (+1,430) . . N Event (probability theory) (Created page with "In probability theory, an '''event''' is a set of outcomes of an experiment (a subset...") (current)
- 20:55, 13 September 2016 (diff | hist) . . (+99) . . Bayes' theorem (current)
- 20:52, 13 September 2016 (diff | hist) . . (+1,856) . . N Bayes' theorem (Created page with "In probability theory and statistics, '''Bayes' theorem''' (alternatively '''Bayes' law''' or '''Bayes' rule''') describes the probability of an event, based on co...")
- 15:37, 13 September 2016 (diff | hist) . . (+262) . . Graph of a function (→See also)
- 14:31, 13 September 2016 (diff | hist) . . (+1,222) . . N Implicit function (Created page with "In mathematics, an '''implicit equation''' is a binary relation of the form R(x1,..., xn) = 0, where R is a function of several variables (o...") (current)
- 14:26, 13 September 2016 (diff | hist) . . (+839) . . N Functional equation (Created page with "In mathematics, a '''functional equation''' is any equation that specifies a function in implicit form. == Descriptio...") (current)
- 14:09, 13 September 2016 (diff | hist) . . (+1,571) . . N Numerical methods for ordinary differential equations (Created page with "'''Numerical methods for ordinary differential equations''' are methods used to find numerical approximations to the solutions of Ordinary differential equation|ordinary dif...") (current)
- 13:41, 13 September 2016 (diff | hist) . . (+1,319) . . N Quaternion (Created page with "In mathematics, the '''quaternions''' are a number system that extends the complex numbers. == Description == They were first described by Irish mathematician William...") (current)
- 13:37, 13 September 2016 (diff | hist) . . (0) . . Clifford algebra (→See also) (current)
- 13:26, 13 September 2016 (diff | hist) . . (+1,359) . . N Clifford algebra (Created page with "In mathematics, '''Clifford algebras''' are a type of associative algebra. As K-algebras, they generalize the real numbers, complex numbers, quaternions and several other...")
- 13:19, 13 September 2016 (diff | hist) . . (+2,926) . . N Geometric algebra (Created page with "A '''geometric algebra''' (GA) is a Clifford algebra of a vector space over the field of real numbers endowed with a quadratic form. == Descriptio...") (current)
- 13:09, 13 September 2016 (diff | hist) . . (+2,272) . . N Dimensional analysis (Created page with "In engineering and science, '''dimensional analysis''' is the analysis of the relationships between different physical quantities by identifying their fundamental dimensio...") (current)
- 13:04, 13 September 2016 (diff | hist) . . (0) . . Fermi problem (current)
- 12:53, 13 September 2016 (diff | hist) . . (+949) . . N Fermi problem (Created page with "In physics or engineering education, a '''Fermi problem''', '''Fermi quiz''', '''Fermi question''', '''Fermi estimate''', or '''order estimation''' is an estimation...")
- 12:41, 13 September 2016 (diff | hist) . . (+2,763) . . N Estimation theory (Created page with "'''Estimation theory''' is a branch of statistics that deals with estimating the values of parameters based on measured empirical data that has a random component. == Des...") (current)
- 11:29, 13 September 2016 (diff | hist) . . (+1,807) . . N Systems theory (Created page with "'''Systems theory''' or '''systems science''' is the interdisciplinary study of systems in general, with the goal of discovering patterns and elucidatin...") (current)
- 10:57, 13 September 2016 (diff | hist) . . (+1,691) . . N John Corcoran (Created page with "'''John Corcoran''' (born 1937) is a logician, philosopher, mathematician, and historian of logic. == Biography == He is best known for his philosophical wor...") (current)
- 10:53, 13 September 2016 (diff | hist) . . (+1,724) . . N Metavariable (Created page with "In logic, a '''metavariable''' (also '''metalinguistic variable''' or '''syntactical variable''') is a symbol or symbol string which belongs to a metalanguage and...") (current)
- 10:50, 13 September 2016 (diff | hist) . . (+68) . . Axiom schema (current)
- 10:49, 13 September 2016 (diff | hist) . . (+483) . . Axiom schema
- 10:33, 13 September 2016 (diff | hist) . . (+424) . . N Axiom schema (Created page with "In mathematical logic, an '''axiom schema''' (plural: '''axiom schemata''') generalizes the notion of axiom. == See also == * Axiom * Axiom schema of predicati...")
- 10:31, 13 September 2016 (diff | hist) . . (+3) . . Deductive system (→Description)
- 09:59, 13 September 2016 (diff | hist) . . (+1,289) . . N Deductive system (Created page with "In the mathematical logic of formal systems, a '''deductive system''' (also called a deductive apparatus of a formal system) consists of the Axiom|axio...")
- 09:55, 13 September 2016 (diff | hist) . . (+43) . . Theory (mathematical logic) (current)
- 09:48, 13 September 2016 (diff | hist) . . (+695) . . N Theory (mathematical logic) (Created page with "In mathematical logic, a '''theory''' (also called a '''formal theory''') is a set of sentences in a formal language. Usually a deductive system is understood fro...")
- 09:44, 13 September 2016 (diff | hist) . . (+549) . . Decidability (logic) (current)
- 09:41, 13 September 2016 (diff | hist) . . (+27) . . Undecidable problem (→See also) (current)
- 09:40, 13 September 2016 (diff | hist) . . (+151) . . Decidability (logic)
- 09:32, 13 September 2016 (diff | hist) . . (+56) . . Decidability (logic)
- 09:31, 13 September 2016 (diff | hist) . . (+226) . . Decidability (logic)
- 09:28, 13 September 2016 (diff | hist) . . (+843) . . N Decidability (logic) (Created page with "In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas, or, more pre...")
- 08:49, 13 September 2016 (diff | hist) . . (+844) . . N Frank Plumpton Ramsey (Created page with "'''Frank Plumpton Ramsey''' (22 February 1903 – 19 January 1930) was a precocious British philosopher, mathematician, and economist who died at the age of 26. He wa...") (current)
- 08:46, 13 September 2016 (diff | hist) . . (+305) . . N Theorem on friends and strangers (Created page with "In mathematics, the '''theorem on friends and strangers''' is a theorem in Ramsey theory. == See also == * Ramsey theory == External links == * [https://en...") (current)
- 08:35, 13 September 2016 (diff | hist) . . (+1,324) . . N Cross-cutting concern (Created page with "In aspect-oriented software development, '''cross-cutting concerns''' are aspects of a computer program that affect other Concern (...") (current)
- 08:29, 13 September 2016 (diff | hist) . . (-1) . . Parthenon (→External links) (current)
- 08:29, 13 September 2016 (diff | hist) . . (+690) . . N Grundy's game (Created page with "'''Grundy's game''' is a two-player mathematical game of strategy. The starting configuration is a single heap of objects, and the two players take turn splitting a singl...") (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
