半符号逻辑  传统逻辑与符号逻辑的桥梁

半符号逻辑 传统逻辑与符号逻辑的桥梁

删除本页内容

作者:张霭珠著

关键词:数理逻辑(学科: 研究) 数理逻辑

页数:220

出版社:上海:复旦大学出版社

出版日期:2004.12

发现《半符号逻辑 传统逻辑与符号逻辑的桥梁》在 2023-06-03 可全文阅读或下载。

图书简介

本书共分7章,探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长,在保留形式逻辑推理、演绎直观性的前提下,借助数理逻辑的符号演算体系进行逻辑推理。

显示百万电子书阅读链接

用户须知

出版社通过教客网下载电子书并起诉站长多次,本站随时可能倒闭。

诉讼案号:(2022)川01民初4401,(2022)川01民初4403,(2022)川01民初4403,(2022)川0191民初19351号, (2022)川0191民初19594号,(2022)川0191民初20457号,(2022)川0191民初20459号, (2023)川知民终373号,(2023)川知民终374号,(2023)川知民终375号, (2024)川0191民初15977号,(2024)川0191民初15979号,(2024)川0191民初15980号, (2024)川0191民初15981号,(2024)川0191民初15982号

  1. 如果要找《半符号逻辑 传统逻辑与符号逻辑的桥梁》,可以尝试去图书馆。
  2. 本页面文字和图片内容来自于 m.5read.com
  3. 封皮图片引用地址:http://cover.duxiu.com/coverNew/CoverNew.dll?iid=6868666a6c70666d6e6a5da5a696ae98ab9ca9a498a9a23831363432323437

《半符号逻辑 传统逻辑与符号逻辑的桥梁》PDF

《半符号逻辑 传统逻辑与符号逻辑的桥梁》DOCX