【摘 要】
：
【正】 自本世纪初叶,特别是三十年代以来,数理逻辑这门科学就以充满无限活力的姿态,出现于逻辑工作者、数学工作者以及哲学工作者的面前。在这门科学的各分支领域内进行创造
论文部分内容阅读
【正】 自本世纪初叶,特别是三十年代以来,数理逻辑这门科学就以充满无限活力的姿态,出现于逻辑工作者、数学工作者以及哲学工作者的面前。在这门科学的各分支领域内进行创造性的探索和拓荒的学者与日俱增,研究成果也越来越丰富。这些成就对其它科学的渗透也越来越广泛而深入。我们在向社会主义的四个现代化进军中,要赶上世界科学先进水平,极须加强对数理逻辑的钻研和探索。笔者仅就自己学习中的体会谈一点陋见。不敢窥奥发微,旨在摇旗呐喊。
其他文献
2008正12月3日，上海市电力公司为了展现“注重环保、履行社会责任、服务世博、助力世博”的企业风采，举办了“科学减排促发展，绿色环保迎世博”知识论坛，邀请51家VIP金卡俱乐部会
<正> 1977年夏,我在陕北作考古调查,于榆林北乡小壕兔公社刀兔村遇一马姓老人,闲谈中得知他解放前以贩卖“古董”为业,抗战期间,他在毛乌素沙漠某村买得古铜印一颗,到包头市卖予一外国人。祖先遗物,流失异国,不胜痛惜。 马老汉不识字,对印文内容茫无所知,幸有卖出前铃拓一纸犹存。急偕往其家视之,在约10×15厘米的一张已变脆的黄表纸上,以朱红印泥铃盖此印文五行计数
介绍了电力客户应急服务系统实现的原理、过程和功能,通过对跨部门、跨专业的客户信息资源交叉共享,并借助短信平台部分功能与地理信息系统,实现对电力客户信息的立体化管理与展示,扩展供电企业服务半径,实现突发事件的"快速响应"理念,以提高公司的整体优质服务水平。
为进一步提高电力负荷管理系统的智能性、实时性与可扩展性，设计了基于多代理技术（Multi—Agent）的电力负荷管理系统，此系统包括主站计算机系统、数据通信网络和现场终端系统三大
<正> “生的伟大,死的光荣”是毛泽东同志为刘胡兰烈士亲笔写下的光辉题词,是对刘胡兰烈士的崇高评价,也是对一切为共产主义事业奋斗牺牲的革命烈士的赞誉！最近,张仲实等同志回忆了题词的情形。 1947年我中国人民解放军粉碎了国民党反动派对我解放区的全面进攻,王震同志挥师河东,和陈赓同志一起,在晋中一
【正】 司马迁写《史记》提出了自己的作史目的是“稽其成败兴坏之理”。与此相应,他还提出了“究天人之际,通古今之变”等作史原则。表面上看起来,司马迁似乎没有正面阐述出
<正> 南宋绍兴五年,岳飞出师洞庭镇压杨么,无疑是这位著名民族英雄生平中的一件大事。但迄今为止,史学界在关于岳飞的研究中,仍有不少同志认为这是岳飞的“一大污点”。我认为这个评价是值得商榷的。 一 镇压杨么到底是不是岳飞的“一大污点”,这主要取决于杨么政权的性质。实事求是地考察一下当时的历史事实,即可发现,从钟相以抗金号召起义到杨
2010年4月30日，福建省电力公司与宁德市政府签署了《推进电动汽车充电设施建设战略合作协议》，电动汽车充电设施建设工作在宁德市全面启动。根据协议，2010年将在宁德市区建设电
指导思想：以党的十六届六中全会精神和中央经济工作会议精神为指导，全面落实科学发展观，贯彻“十一五”规划纲要和国务院关于加强节能工作的决定，落实节约资源和保护环境的基本国
<正> 隋唐时期是我国历史上一个重要的发展时期。记载这时期的史书,主要有三部:一是《隋书》,二是《旧唐书》,三是《新唐书》。这三部史书都有《地理志》:《隋志》三卷,以九州为分域,按郡列县,记述了梁陈齐周隋五代的地理沿革,头绪纷繁,亦多乖舛,《旧唐志》四卷,以十道为区划,主记唐代地理,对前朝沿革虽有追述,但不详尽,且多抵牾;《新唐志》七卷,也以十道为区划,所记