当代形式逻辑及其在人工智能中的应用理论研究

半个世纪来获得迅速发展的外延电子数字计算机最根本的特征,决定了其不可能具有从已知得出新知这种作为人类...

2010.12

求实逻辑九章

本书作者从概念和外延之间的关系、直言判断极其基本类型、直言判断词项的周延性、直言判断的换位推理、直言...

2010.8

普通形式逻辑理论与实践

本书介绍了普通形式逻辑的研究对象、性质和作用,并对普通形式逻辑涉及的概念、简单命题、简单命题推理、复...

2010.

思维与教学

本卷包括三大部分:第一部分主要探讨了思维训练的内外条件,提出要把训练“反省思维”作为教育目的,详尽地阐...

2010.1