刘名榜

相关

• 亚结构逻辑在数理逻辑中，特别是联合上证明论的时候，一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用：结构规则的概念是基
• 基督教世界基督教世界有多种含义，既可以指世界范围的基督徒；也可以指基督徒居多的国家。自从罗马帝国初期基督教自中东沙姆地区传入欧洲与北非之后，基督教始终存在分裂现象，形成了以罗马为
• 褐煤褐煤是一种低热质的煤炭，是发育不完全，处于次烟煤和泥炭之间状态的煤。在煤炭资源比较缺乏的地区应用比较广泛，俄罗斯、美国、加拿大、印度、澳大利亚和欧洲一些国家都在开采，其
• 德国无条件投降书德国无条件投降书是指1945年5月8日，由德国国防军最高统帅部、同盟国远征部队最高司令部和苏联红军最高统帅部在柏林卡尔霍斯特（英语：Karlshorst）签署的武装力量协议，并由法国和美
• M25高速公路M25高速公路（英语：M25 motorway），或称伦敦外环高速公路（英语：London Orbital motorway），是一条环绕英国首都圈——大伦敦的环状高速道路。在伦敦外郭兴建四条环城公路（英语：London Rin
• 亚洲武艺运动会亚洲武艺运动会是亚洲一个以武术为主题构想的新兴综合性运动会，每隔四年举行一届。武术项目于1990年被引入亚洲运动会的示范项目，并于2002年的釜山亚运会成为列为竞赛项目。20
• 国家重点实验室国家重点实验室（“重点实验室”）是中华人民共和国顶尖的科学研究基地，依托中国大陆各个大学和科研院所建设，由科技部进行宏观管理。各重点实验室的行政主管部门为相关的部委、地
• 生物降解垃圾生物降解垃圾（Biodegradable waste，又译生物分解废弃物）包含所有能借由堆肥、好氧消化（英语：Aerobic digestion）、厌氧消化等生物降解过程，被生命体（如微生物）分解成二氧化碳、水、甲
• 1924年冬季奥林匹克运动会越野滑雪比赛越野滑雪比赛在1924年冬季奥林匹克运动会上列为了正式比赛项目，该届冬奥会中总共举办了2项越野滑雪比赛。其中50千米的比赛于1924年1月30日（星期三）举办，而18千米的比赛于1924年
• 斑点花耳斑点花耳（学名：）是属于花耳目花耳科花耳属的一种真菌，生长在阔叶树朽木上。该种分布于中国、日本、加拿大、芬兰、俄罗斯、法国、英国、挪威、美国、荷兰、瑞典、新西兰、德国、