Lógica combinatória
Sign in to savelogical formalism using combinators instead of variables
Wikidata facts
- Instance of
- academic discipline
- Subclass of
- logic
Show 3 more facts
- maintained by WikiProject
- WikiProject Mathematics
- Stack Exchange tag
- cstheory.stackexchange.com/tags/combinatory-logic
- topic's main category
- Category:Combinatory logic
Sources (3)
via Wikidata · CC0
Article · Português
Lógica combinatória é uma notação introduzida por Moses Schönfinkel e Haskell Curry para eliminar a necessidade de variáveis em lógica matemática. Vem sendo mais usada recentemente na ciência da computação como um modelo de computação e como base para o desenvolvimento de linguagens de programação funcionais. Ela é baseada em combinadores, somente usam aplicações de funções e outros combinadores para definir um resultado a partir de seus parâmetros.
Abstract from DBpedia / Wikipedia · CC BY-SA