范建中

相关

• 公理语义学公理语义学（Axiomatic semantics）是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言（assertion）效果。断言是逻辑语句——带变量的谓词，而这些变量
• 德贝莱纳约翰·沃尔夫冈·德贝赖纳 (Johann Wolfgang Döbereiner, 1780年12月13日 - 1849年3月24日）是一位德国科学家。作为一个车夫的儿子，德贝赖纳可以接受正规教育的机会很少，因此
• 碘西尼碘西尼（Iomazenil）为一种研发中的药物，能够阻止酒精对人中枢神经产生的作用。在服用酒精或饮酒前服用碘西尼，能使人保持长时间的清醒。
• 勒克司勒克斯（Lux，通常简写为lx）是一个标识照度的国际单位制单位，1流明每平方米面积，就是1勒克斯。其单位换算是1勒克斯 = 1 流明/平方米 = 1 坎德拉·球面度/平方米（1 lx = 1 lm/m2= 1
• 利奥·雷恩沃特利奥·雷恩沃特（Leo Rainwater，1917年12月9日爱达荷州卡素（英语：Council, Idaho） - 1986年5月31日），美国物理学家，1975年，因为发现原子核中集体运动和粒子运动之间的联系，并且根据这种
• 苏卡诺苏加诺（印尼语：Soekarno，英语：Sukarno，出生名：Koesno Sosrodihardjo，1901年6月6日－1970年6月21日），印度尼西亚民族独立运动的领袖。印尼建国领袖及首任印尼总统。又译作苏加诺。1959年
• 乐黛云乐黛云（1931年1月－），贵州贵阳人，北京大学现代文学和比较文学教授，博士生导师，跨文化研究中心主任、北京外国语大学文学院教授及中国比较文学学会会长等。。乐黛云有苗族血统，祖母是
• 北欧人种北欧人种，是二十世纪前半叶时对欧洲白色人种分类中的一支的表述。分布于斯堪的纳维亚诸国、波罗的海沿岸诸国、波罗的海三国、冰岛、德国北部、英国、荷兰及波兰北部，也曾经分
• 尹普美尹普美（朝鲜语：윤보미／尹普美 ；英语：Yoon Bo-mi；1993年8月13日－）是韩国女子音乐组合Apink六名成员之一，担任副主唱及主领舞。同时也是企划组合Apink BnN成员之一。曾是JYP娱乐练习生
• 李奇李奇（1913年10月－2009年11月17日），曾用名李子让、李之畦，河北饶阳人，中国伦理学家，中国社会科学院哲学研究所研究员，中国社会科学院荣誉学部委员，中国伦理学会名誉会长。