越语支

相关

• 直觉类型论直觉类型论（Intuitionistic type theory）、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和
• 爆炸极限点燃在空气中的气体，气体可能会引爆，或者会很快停止，这种情况是由气体在空气中的浓度来决定的。当气体浓度太低，没有足够燃料来维持爆炸；当气体浓度太高，没有足够氧气燃烧。气体只
• 韩国清酒清酒（청주）是一种由粮食酿制而成的韩国米酒。清酒如名是清澈透明的。韩国知名的清酒品牌是“清河”（hangul：청하；hanja：淸河）。韩国各地的清酒各有特色，比如韩国庆州地区出产一种名
• 中国战争列表中国自古以来内部或对外具有重大影响的战事列表，战事名称以大中华地区使用者为准，后面附上时间为该战进行时间或中方参战时间，每场战争名词下方为该战简介。中国有明确记载确实
• 九三炮战中华民国中华人民共和国九三炮战爆发于1954年9月3日，炮战地点为中华民国福建省金门县。该炮战属于1950年代国共内战的一部分，为1949年古宁头战役之后至1954年间，最大的炮战。中
• 小堂小圣堂是基督徒聚集和弥撒的场所，尤指没有神职人员常驻的教堂。它可以附属于各种机构，例如较大的教堂、大学、医院、 宫殿、 监狱或墓地，也可以是一座独立的建筑物，有时还有自己
• 阴极射线发光阴极射线发光（Cathodoluminescence，CL）或阴极发光、阴极射线致发光，是一种冷发光现象，指的是磷光体之类的材料受电子照射时发射出可见光的现象。阴极射线发光常见于老式电视的显
• 义兵运动义兵运动是19世纪末至20世纪初期朝鲜半岛民众反抗日本侵略者的大规模武装斗争。朝鲜半岛称这些自发抵抗外国侵略的武装为“义兵”或“义军”:1099。甲午战争之后，日本为铲除
• 福尔柯克福尔柯克（英语：Falkirk，苏格兰盖尔语：An Eaglais Bhreac），是英国苏格兰32个一级行政区之一。地处苏格兰经济最发达的中央低地（Central Lowlands），在最大城市格拉斯哥和首府爱丁堡之间
• 埃尔斯沃斯奥利弗·埃尔斯沃思（Oliver Ellsworth，1745年4月29日－1807年11月26日），是一名美国律师、法官、政治家和外交官。他是美国开国元勋之一、美国宪法的起草者、康涅狄格州的美国参议