1) uncountable infinite valued logic
不可数无穷值逻辑
1.
Applying these three kinds of sets-making predicates,abstraction principle led to paradoxes in general system of finite valued logic,countable infinite valued logic and uncountable infinite valued logic.
通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论。
2) infinited-valued logic
无穷值逻辑
1.
The method is lifted to first-order logic,many-valued logic and infinited-valued logic.
由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及无穷值逻辑。
3) Uncountable infinite set
不可数无穷集合
4) ntl
无阈值逻辑
5) countable infinity
可数无穷大
6) denumerable at infinity
无穷处可数
补充资料：不可数
【不可数】
谓从无等、无等为一无等转，无等转、无等转为一不可数也。
谓从无等、无等为一无等转，无等转、无等转为一不可数也。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条