combinatory logic

combinatory logic
Model of computation based on combinators.

Wikipedia foundation.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… …   Wikipedia

  • combinatory logic — kombinatorinė logika statusas T sritis automatika atitikmenys: angl. combinational logic; combinatory logic; combinatorial logic vok. kombinatorische Logik, f; Schaltlogik, f rus. комбинаторная логика, f pranc. logique combinatoire, f …   Automatikos terminų žodynas

  • combinatory logic — noun : a branch of symbolic logic that deals especially with the notion of substitution and the eliminability of variables in favor of special function symbols …   Useful english dictionary

  • Binary combinatory logic — (BCL) is a formulation of combinatory logic using only the symbols 0 and 1. BCL has applications in the theory of program size complexity (Kolmogorov complexity). DefinitionyntaxBackus ndash;Naur form: * ::= 00 | 01 | 1 emanticsThe denotational… …   Wikipedia

  • Combinatory categorial grammar — (CCG) is an efficiently parseable, yet linguistically expressive grammar formalism. It has a transparent interface between surface syntax and underlying semantic representation, including predicate argument structure, quantification and… …   Wikipedia

  • Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… …   Wikipedia

  • logic — n. 1) to apply, use logic 2) clear; cold; irrefutable; simple logic 3) deductive; formal; inductive; symbolic logic 4) logic in (there is no logic in their policy) * * * [ lɒdʒɪk] cold formal inductive irrefutable simple logic …   Combinatory dictionary

  • Category:Logic in computer science — Logic in computer science is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains: Those investigations into logic that are guided by applications in computer… …   Wikipedia

  • Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… …   Wikipedia

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”