搜索结果: 1-4 共查到“数学 truth”相关记录4条 . 查询时间(0.055 秒)
MATHEMATICS IS A QUEST FOR TRUTH
MATHEMATICS TRUTH
2015/12/17
The question of how to teach mathematics in primary and secondary education
has appeared in newspaper opinion pages regularly during the last few years. The
topic is a complicated one and does not a...
Counting good truth assignments of random k-SAT formulae
Random k-SAT Correlation Decay Uniqueness Gibbs Distribution
2015/8/21
We present a deterministic approximation algorithm to compute logarithm of the number of ‘good’ truth assignments for a random k-satisfiability (k-SAT) formula in polynomial time (by ‘good’ we m...
A Computational Complexity-Theoretic Elaboration of Weak Truth-Table Reducibility
algorithmic information theory algorithmic randomness weak truth-table reducibility
2011/9/14
Abstract: The notion of weak truth-table reducibility plays an important role in recursion theory. In this paper, we introduce an elaboration of this notion, where a computable bound on the use functi...
Compactly generating all satisfying truth assignments of a Horn formula
truth assignments Horn formula
2011/3/2
As instance of an overarching principle of exclusion an algorithm is presented that compactly (thus not one by one) generates all models of a Horn formula. The principle of exclusion can be adapted to...