超值优惠券
¥50
100可用 有效期2天

全场图书通用(淘书团除外)

不再提示
关闭
欢迎光临中图网 请 | 注册
>
独立友好逻辑研究

独立友好逻辑研究

作者:颜中军 著
出版社:上海交通大学出版社出版时间:2024-09-01
开本: 16开 页数: 248
中 图 价:¥64.2(7.3折) 定价  ¥88.0 登录后可看到会员价
加入购物车 收藏
运费6元,满39元免运费
?新疆、西藏除外
本类五星书更多>
微信公众号

独立友好逻辑研究 版权信息

  • ISBN:9787313312877
  • 条形码:9787313312877 ; 978-7-313-31287-7
  • 装帧:暂无
  • 册数:暂无
  • 重量:暂无
  • 所属分类:

独立友好逻辑研究 内容简介

本书对IF逻辑(Independence-FriendlyLogic,简称IF逻辑)这一新兴领域进行系统深入的专题研究,揭示了IF逻辑的产生机理与演变脉络,构建了更加规范和简洁的IF逻辑的句法和语义,证明了IF逻辑的若干重要性质,比较了IF逻辑与经典逻辑、部分逻辑、构造主义逻辑之间的关联与区别,探讨了IF逻辑在模态逻辑、时态逻辑、认知逻辑、语言逻辑、问句逻辑等领域的扩展与应用,充分挖掘IF逻辑的表达力与适用性,澄清不必要的含混与误解,为IF逻辑的合理性提供哲学辩护。这不仅可以拓展IF逻辑研究的广度与深度,而且能够促进逻辑学、哲学、数学、语言学、计算机科学等相关领域的发展,为解决数学基础问题、自然语言理解、计算机并行处理、量子力学、概率推理等提供新的理论工具,引起国内学术界对IF逻辑以及数学基础问题等相关领域的关注。

商品评论(0条)
暂无评论……
书友推荐
编辑推荐
返回顶部
中图网
在线客服