go top

海丁

网络释义

  Heyting

如海丁(Heyting)的直觉主义命题逻辑系统H通过所谓的“哥德尔转换”可以在经典逻辑中获得新的解释,并且,通过一定的程序,直觉主义命题逻辑还可以在...

基于40个网页-相关网页

短语

海丁克 BERNARD HAITINK ; Haitink

海丁顿中学 Headington School

海丁格内视刷 Haidinger brush

海丁格 Haidinger

海丁利 Headingley

伯纳德·海丁克 Bernard Haitink

海丁顿学校 Headington School

伯纳德海丁克 Bernard Haitink

海丁氏 James Hastings

 更多收起网络短语

有道翻译

海丁

Haiding

以上为机器翻译结果,长、整句建议使用 人工翻译 。

双语例句

  • 我坐7路公共汽车在海丁里站下车,然后过马路再向右转,对不对?

    I take the No. 7 bus and get off at Headingley. Then I cross the road and turn right. Isn 't that right?

    youdao

  • “上这儿来吧,海丝特,你,还有小珠儿,”可敬的丁梅斯代尔先生说。

    "Come up hither, Hester, thou and little Pearl," said the Reverend Mr. Dimmesdale.

    youdao

  • “你知道,海丝特,”阿瑟·丁梅斯代尔带着不安的微笑说,“这个总是在你身边蹦蹦跳跳的可爱的孩子,曾经多次引起我心惊肉跳吗?”

    "Dost thou know, Hester," said Arthur Dimmesdale, with an unquiet smile, "that this dear child, tripping about always at thy side, hath caused me many an alarm?"

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定