贺　林

相关

• 哥德尔完备性定理哥德尔完备性定理是数理逻辑中重要的定理，在1929年由库尔特·哥德尔首先证明。它的最熟知的形式声称在一阶谓词演算中所有逻辑上有效的公式都是可以证明的。上述词语“可证明
• 神经外科手术人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学神经外科，也常称作脑外科，是外科的一个
• 醋酸铵乙酸铵是一个有机盐，分子式为CH3COONH4，白色粉末，水溶液呈中性。可通过乙酸和氨反应得到。可以用作分析试剂、肉类防腐剂，或者制药等。
• 哈罗德·尤里哈罗德·尤里（英语：Harold Urey，1893年4月29日－1981年1月5日），美国科学家，因发现氢的同位素氘获得1934年诺贝尔化学奖。此外，尤里和史丹利·米勒于1953年完成了生命起源的经典实验米
• cDNA互补DNA（英语：complementary DNA，缩写cDNA）是一种利用逆转录酶，以RNA（通常是mRNA）为模板做成的复制品，经常用来将真核生物的基因（以mRNA形式）复制到原核生物细胞中。若一个cDNA含有许
• 凝胶电泳凝胶电泳（英语：Gel electrophoresis）或称胶体电泳，是一种用于大分子（如DNA、RNA、蛋白质）以及其碎片的分离、分析技术。该技术被科学工作者用于分离具有不同物理性质（大小、电荷、
• 马卡龙马卡龙（macaron，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Genti
• 法国国家铁路法国国家铁路公司（法语：Société nationale des chemins de fer français，简称SNCF、法铁、法国国铁）为法国最大的国营公司之一，也是欧盟区内仅次于德国铁路（DBAG）的第二大铁路公
• 和亲和亲，又可称和蕃，是指东亚君主将自己或宗室的女儿或国内其他女性嫁给他国君主以示两国友好，增进彼此关系，具有政治目的联姻。一个国家内部不同政治集团的联姻不算在内。中国的和
• 尼基塔·米哈尔科夫金狮奖1992年 《蒙古精神》戛纳影展评审团大奖1994年 《烈日灼身》尼基塔·谢尔盖耶维奇·米亥科夫（俄语：Никита Сергеевич Михалков，转写：Nikita Serge