乌坎河

相关

• 形式系统在逻辑与数学中，一个形式系统（英语：Formal system）是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。大卫·希尔伯特在1921年推动以形式系统来描述数学知识 。
• 诠释者解释学（Hermeneutics），又称诠释学、阐释学，是关于文本解释的理论。在中世纪，主要是对于《圣经》的解释。19世纪施莱尔马赫把解释学扩展到解释文本意义和文化意义的一般规则的理论
• log P分配系数，分析化学概念之一。所谓分配定律是指一定温度下，物质A在两种互不相溶的溶剂中达到分配平衡时在两相中的活度（常近似为浓度）之比，即分配系数，为一常数。分配系数可用于表
• 单晶单晶是指其内部微粒有规律地排列在一个空间格子内的晶体。其晶体结构是连续的，或者可以说，在宏观尺度范围内单晶不包含晶界。与单晶相对的，是众多晶粒组成的多晶。单晶材料是一
• 威廉·亨利·哈里森威廉·亨利·哈里森（William Henry Harrison，1773年2月9日－1841年4月4日），是美国的第9任总统，军事家，曾在与印第安人的战斗中获得胜利。就任总统时已达68岁高龄，在1981年69岁的罗纳
• 洲际交易所洲际交易所集团（英语：Intercontinental Exchange, Inc.，NYSE：ICE），是美国一网上期货交易平台，亦提供能源及商品及其衍生产品的柜台买卖（OTC）服务。集团最初主要经营能源相关产品，例如：
• 盛京三陵盛京三陵或关外三陵指早期的三个清朝皇家陵寝，即辽宁省沈阳市郊的清福陵、清昭陵和抚顺市新宾县永陵镇的清永陵。2004年，第28届世界遗产委员会将其作为明清皇家陵寝的拓展项目
• 俄通社-塔斯社俄通社-塔斯社（俄语：Информационное телеграфное агентство России，又译伊塔尔-塔斯社），简称俄塔社（ИТАР-ТАСС），为俄罗斯最大的通
• 姚晋圻姚晋圻（1857年－1916年），字彦长，号东安，湖北省黄州府罗田县人，清朝政治人物，进士出身。光绪十五年（1889年），乡试中举。光绪十八年（1892年），参加光绪壬辰科殿试，登进士二甲82名。同年五月，改翰
• Uncoreuncore一词，是英特尔用来描述CPU中，功能上为非处理器核心（Core）所负担，但是对处理器性能的发挥和维持有必不可少的作用的组成部分。处理器核心包含的处理器组件都涉及处理器指令