半符号逻辑 传统逻辑与符号逻辑的桥梁
删除本页内容作者:张霭珠著
关键词:数理逻辑(学科: 研究) 数理逻辑
页数:220
出版社: 上海：复旦大学出版社
出版日期:2004.12
本书2023年6月3日可阅读或下载
本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。
数理逻辑(学科: 研究) 数理逻辑
留言内容
发布留言
用户须知：
1.如果要找《半符号逻辑 传统逻辑与符号逻辑的桥梁》，可以尝试去图书馆。
2.本页面文字和图片内容来自于http://m.5read.com/。
3.封皮图片地址:http://cover.duxiu.com/coverNew/CoverNew.dll?iid=6868666a6c70666d6e6a5da5a696ae98ab9ca9a498a9a23831363432323437