【摘 要】
:
哥德尔──当代最伟大的逻辑学家胡作玄哥德尔的名字可以说是尽人皆知了,由于他在逻辑方面的工作以及它对计算机科学的影响,使他声誉日隆。但正如他的好友爱因斯坦一样,人们在称
论文部分内容阅读
哥德尔──当代最伟大的逻辑学家胡作玄哥德尔的名字可以说是尽人皆知了,由于他在逻辑方面的工作以及它对计算机科学的影响,使他声誉日隆。但正如他的好友爱因斯坦一样,人们在称颂他们的伟业之时,对他们思想的了解似乎并不太够。对爱因斯坦近半个世纪的研究,这个空白...
Godel - the greatest contemporary logician Hu Zuoxue Godel’s name can be said to be well-known, because of his work in the logic and its impact on computer science, made him a reputation. But just as his good friend Einstein, when praising their greatness, people do not seem to know enough about their thinking. Nearly half a century of Einstein’s research, this blank ...
其他文献
微机用于干扰素效价测定何晓淮蔡力军姚红谊周蓬蓬马自兰(安徽安科生物高技术有限责任公司,合肥230031)α干扰素具有抗病毒、抑制肿瘤细胞增殖和调节机体免疫功能的作用,是目前国际公认
1999年7月21日,对上海东方经贸大学九八级学生洪彦芳来说是一个不幸的日子。这一天正在武汉协和医院检查病情的她,被确诊为急性淋巴白血病。人们无法想象,这样一个充满青春魅
真是“人不可貌相”!站在我面前的这位个子不高,身材纤细,戴一副近视眼镜的普通中年妇女,竟然就是大名鼎鼎的陶美凤。就是她,创造了那么多辉煌: 1994年6月,在北京召开的首届
“书香浓郁满天山,文化引领促发展”。12月1日,兵团举行“农家书屋”工程出版物配送发车仪式,兵团党委常委成家竹出席仪式并讲话。成家竹指出,“农家书屋”是党中央、国务院
采用小鼠D-半乳糖致衰老模型,研究水牛乳多肽对亚急性致衰老小鼠机体抗氧化的作用,测定各模型组小鼠全脑、肝、心组织脏器指数以及小鼠血清、脑组织、心、肝中的丙二醛(MDA)
基质金属蛋白酶(MMP)及其组织抑制物(TIMP),是调控细胞外基质降解的主要酶类之一,可能是参与胚胎着床过程中细胞外基质降解的重要调节因素[1].有研究表明,肿瘤坏死因子α(TNF-α)对胚胎着床有重要的调节作用,但是否能调控子宫内膜细胞MMP及TIMP蛋白的表达,目前尚不明确.本研究通过检测不同浓度TNF-α作用于离体的子宫内膜后,子宫内膜细胞MMP-9及TIMP-3蛋白表达的变化,探讨在胚胎
汉正街不仅是条商业名街,而且是条文化名街。独具商贸社区文化特色的汉正街文化,源于此街悠久的历史文化底蕴,更得益于一个切合商贸社区实际的现代文化发展的科学定位。
Ha
我们于1995年9月至1996年12月用浙江康恩贝集团研究开发中心与杭州第一生化制药厂联合研究的0.3%盐酸洛美沙星滴眼液(验证药),以余姚第二制药厂生产的氧氟沙星滴眼液作随机对照,治疗77例外眼细菌感
在第十二届全国发明展览会期间,宁波市人民政府和中国发明协会联合举办了“发明成果产业化国际研讨会”。有近80位中外来宾出席了研讨会。在与会的外宾中包括:世界知识产权组织(WIPO)革