lógica combinatoria
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 · Español
La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de la computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar matemáticamente).
Abstract from DBpedia / Wikipedia · CC BY-SA