combinatory logic
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
