能行可计算性相关论文
对现代密码机的攻击构成了现代密码学的中心问题。业已证明可把该问题归结成解一个具有n个未知数的布尔方程。事实上,为在一般意义......
论人工智能科学诞生的逻辑背景王建芳人工智能科学的诞生同其他许多自然科学相似,既需要一定的思想基础,又必须借助一定的物质手段。......
递归函数的根本特征在于其逐步计算和分解计算,即通过某函数带入到(返回,即“递归”)自身或另一个函数的变量来求解被带入函数。这个定......