半符号逻辑
复旦大学出版社 / 2004-12出版
简介

该书是作者在多年教学、科研的基础上探索构建的一种新的逻辑推理体系――半符号化推理演绎体系.该体系集形式逻辑(传统逻辑)和数理逻辑(符号逻辑)二者之所长,在保留形式逻辑推理、演绎直观性的前提下,借助数理逻辑的符号演算体系进行逻辑推理。这是教学科研中的创新。全书共分7章,20余万字。可作为高校相关专业的教材,也可作为MPA、MBA等考前参考书以及自学用书。...

豆瓣阅读热门小说
  1. 1
  2. 2 妻子是连环杀手
  3. 3 横冲直撞·浮沉
  4. 4 岁月两心知
  5. 5 一个十八线小明星死后
  6. 6 乡绅
  7. 7 装腔启示录
  8. 8 请别和我爸结婚