递归定义相关论文
本文通过数理逻辑和计算机科学中的递归定义引入了对苏轼庐山悟的阐述,从而对人们的一种认知模式和泛系相对性进行了探讨.它也表现......
本文采用理论分析与编程判断相结合的方法，获得了S的全部极大子群的生成元及子群的阶等结果．并将结果用于Sn（n=2，3，4，5，6）进行验证，表明了程......
采用归纳法的方法来定义n阶行列式 ,证明出定理 1 ,并在此基础上证明出行列式的诸条性质...
从方法论意义上说，递归方法是一种从简单到复杂、从低级到高级的可连续操作的解决问题的方法。它的每一步骤都是能行可操作的，各步骤......
本体概念过分模糊和庞大，不利于构建、共享和重用。该文从当前的研究和应用需求出发，给出一个强调论域的本体定义，是完善本体逻辑理论......
塔斯基的语义性真理论是否是符合论,这个问题自波普尔的肯定回答受到批评以来,便成为一个热点问题。到目前为止,按其争论双方的观......
陈晓平教授对塔斯基的“真”理论提出四点批评，并给出了使用“T′模式”作为真之定义的建议。但“T′模式”并不具有“内容恰当性”......
