程安琪

相关

• 形式系统在逻辑与数学中，一个形式系统（英语：Formal system）是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。大卫·希尔伯特在1921年推动以形式系统来描述数学知识 。
• 弓头鲸弓头鲸（学名：Balaena mysticetus，旧称北极鲸，又称格陵兰露脊鲸、格陵兰鲸、巨极地鲸、北极露脊鲸），是一种属于鲸目的海洋哺乳动物。长成后长度可达20米 （雌性比雄性大）。体形粗壮，体
• 下龙市下龙市（越南语：Thành phố Hạ Long），原名鸿基市社（越南语：Thị xã Hòn Gai和Hồng Gai／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Min
• 欧文·麦克道尔美墨战争美国南北战争欧文·麦克道尔（Irvin McDowell，1818年10月15日－1885年5月4日 ），美国陆军少将，第一次布尔河战役北方军指挥官。麦克道尔出生于俄亥俄州哥伦布，最初在法国特鲁
• 美国海军军官军衔下列表展示出现时美国海军的军官军衔及其肩章。太平洋第五舰队雷蒙德·阿姆斯·斯普鲁恩斯受限于名额及政治因素而无法晋阶，国会通过其于退休后仍可享有五星上将完全等同待遇
• 鲍勃·迪西鲍勃·迪西（Bob Dishy）是美国舞台、电视、电影演员。
• 尤世威尤世威（？－1643年），榆林卫（今陕西榆林）人。明末将领。有兄弟尤世功、尤世禄皆以勇敢著称。天启年间，累官建昌营参将，守墙子路。崇祯二年擢总兵官，镇守居庸、昌平。崇祯二年（1629年），十一月
• 奥格斯堡信条《奥格斯堡信条》，（英文：Augsburg Confession， 拉丁文：Augustan Confession 或 Confessio Augustana），是信义宗（路德教会） 主要承认的信仰教条。和宗教改革最重要的文件之一。 《奥
• 司拉山司拉山（1924年－1980年），男，景颇族，云南盈江人，中华人民共和国政治人物，曾任云南省政协副主席，第四、五届全国人大代表。
• 备后国风土记《备后国风土记》（びんごのくにふどき）乃是日本奈良时代初期编纂完成、关于备后国（今山阳道广岛县东半部）的风土记。原书已散佚，故以下为佚文记述。