|
题名:
|
半符号逻辑 ban fu hao luo ji / 张霭珠著 , |
|
ISBN:
|
7-309-04237-9 价格： CNY20.00 |
|
语种:
|
chi |
|
载体形态:
|
219页 23cm |
|
出版发行:
|
出版地： 上海 出版社： 复旦大学出版社 出版日期： 2004 |
|
内容提要:
|
本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。 |
|
主题词:
|
数理逻辑 研究 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 4 |
|
其它题名:
|
传统逻辑与符号逻辑的桥梁 |
|
主要责任者:
|
张霭珠 zhang ai zhu 著 |
|
附注:
|
其他题名：传统逻辑与符号逻辑的桥梁 |
|
索书号:
|
O141/1375 |