递归规则相关论文
提出了应用SMT技术的多阶段FMS生产线设计与生产计划排程模型。由于SMT插置机器的高设备投资和短的使用寿命，模型的建立与求解都必......
Kowalski指出PROLOG程序容易产生无限循环。该文对PROLOG程序的可终止性进行了严格的定义，证明了不包含递归规则的PROLOG程序是可终......
本文讨论的内容共分三部分:不包含递归规则的系统,包含递归规则的系统,与包含非逻辑设施的系统。通过严格的定义和证明,给出了有关......
本文通过对现有的递归规则的并行计算方法以及并行计算的二分技术的讨论，提出了一种新颖的递归规则并行计算的基本策略，并给出了一种......
本文从左，右线性递归规则组的定义出发，提出了广义左，右线性递归规则组的定义，放宽了左，右线性递归规则组寻规则形式的限制，扩展了Ｕｌｌｍａｎ提出的......
弗雷格区分了涵义和指称,但是这个区分在间接引语中导致涵义无穷分层问题。克里普克对这个问题给出了一个解决方案,其要点在于亲知......
本文以丘奇—图灵论点为背景,论述了人类认知能力及其极限,提出了人类认知的可数无限性,和人的认知能力是受递归规律限制的观点。......
