请输入您要查询的字词:
单词
塔尔斯基经典解悖方案
释义
塔尔斯基经典解悖方案
Encyclopedia
哲学
逻辑
释
Tarski's classical approach to paradox solution
塔尔斯基经典解悖方案
由A.塔尔斯基提出的在承认经典逻辑基本法则的前提下运用语言层次论解决语义悖论的方案。
随便看
non-deterministic finite automaton
non-deterministic finite automaton with varepsilon-move
non-deterministic finite automaton with ε-move
nondeterministic logarithmic space
non-deterministic logarithmic space complexity class
non-deterministic logarithmic space complexity class, NL
nondeterministic machine
non-deterministic optimization
nondeterministic polynomial
nondeterministic polynomial time class NP
non-deterministic polynomial time complexity class
non-deterministic polynomial time complexity class, NP
non-deterministic space
non-deterministic space complexity
non-deterministic space complexity theorem
non-deterministic space, NSPACE
non-deterministic time
non-deterministic time complexity
non-deterministic time hierarchy theorem
non-deterministic time, NTIME
non deterministic Turing machine
non-deterministic Turing machine
nondeterministic Turing machine
non-developable
non-developable ruled surface
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/1/12 9:07:43