张　显

相关

• 形式系统在逻辑与数学中，一个形式系统（英语：Formal system）是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。大卫·希尔伯特在1921年推动以形式系统来描述数学知识 。
• 定理定理（英语：Theorem）是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。一个定理陈述一个给定类的所有（全称）元素一
• 各向同性各向同性（英语：isotropy），是指物体的物理、化学性质不因方向而有所变化的特性，即在不同方向所测得的性能数值是相同的。如所有的气体、液体以及非晶体都显示各向同性，多晶体（如一块
• 大满贯赛事网球大满贯在网球运动中是指一位网球选手能在所有大满贯赛事中均夺冠，包含以下4项：上述四项赛事通常又称为“大满贯系列赛”。无论是从赛事的规模、历史、奖金、积分、签数和
• 雷尔运动雷尔运动（Raëlian Movement）是由雷尔于公元1974年所创立的一个无神论及外星宗教组织，主张地球生命是由拥有高科技与高度智慧的外星生命所造，名为耶洛因（英语：Elohim），耶洛因要求雷
• 加拿大最高法院Supreme Court of Canada加拿大政府与政治 系列条目加拿大君主 （女皇伊莉莎伯二世）枢密院政府现今国会 （第43届） 加拿大上议院加拿大下议院议会选区 选举制度 最新选举最高法院
• 恒定稳态（英语：homeostatic，又称恒定状态或恒定性）是指在一定外部环境范围内，生物体或生态系统内环境有赖整体的器官的协调联系，得以维持体系内环境相对不变的状态，保持动态平衡的这种
• 佛山镇佛山镇曾是中国广东省南海县下辖的一个镇，在明清时期名列“四大名镇”和“天下四聚”，佛山市的“佛山”就来自于佛山镇，初由佛山镇升格而来。佛山镇的区域大致位于现时佛山市禅
• 圣灵抵抗军圣主抵抗军（英语：Lord's Resistance Army，又译圣灵抵抗军、上帝抵抗军）在1987年组成，是一支活动于乌干达北部以及南苏丹部分地区的游击叛军。该组织参与针对乌干达政府的叛乱，是非
• 新开湖新开湖，位于南开大学八里台校区内，是1954年南开大学在校园内新开挖的人工湖泊。取新开挖的湖和新的南开双重含义，被命名为新开湖。