形式化方法

相关

• 主要药物分类解剖学治疗学及化学分类系统（英语：Anatomical Therapeutic Chemical Classification System, ATC），是世界卫生组织对药品的官方分类系统。ATC系统由世界卫生组织药物统计方法整
• 菌异营菌异养（英语：Myco-heterotrophy）是植物与真菌的一种共生关系，此关系中植物不行光合作用，而是与真菌形成菌根后，透过寄生真菌取得全部或部分的有机养分。菌异养被认为是一种欺诈行
• 理性主义理性主义、欧洲理性主义（Rationalism）是建立在承认人的理性可以作为知识来源的理论基础上的一种哲学方法，高于并独立于感官感知。理性主义最早的发源地是在英国，一般认为是随着
• 伦敦数学学会伦敦数学学会（London Mathematical Society）是英格兰的主要数学组织。此学会创于1865年1月16日，首任主席由奥古斯都·德·摩根出任。其聚会最早在伦敦大学学院举行，但随后便迁至
• 阿拉伯树胶阿拉伯胶（英语：Gum arabic）是从阿拉伯胶树和塞伊耳相思树（英语：Acacia seyal）这两种豆科含羞草亚科金合欢中取出植物汁液制成的树胶（英语：Natural gum），阿拉伯胶今日已经成为塞内加尔
• 变构调节别构调节（Allosteric regulation，源自希腊语allos——“其他”、stereos——“固态（物体）”）又称变构调节、异构调节或是异位调节，是酶活性调节的一种机制，也称为变构调节。其原理
• 小农经济自然经济，也叫小农经济，商品经济的对立面，私有制经济的一种表现。是一种不借助货币，直接交易的经济形态。该种经济形态占统治地位的持续时间涵盖原始社会、封建社会以及早期的资
• 胆色素胆红素（英文：Bilirubin）是胆色素的一种，是人类胆汁的主要色素，呈橙黄色。它是体内血红素的主要代谢产物，有毒性，可对大脑和神经系统引起不可逆的损害，但也有抗氧化剂功能，可以抑制亚
• 朱棣文朱棣文（英语：Steven Chu，1948年2月28日－），美国华人物理学家，江苏太仓人，出生及成长于美国圣路易斯；因“发展了用激光冷却和捕获原子的方法”而获得1997年诺贝尔物理学奖。前任美国能
• 中国外汇储备中华人民共和国外汇储备的主要组成部分是美元资产，其主要持有形式是美国国债和机构债券。2006年2月底中华人民共和国的外汇储备总额为8,536.72亿美元（不包括港澳的外汇储备），首