2002年4月中国大陆

相关

• 直觉主义逻辑直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真
• 爱尔兰移民爱尔兰人，狭义上指爱尔兰共和国的公民，广义上来讲是自古居住在爱尔兰岛上的人们。广义的爱尔兰人属于凯尔特(Celtic)人种。爱尔兰岛分为两部分，南部是爱尔兰共和国，北部是北爱尔
• 丝带丝带又称缎带，是一条状具柔韧性的物料，通常由布质物料制成，但亦可以由塑胶或金属物料制成。丝带一般用途是捆绑物件，并有装饰作用，被用作包礼物的装饰。布质，特别是丝质的丝带一般
• 马远马远（1160年－1225年），字遥父，号钦山，南宋杰出画家。原籍河中（今山西永济附近），侨寓钱塘（今浙江杭州）。曽祖父马贲、祖父马兴祖、伯父马公顕、父马世栄、兄马逵、子马麟都是画院待诏。马
• 第二信使系统第二信使（英语：Second messenger）在生物学里是胞内信号分子，负责细胞内的信号转导以触发生理变化，如增殖（英语：Cell growth），细胞分化，迁移，存活和细胞凋亡。因此第二信使是细胞内的信
• 库仑势垒库仑势垒，以物理学家查尔斯·奥古斯丁·库仑（1736年-1806年）命名，是两个原子核要接近至可以进行核聚变所需要克服的静电能量壁垒。由静电产生的势能势垒是：此处U的正值归咎于这是
• 音位正写法音位正写法是一种字位（书写符号）对应语言的音位（重要口语发音）的正写法（语言的书写系统）。很少有语言有完美的音位正写法；高度的字音对应可以预期在字母系统的正写法中，但是它们又是
• 佛罗里达州州徽佛罗里达州州徽用于代表佛罗里达州政府，同时用于各种正式目的，例如加盖正式文件和法案。它通常用于州政府的建筑物、车辆和其他设施。它也出现在佛罗里达州的州旗上。佛罗里达
• 巴瓜诺斯巴瓜诺斯（Báguanos）是古巴奥尔金省的一个市镇。巴瓜诺斯位于该省中部，距奥尔金34公里，距巴内斯52公里，总面积806平方公里。巴瓜诺斯下辖几个村庄，人口最多的是塔卡霍（西班牙语：Taca
• 薇贝克·斯科芙特鲁德薇贝克·韦斯特贝·斯科芙特鲁德（挪威语：Vibeke Westbye Skofterud，1980年4月20日－2018年7月29日），出生于阿希姆，挪威女子越野滑雪运动员。她自1999年开始参加比赛，曾经获得在温哥华