Gourt > Science > Math > Logic and Foundations > Computational Logic > Combinatory Logic and Lambda Calculus (3)
Calculus is a central branch of mathematics, developed from algebra and geometry. It is built on two major complementary ideas, both of which rely critically on the concept of limits. The first is differential calculus, which is concerned with the instantaneous rate of change of quantities with respect to other quantities, or more precisely, the local behavior of functions. This can be illustrated by the slope of a function's graph. The second is integral calculus, which studies the accumulation of quantities, such as areas under a curve, linear distance traveled, or volume displaced. These two processes act inversely to each other, a fact delivered conclusively by the fundamental theorem of calculus.
Examples of typical differential calculus problems include:
- finding the acceleration and velocity of a free-falling body at a particular moment.
Studying Lambda Calculus, Lambda Reductions, and Combinatory Logic
Jaakuuta (Jon M) Sun, 20 Sep 2009 19:01:53 -0000
Studying Lambda Calculus, Lambda Reductions, and Combinatory Logic
Dual Identity Combinators - Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the formulae-as-types sense, to combinatory logic.
Kolmogorov Complexity in Combinatory Logic - Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
Lambda - An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions.
Meta Description: [ Lambda Calculus - two simple interpreters for the Lambda Calculus one strict, one lazy, with example programs that can be run via the web. ]
404
Perl Contains the Lambda-Calculus - Explains why this computer program is well suited to apply to functional application.
| Lambda Lists Demo | |
| Next Video | |
