1993 年出版320 页ISBN:7805158185
这本小书是多年前我在书市上买到的,虽然看上去很不起眼,但经常成为我的枕边书,青岛大学的冯光廉老先生为书作序,由书中内容看,想必是作者当年的硕士学业之余的作品,文笔流畅,趣味盎然。本书探讨了特殊逻辑现象与幽...
2000 年出版172 页ISBN:7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
2002 年出版283 页ISBN:7563810072
本书系统地阐述了逻辑学的基本理论,介绍了概念、判断、推理、归纳、论证等逻辑学的基本内容与规律。
2002 年出版135 页ISBN:7530109782
这是一本生动有趣的故事书,也是一本通俗易懂的逻辑书!逻辑是一门思维科学,具有良好逻辑智能的人,能做缜密的思考、精准的判断及正确的表达;因此逻辑人人必学,否则就容易做错事、说错话,或是人云亦云,被人牵着鼻子走...
1993 年出版208 页ISBN:7208015651
本卷描写了北宋至1840年鸦片战争前夜为止,许多巨大政治经济的变化给逻辑发展产生的重大影响。
2002 年出版246 页ISBN:7810598724
本书包括:简单判断及其推理、复合判断及其推理、模态逻辑、归纳逻辑、类比推理和回溯推理、普通逻辑基本规律、论证和假说等内容。