有义链

相关

• 推理规则在逻辑中，特别是数理逻辑中，推理规则（推论规则）是构造有效推论的方案。这些方案建立在一组叫做前提的公式和叫做结论的断言之间的语法关系。这些语法关系用于推理过程中，新的真的
• H·罗伯特·霍维茨科妮莉亚·巴格曼霍华德·罗伯特·霍维茨（英语：Howard Robert Horvitz，1947年3月8日－），美国生物学家，以研究线虫动物门的秀丽隐杆线虫而著名。因发现器官发育和细胞程序性细胞死亡（
• 联胺联氨、联胺、二氮烷或.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{fo
• 120110　数学 120　信息科学与系统科学 130　力学 140　物理学 150　化学 160　天文学 170　地球科学 180　生物学210　农学 220　林学 230　畜牧、兽医科学 240　水产学310　
• 何雅玲何雅玲（1963年9月－），女，陕西西安人，工程热物理专家，从事热能高效传递、转换、利用及数值模拟的研究工作。1985年毕业于西安交通大学，1988年和2002年又取得该校硕士、博士学位。担任
• 同安同安县，雅称银同。旧县名。辖域包括现在的中华人民共和国政府统治的厦门市与龙海市东北部及中华民国政府统治的金门县。有许多名人籍贯或祖籍为同安县，如郑成功参军陈永华、江
• 郭　昌郭昌，西汉将军，云中郡（治今内蒙古托克托东北）人。汉武帝时，郭昌以校尉的身份跟随大将军卫青攻打匈奴。元鼎六年（前111年）为中郎将，与卫广率兵攻打阻绝滇道的且兰。元封二年（前109年）任
• 安德烈·纪德安德烈·保罗·吉约姆·纪德（法语：André Paul Guillaume Gide 法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Luci
• 亚洲武艺运动会亚洲武艺运动会是亚洲一个以武术为主题构想的新兴综合性运动会，每隔四年举行一届。武术项目于1990年被引入亚洲运动会的示范项目，并于2002年的釜山亚运会成为列为竞赛项目。20
• 诸葛直诸葛直（？－231年），三国时期东吴将军。黄龙二年（230年）正月，孙权派卫温、诸葛直带领上万士兵出海寻找夷洲、亶洲，想要俘获那里的民众以充实东吴的人口，陆逊和全琮都谏言反对，孙权不听。卫