半符号逻辑 传统逻辑与符号逻辑的桥梁
删除本页内容作者:张霭珠著
关键词:数理逻辑(学科: 研究) 数理逻辑
页数:220
出版社: 上海：复旦大学出版社
出版日期:2004.12
本书2023年6月3日可阅读或下载
获取百万图书地址方式一：复制链接到微信、QQ群，24小时内有50人访问即可显示
,当前已有0人访问
登录查看百万图书电子书免费阅读或下载地址(每日更新) 216.73.216.154
本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。
数理逻辑(学科: 研究) 数理逻辑
留言内容
发布留言
用户须知：
1.如果要找《半符号逻辑 传统逻辑与符号逻辑的桥梁》，可以尝试去图书馆。
2.本页面文字和图片内容来自于http://m.5read.com/。
3.封皮图片地址:http://cover.duxiu.com/coverNew/CoverNew.dll?iid=6868666a6c70666d6e6a5da5a696ae98ab9ca9a498a9a23831363432323437