中英▼
go top

网络释义专业释义

  constructive logic

类型系统并不对应经典逻辑, 而是对应一种称为“constructive logic(构造逻辑)”. 这个范式切换是这样：我们从思考一个事物是否是真， 切换到我们是否能够证明它们，更重要的是，我们不再考虑是否存在等量化词...

基于20个网页-相关网页

短语

逻辑构造论 theory of logical construction

可构造逻辑块 Cinfigur able Logic Block ; CLB

构造逻辑装配 unit logic device

逻辑构造 logical construction ; IF

世界的逻辑构造 Der Logische Aufbau der Welt

所需的构造器逻辑 any needed constructor logic

论证逻辑构造 Writing Makes an Exact Man

建构形式的建造逻辑 constructional logic of tectonic form

程序的逻辑构造 logical construction of programs

 更多收起网络短语
  • constructive logic
  • constructive logic

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句

  • 命令行编译器使用构造逻辑的方式来维护工程。

    The command-line compiler has built-in MAKE logic to aid in project maintenance.

    youdao

  • 可编程逻辑器件是一种用户根据需要而自行构造逻辑功能的数字集成电路。

    The programmable logic device is an IC that could be structure function by user himself.

    youdao

  • 正如我们前面所讨论的，J2EE角色终究只是一个名称，是可以绑定到任何一组主体的逻辑构造。

    After all, as we discussed earlier, a J2EE role is merely a name, a logical construct that can be bound to any set of principals.

    youdao

更多双语例句

百科

构造逻辑

构造逻辑是一种非经典的逻辑系统。它主要由对数学持直觉主义、构造主义或致力于构造性数学研究和发展的数学家和逻辑学家建立和使用。在数理逻辑和数学基础中，“构造性”一词有几种不同的理解并在几种不同的意义下使用，其共同之处在于它们都满足下列构造性要求：①对存在命题ヨxAx的一个证明是构造性的，如果从这个证明能找到（构造出）一个特殊的对象x，它满足A；②不能无条件地使用排中律。按照构造性观点，对于p∨塡p,只有在有一个方法能判明p与塡p中哪一个是真的情况下，才能承认它是真的，而不承认任一命题非真即假。按照这些构造性观点建立的逻辑就是构造逻辑。

详细内容

以上来源于： 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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