英语音标英式:[huːpt]美式:[huːpt]英语翻译v.加箍于;包围;发呼呼声(动词hoop的过去式和过去分词)英语例句Thehooprolledalong...
2026-08-01
英式:[kəmˈpjʊtəbɪlɪtɪ]
美式:[kəmˈpjʊtəbɪlɪtɪ]
n.可算性
MatinD.Davis,Computability,Complexity,andLanguages,AcademicPress,1983.《可计算性、复杂性和语言》,清华大学出版社,北京,1989。
Thismakesclassicallogicaspecialfragmentofcomputabilitylogic.这使经典逻辑成为可计算性逻辑的特殊片段。
Beingsemanticallyconstructed,asyetcomputabilitylogicdoesnothaveafullydevelopedprooftheory.正在做着语义构造,至今可计算性逻辑仍没有完全开发出证明论。
Modelsformathematical(andphilosophical)questionsofcomputability(Turing,1936;Post).数学或哲学和可计算性问题模型。
Theclassicalconceptoftruthturnsouttobeaspecial,zero-interactivity-degreecaseofcomputability.真理的经典概念转变为可计算性的特殊的零交互度的情况。
本文链接:http://www.pqxf.cn/yych/43c40c278cc372a2ff5e2016db0b3b41.html
上一篇:hooped是什么意思
下一篇:返回列表
相关文章
英语音标英式:[huːpt]美式:[huːpt]英语翻译v.加箍于;包围;发呼呼声(动词hoop的过去式和过去分词)英语例句Thehooprolledalong...
2026-08-01
英语音标英式:[bɜːˈɡuː]美式:[bɜːrˈɡuː]英语翻译n.燕麦牛奶粥;野餐浓汤英语例句Irishversionofburgoo.爱尔兰版本的菜炖肉。...
2026-08-01
英语音标英式:[eɪˈdʒenʃəl]美式:[eɪˈdʒenʃəl]英语翻译adj.代理人的,代理商的英语例句RohmandHaasagentidiPechin...
2026-08-01
英语音标英式:[ɔːˈɡænzə]美式:[ɔːrˈɡænzə]英语翻译n.透明硬纱英语例句Silkorganzanapkins,rolledhem.透明硬纱丝绸...
2026-08-01
英语音标英式:[ˈruːmɪŋ]美式:[ˈruːmɪŋ]英语翻译n.房间出租动词room的现在分词形式.英语例句Iaskedherifshehadanyroom...
2026-08-01
英语音标英式:[ˈseskiː]美式:[ˈseskiː]英语翻译n.一倍半英语例句sesquibiplane翼半式飞机sesquiplane翼半式飞机知识扩展h...
2026-08-01
英语音标英式:[ɪnˈlɑːdʒər]美式:[ɪnˈlɑːrdʒər]英语翻译n.放大机;扩大者;增补者英语例句用作名词(n.)Oh,well,you'dnee...
2026-08-01
英语音标英式:[aʊtˈθɪŋkɪŋ]美式:[aʊtˈθɪŋkɪŋ]英语翻译思考得比...来得深入、迅速或老练英语例句Hecanoutthinkmeonlyin...
2026-08-01
英语音标英式:[ˈviːəməns]美式:[ˈviːəməns]英语翻译n.热烈;猛烈英语例句用作名词(n.)Theattackincreasedinvehem...
2026-08-01
英语音标英式:[kəˈdævər]美式:[kəˈdævər]英语翻译n.尸体;死尸英语例句用作名词(n.)Examinationofacadaveristode...
2026-08-01
最新文章