Computable
31computable function — noun A mathematical function that can be computed using an abstract computation machine such as Turing machine …
32computable functions — Intuitively, any function for which there is an effective procedure or algorithm for calculating a solution. Mathematically, a function whose value can be computed by a Turing machine …
33Número computable — En matemáticas, especialmente en ciencia computacional teórica y lógica matemática, los números computables o recursivos son los números reales que pueden ser computados con la precisión que se desee por un algoritmo finito. Se puede llegar al… …
34Función computable — Las funciones computables son el objeto básico de estudio de la teoría de la computabilidad y son, específicamente, las funciones que pueden ser calculadas por una máquina de Turing. Contenido 1 Introducción 2 Definición 3 Comentarios …
35Programming language for Computable Functions — The Programming language for Computable Functions, or PCF, is a typed functional language introduced by Gordon Plotkin in 1977. It is based on the Logic of Computable Functions (LCF) by Dana Scott. It can be considered as a simplified version of… …
36ICES Intertemporal Computable Equilibrium System — affects regional and world economies. The model has been developed at the Climate Change Modelling and Policy Research Programme of the Fondazione Eni Enrico Mattei – FEEM, a research institution in the field of sustainable development.… …
37Turing computable function — noun Any function whose value may be computed using a Turing machine …
38compute — computable, adj. computability, n. computably, adv. computist /keuhm pyooh tist, kom pyoo /, n. /keuhm pyooht /, v., computed, computing, n. v.t. 1. to determine by calculation; reckon; calculate: to compute the period of Jupiter s revolution. 2 …
39CGE — Computable General Equilibrium (Academic & Science » Chemistry) * Central Government Expenditure (Governmental » US Government) * Cresol Glycidyl Ether (Miscellaneous » Plastics) * Cambridge, Maryland USA (Regional » Airport Codes) …
40Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… …
