1) decideable
可判定的
2) judgements of n-order cycle matrix which is inverse
可逆的判定
1.
This paper introduces the definition,determinant and basic properties of n-order cycle matrix,furthermore gives the judgements of n-order cycle matrix which is inverse and find the calculations of the inverse matrix of n-order cycle matrix.
文章介绍了n阶循环矩阵的定义、n阶循环矩阵的行列式和其基本性质,并且进一步给出了n阶循环矩阵可逆的判定以及求n阶循环矩阵的逆矩阵的方法。
3) semidecidable
半可判定的
4) undecidability,undecidable
不可判定的
5) decidability
可判定性
1.
A Definition Framework of Spatial Logic and Decidability;
空间逻辑的一个定义框架及其可判定性
2.
Further more,he clarified the significance of the undecidability and the antinomies with his conclusion that mathematics does not have crisis.
以批判数学存在基础的各种哲学学派为逻辑起点,普特南围绕数学基础中出现危机的根源进行了深刻剖析,重解了数学上存在不可判定性命题的意义及二律背反的意义,从而得出了数学中不存在危机的结论。
6) decidable
[英][di'saidəbl] [美][dɪ'saɪdəbḷ]
可判定
1.
One of them is that it is not decidable and the other is that all the task knowledge in it has to be defined on an abstract logic level so it can not describe the concrete attributes of tasks.
针对任务逻辑存在的两个缺点:(1)不可判定,无法保证推理过程都能在有限的时间内结束;(2)任务的定义局限于抽象的、逻辑的定义,无法描述任务的具体属性和任务之间的关系,将描述性结构引入任务逻辑,构造了一个可描述具体属性的、可判定的任务逻辑系统———描述任务逻辑。
补充资料：可逆与不可逆
一切客观过程、特别是基本物理化学过程变化的顺序性。前者是指过程的可反演性，后者是指过程的不可反演性。
严格的物理学意义上的可逆性是指时间反演，即过程按相反的顺序进行。在经典力学的运动方程中，把时间参量 t换成-t，就意味着过程按相反的顺序历经原来的一切状态，最后回到初始状态。但实际上，机械运动过程总是受到各种复杂的随机因素的作用，因此完全的可逆性是不存在的。
严格的物理学意义上的不可逆性概念最初是由经典热力学提出的。它把热的过程区分为可逆的和不可逆的两种，并指出在一个封闭系统的热过程中，热量总是自发地从较热物体传输给较冷物体。热力学第二定律用熵的增加来描述这种不可逆过程。这个定律的统计解释表明，不可逆过程就是封闭的分子系统从有序状态趋向于无序状态。
20世纪40年代以来，系统论、控制论等学科的发展表明，任何开放系统即任何现实存在的系统不仅可以增熵，也可以从外界输入负熵而导致减熵。因此，决不能把时间的方向性唯一地同熵增对应起来，因为事实上也存在着熵减的不可逆过程。非平衡态热力学等新兴学科的发展又进一步表明，任何开放系统，包括我们所观察到的宇宙系统，都可以在远离平衡态的条件下形成某种有序的耗散结构（见耗散结构理论），从而阻止或延缓熵增过程。而且，一个非平衡态的开放系统在一定条件下既可能从无序到有序,也可能从有序到混乱。所以,不可逆过程是复杂的，既可以是熵增过程，也可以是熵减过程，即既可以是退化，也可以是进化。
自然界发展中的进化和退化是不可逆过程的两种形式。虽然自然界中的不可逆过程是绝对的，但有些过程在一定的条件下却表现出相对的可逆性，因此，人类可以创造条件，利用这种近似的可逆性。
严格的物理学意义上的可逆性是指时间反演，即过程按相反的顺序进行。在经典力学的运动方程中，把时间参量 t换成-t，就意味着过程按相反的顺序历经原来的一切状态，最后回到初始状态。但实际上，机械运动过程总是受到各种复杂的随机因素的作用，因此完全的可逆性是不存在的。
严格的物理学意义上的不可逆性概念最初是由经典热力学提出的。它把热的过程区分为可逆的和不可逆的两种，并指出在一个封闭系统的热过程中，热量总是自发地从较热物体传输给较冷物体。热力学第二定律用熵的增加来描述这种不可逆过程。这个定律的统计解释表明，不可逆过程就是封闭的分子系统从有序状态趋向于无序状态。
20世纪40年代以来，系统论、控制论等学科的发展表明，任何开放系统即任何现实存在的系统不仅可以增熵，也可以从外界输入负熵而导致减熵。因此，决不能把时间的方向性唯一地同熵增对应起来，因为事实上也存在着熵减的不可逆过程。非平衡态热力学等新兴学科的发展又进一步表明，任何开放系统，包括我们所观察到的宇宙系统，都可以在远离平衡态的条件下形成某种有序的耗散结构（见耗散结构理论），从而阻止或延缓熵增过程。而且，一个非平衡态的开放系统在一定条件下既可能从无序到有序,也可能从有序到混乱。所以,不可逆过程是复杂的，既可以是熵增过程，也可以是熵减过程，即既可以是退化，也可以是进化。
自然界发展中的进化和退化是不可逆过程的两种形式。虽然自然界中的不可逆过程是绝对的，但有些过程在一定的条件下却表现出相对的可逆性，因此，人类可以创造条件，利用这种近似的可逆性。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条