布施站

相关

• 公理语义学公理语义学（Axiomatic semantics）是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言（assertion）效果。断言是逻辑语句——带变量的谓词，而这些变量
• 硫化物无机化学中，硫化物指电正性较强的金属或非金属与硫形成的一类化合物。大多数金属硫化物都可看作氢硫酸的盐。由于氢硫酸是二元弱酸，因此硫化物可分为酸式盐（HS−，氢硫化物）、正盐
• 鲨鱼湾鲨鱼湾是一个世界遗产，位于西澳大利亚州的加斯科内，距珀斯北部约800公里。鲨鱼湾也是澳大利亚的最西点。鲨鱼湾是由1699年7月来到澳大利亚的第一批欧洲人中的威廉·丹皮尔命名
• 苏肇冰苏肇冰（1937年6月21日－），生于江苏苏州，中国物理学家，中国科学院理论物理研究所研究员，曾任该所所长。1958年毕业于北京大学物理系。1991年当选为中国科学院学部委员（院士）。2000年当
• 安德鲁·怀尔斯安德鲁·约翰·怀尔斯爵士，KBE，FRS（英语：Sir Andrew John Wiles，英语发音：/ˈændɹuː ʤɒn waɪlz/，1953年4月11日－），英国数学家，居于美国。因证明费马最后定理，获得2016年阿贝尔奖。
• 空穴空穴又称电洞（Electron hole），在固体物理学中指共价键上流失一个电子，最后在共价键上留下空位的现象。一个呈电中性的原子，其正电的质子和负电的电子的数量是相等的。现在由于少
• 国务院出国工人管理局国务院出国工人管理局，是中华人民共和国国务院曾存在的直属机构，负责劳务出口工作。由国务院副总理邓小平分管。1955年4月7日中国与蒙古人民共和国在北京正式签订《关于中华人
• 世界艾滋病大会国际艾滋病学会是一个来自全球196个国家，超过16,000名艾滋病专家所组成的国际性组织，始创于1988年，每年均会组织召开的关于艾滋病的国际会议。首届世界艾滋病大会于1985年在美
• 罗兰·希尔罗兰·希尔爵士 KCB FRS（Sir Rowland Hill，1795年12月3日－1879年8月27日）是英国的教师、发明家、邮政制度改革者。一便士邮政制度的创立人。邮票的发明人。有“近代邮政制度之父
• HD 20782HD 20782是一个视星等7等的黄矮星，距离地球117光年，位于天炉座。HD 20782和另一个恒星HD 20781组成联星系统，而这两颗恒星各有行星环绕。成员星中的伴星HD 20781和HD 20782之