葛永良

相关

• 自然演绎在数理逻辑中，自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。这种方式对比于使用公理的公理系统。自然演绎来源自对共通于弗雷格、罗素和希尔
• 邻氨基苯甲酸邻氨基苯甲酸又称氨茴酸、2-氨基苯甲酸，化学式：C7H7NO2，是一个氨基芳香羧酸，室温下为白色晶体粉末，用作医药、染料、香料和农药的中间体。异构体为间氨基苯甲酸和对氨基苯甲酸。
• 拉普拉斯皮埃尔-西蒙·拉普拉斯侯爵（法语：Pierre-Simon marquis de Laplace，1749年3月23日－1827年3月5日），法国著名的天文学家和数学家，他的工作对天体力学和统计学有举足轻重的发展。1749
• 超级电脑-走鹃走鹃（英语：Roadrunner），是一套由IBM为美国能源部（Department of Energy）所属的国家核安全管理局（英语：National Nuclear Security Administration）（NNSA）创建的超级电脑，此电脑以新墨西
• 苏迪曼山脉苏迪曼山脉（Sudirman Range或Dugunduguoo、Nassau Range）是印度尼西亚巴布亚省的一座山脉，包括毛克山脉的西部。最高峰是查亚峰（海拔4,884m）。格拉斯伯格矿场位于山脉中部，由印尼
• 曼特尔幽浮事件曼特尔幽浮事件（英语：Mantell UFO incident）是早期最广为人知的不明飞行物事件之一。发生在1948年1月7日，美国空军上尉汤玛斯·曼特尔（英语：Thomas Francis Mantell Jr.）疑似于追踪
• 凯尔特十字凯尔特十字（爱尔兰语：cros Cheilteach， 苏格兰盖尔语：，曼岛语：，威尔士语：，康瓦尔语：，布列塔尼语：kroaz geltek）是一个中央交叉处连接着一个圆环的十字之符号。在早期，凯尔特十字通常是指一
• 拨云见日《拨云见日》（英语：）是一部1983年美国动作犯罪惊悚片，由克林特·伊斯特伍德执导和监制，乔瑟夫·史丁森（英语：Joseph Stinson）编剧。该片为1976年电影《辣手神探追魂枪》的续集，以及“
• 小行星18238小行星18238（1242 T-2）是一颗主带小行星，在1973年9月29被C. J. van Houten和I. van Houten-Groeneveld在T. Gehrels使用史密特望远镜拍摄的干片上寻获，并以徐遐生的英文名字命名
• 边春光边春光（1925年－1989年12月29日），男，山东莱芜人，中华人民共和国政治人物、编辑出版家，曾任国家出版局局长，第四届全国政协委员。