难检字字典在线查询

汉语拼音：gōng shè

[逻辑或数学中] 公认为真、因而无需证明其为正确的陈述。

公设 [「公设」一词出现在亚里斯多德@@@@@Aristotle, @@@@@~@@@@@ B@@@@@C@@@@@和圣多玛斯阿奎纳@@@@@St@@@@@ Thomas Aquina, @@@@@~@@@@@的着作中，是一个并非直接明显的命题（拉丁文是petitio），暂时在学术性讨论中不加证明而姑且认可，但参与者则都心照不宣，知道以后对此命题须加以证明。公设与设定@@@@@presumption@@@@@不同；后者在辩论时为双方所接受，前者则是暂为一方所存而不论。#####]

1. 「公设」一词出现在亚里斯多德@@@@@Aristotle, @@@@@~@@@@@ B@@@@@C@@@@@和圣多玛斯阿奎纳@@@@@St@@@@@ Thomas Aquina, @@@@@~@@@@@的着作中，是一个并非直接明显的命题（拉丁文是petitio），暂时在学术性讨论中不加证明而姑且认可，但参与者则都心照不宣，知道以后对此命题须加以证明。公设与设定@@@@@presumption@@@@@不同；后者在辩论时为双方所接受，前者则是暂为一方所存而不论。

• Enclid next lays down five postulates and five common notions.

  接着Enclid就列出五个公设和五个公理.

• Geometry is developed rigorously from a postulational base.

  从公设的基础上严谨地推演几何学.

• Huntington's set contains twenty - three postulates and has sphere and inclusion as primitive terms.

  韩廷顿公设集合包括23条公设,把球和包含作为原始术语.

• How many times have we heard a public defender say that?

  我们曾经听公设辩护人说过多少次了 呢 ?

• State postulate is developed into energy state postulate.

  将状态公设发展为更为本质的能态公设.

• According to the energy postulate general form of the chemical potential is deduced from non - equilibrium thermodynamics.

  以能量公设为基础,从 非平衡 热力学的层面推广了化学势的定义,由此得到了有外场作用下汽液相变的动力学模型.

• Omega just shows that a lot more of them are out there than people suspected.

  Ω仅仅显示了,数学公设远比人们原来想像的多得多.

• BAN logic was used to construct an ideal model of the well known Needham Schroeder protocol.

  采用BAN逻辑 对著名的NeedhamSchroeder( NS) 协议建立理想化协议模型,利用协议的初始假设和BAN逻辑 的公设分析NS协议 的安全性.