否证法十年来的发展

本文综述了定理机器证明的否证方法在近十年来的发展概况,并着重介绍了一些具有代表性的工作.

如何修改医学论文

写作应在“修改”上下功夫,这是文学作品作者、科学技术论文撰写者都特别重视的问题。本文谨从医学论文修改的意义、范围、方法等几个方面,就医学论文修改这一问题进行阐述。

如何修改医学论文

写作应在“修改”上下功夫,这是文学作品作者、科学技术论文撰写者都特别重视的问题。本文谨从医学论文修改的意义、范围、方法等几个方面,作一阐述。

试论图书馆学新的理论基础

(一) 图书馆学的现状在人类历史上,保存、传播文化与科学知识作出重大贡献的图书馆,真可谓源远流长,历史悠久。但是以图书馆作为研究对象,形成一门图书馆学,则是晚近的事情。在欧美各国,是从十九世纪后半叶才对图书馆学作出有系统的研究。

“世界3”理论与图书馆学理论基础

现代西方哲学被介绍到中国大地之后,最受亲睐的两个派别一为存在主义,一为波普尔科学哲学。在哲学界和科学界后者比前者引起更大反响,最初便赢得了满堂喝彩,不久便有了仔细地研究并分析批判的文章出现,到现在,哲学界的研究已有一些进展,而科学界人士则还是兴致盎然地袭用。

刍议初中数学教学中几个常见的逻辑问题

初中数学教材中多处出现数理逻辑学的相关知识,熟悉与了解这些知识有助于教师全面认清命题及其结构,准确把握逻辑规则与推理依据,从而自觉运用数理逻辑学的知识理解教材,辨析有关问题。