 |
|
|
combinatory logic | A Wisdom Archive on combinatory logic | | combinatory logic A selection of articles related to combinatory logic | |
| |
combinatory logic, Combinatory logic - Applications, Combinatory logic - Combinatory calculi, Combinatory logic - Combinatory logic in computing, Combinatory logic - Combinatory logic in mathematics, Combinatory logic - Combinatory terms as graphs, Combinatory logic - Summary of the lambda calculus, Combinatory logic - Undecidability of combinatorial calculus, Combinatory logic - Combinatory terms, Combinatory logic - Compilation of functional languages, Combinatory logic - Completeness of the <b>S</b>-<b>K</b> basis, Combinatory logic - Examples of combinators, Combinatory logic - Logic, Combinatory logic - Reverse conversion, Combinatory logic - Simplifications of the transformation
| | | Page 1 Page 2 » Page 3 « More » | |
| |
| ARTICLES RELATED TO combinatory logic | | | |  combinatory logic: Encyclopedia II - Parameter - Probability theoryIn probability theory, one may describe the distribution of a random variable as belonging to a family of probability distributions, distinguished from each other by the values of a finite number of parameters. For example, one talks about "a Poisson distribution with mean value λ", or "a normal distribution with mean μ and variance σ2". The latter formulation and notation leaves some ambiguity whether σ or σ2 is the second parameter; the distinction is not always relevant.
It is possible to use the sequence of moments (mean, mean square, ...) or cumulants (mean, variance, .. ...
See also:Parameter, Parameter - Types of parameter, Parameter - Mathematical, Parameter - Computer science, Parameter - Logic, Parameter - Engineering, Parameter - Analytic geometry, Parameter - Mathematical analysis, Parameter - Probability theory, Parameter - Statistics Read more here: » Parameter: Encyclopedia II - Parameter - Probability theory |
| |
| | | | | combinatory logic: Encyclopedia II - Parameter - Analytic geometry In analytic geometry, curves are often given as the image of some function. The argument of the function is invariably called "the parameter". A circle of radius 1 centered at the origin can be specified in more than one form:
implicit form
x2 + y2 = 1
parametric form
(x,y) = (cost,sint)
where t is the parameter.
A somewhat more detailed d ...
See also:Parameter, Parameter - Types of parameter, Parameter - Mathematical, Parameter - Computer science, Parameter - Logic, Parameter - Engineering, Parameter - Analytic geometry, Parameter - Mathematical analysis, Parameter - Probability theory, Parameter - Statistics Read more here: » Parameter: Encyclopedia II - Parameter - Analytic geometry |
| |
| | | | | combinatory logic: Encyclopedia II - Mathematical logic - Topics in mathematical logic The main areas of mathematical logic include model theory, proof theory and recursion theory (often now referred to as computability theory). Axiomatic set theory is sometimes considered too. There are many overlaps with computer science, since many early pioneers in computer science, such as Alan Turing, were mathematicians and logicians.
The study of programming language semantics derives from model ...
See also:Mathematical logic, Mathematical logic - History, Mathematical logic - Topics in mathematical logic, Mathematical logic - Some fundamental results, Mathematical logic - Technical reference, Mathematical logic - First-order languages and structures, Mathematical logic - Terms formulas and sentences, Mathematical logic - Assignment functions, Mathematical logic - Logical satisfaction, Mathematical logic - Logical implication and truth, Mathematical logic - Variable substitution, Mathematical logic - Substitutability Read more here: » Mathematical logic: Encyclopedia II - Mathematical logic - Topics in mathematical logic |
| |
| | | | | combinatory logic: Encyclopedia II - Lambda calculus - Lambda calculus and programming languages Most programming languages are equivalent to the lambda calculus extended with some additional programming language constructs. The classical work where this viewpoint was put forward was Peter Landin's "A Correspondence between ALGOL 60 and Church's Lambda-notation", published in CACM in 1965. The key point is that the lambda calculus expresses the kind of procedural abstraction and application useful for any programming language. Prominently, functional programming languages are basically the lambda calculus with some constants and datatyp ...
See also:Lambda calculus, Lambda calculus - History, Lambda calculus - Informal description, Lambda calculus - Formal definition, Lambda calculus - α-conversion, Lambda calculus - β-reduction, Lambda calculus - η-conversion, Lambda calculus - Arithmetic in lambda calculus, Lambda calculus - Logic and predicates, Lambda calculus - Recursion, Lambda calculus - Computable functions and lambda calculus, Lambda calculus - Undecidability of equivalence, Lambda calculus - Lambda calculus and programming languages Read more here: » Lambda calculus: Encyclopedia II - Lambda calculus - Lambda calculus and programming languages |
| |
| | | | | combinatory logic: Encyclopedia II - List of paradoxes - Mathematical and statistical
List of paradoxes - Infinity.
Burali-Forti paradox: If the ordinal numbers formed a set, it would be an ordinal number which is smaller than itself.
Galileo's paradox: Though most numbers are not squares, there are no more numbers than squares. (See also Cantor, Diagonal Argument)
Hilbert's paradox of the Grand Hotel: If a hotel with infinitely many rooms is full, it can still take in more guests.
Monty Hell problem: Positive daily profits yield zero assets in the (infinite) limit ...
See also:List of paradoxes, List of paradoxes - Logical except mathematical, List of paradoxes - Semantic paradoxes, List of paradoxes - Vagueness, List of paradoxes - Mathematical and statistical, List of paradoxes - Infinity, List of paradoxes - Geometry and topology, List of paradoxes - Psychological and rational, List of paradoxes - Physical, List of paradoxes - Philosophical, List of paradoxes - Economic Read more here: » List of paradoxes: Encyclopedia II - List of paradoxes - Mathematical and statistical |
| |
| | | | | combinatory logic: Encyclopedia II - Parameter - Statistics In statistics, the probability framework above still holds, but attention shifts to estimating the parameters of a distribution based on observed data, or testing hypotheses about them. In classical estimation these parameters are considered "fixed but unknown", but in Bayesian estimation they are random variables with distributions of their own.
It is possible to make statistical inferences without assuming a particular parametric family of probability distributions. In that case, one speaks of non-parametric statistics ...
See also:Parameter, Parameter - Types of parameter, Parameter - Mathematical, Parameter - Computer science, Parameter - Logic, Parameter - Engineering, Parameter - Analytic geometry, Parameter - Mathematical analysis, Parameter - Probability theory, Parameter - Statistics Read more here: » Parameter: Encyclopedia II - Parameter - Statistics |
| |
| | | Page 1 Page 2 » Page 3 « More » | |
| |
|
|
