Sentence examples for computational content from inspiring English sources

Identifying the intension of a mathematical term with its computational content is a plausible thing to do.

Both type theory and explicit mathematics can be seen as expressing more directly the computational content of constructive mathematics.

Constructive and intuitionistic set theories display their computational content only indirectly through their semantic interpretations (see e.g. (Aczel 1977), (Lipton 1995) and the section on Semantic techniques).

However, in a context in which the computational content of a statement is considered to be crucial, an intensional theory might be more appropriate.

Kleene realizability revealed a fundamental computational content of formal intuitionistic derivations, however it is still quite different from the intended BHK semantics.

We investigate the effect that different choices of logical connective have on such calculi, and the resulting computational content.

The framework will require advanced computational methods for content understanding before higher-level attributes or overall image quality can be calculated.

All answers were recorded, transcribed, and subjected to computational linguistic and content analyses.

We used computational linguistic and content analyses to explore the concept of project ownership for undergraduate research.

(2012), which utilized a computational linguistic and content analysis approach to measure project ownership, differentiate among undergraduate research experiences, and show connections to student retention.

They claim only that some important computational descriptions are content-involving.