扫一扫
关注中图网
官方微博
>
独立友好逻辑研究
本类五星书更多>
-
>
(精)方力钧作品图录
-
>
《藏书报》2021合订本
-
>
中外性文物大观
-
>
马克思主义经典著作解读丛书·探索人类解放的新路径《1844年经济学哲学手稿》解读
-
>
襄阳府志(九品)
-
>
奇思妙想创意玩具书(精装4册)
-
>
大慈恩寺
独立友好逻辑研究 版权信息
- ISBN:9787313312877
- 条形码:9787313312877 ; 978-7-313-31287-7
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 所属分类:
独立友好逻辑研究 内容简介
本书对IF逻辑(Independence-FriendlyLogic,简称IF逻辑)这一新兴领域进行系统深入的专题研究,揭示了IF逻辑的产生机理与演变脉络,构建了更加规范和简洁的IF逻辑的句法和语义,证明了IF逻辑的若干重要性质,比较了IF逻辑与经典逻辑、部分逻辑、构造主义逻辑之间的关联与区别,探讨了IF逻辑在模态逻辑、时态逻辑、认知逻辑、语言逻辑、问句逻辑等领域的扩展与应用,充分挖掘IF逻辑的表达力与适用性,澄清不必要的含混与误解,为IF逻辑的合理性提供哲学辩护。这不仅可以拓展IF逻辑研究的广度与深度,而且能够促进逻辑学、哲学、数学、语言学、计算机科学等相关领域的发展,为解决数学基础问题、自然语言理解、计算机并行处理、量子力学、概率推理等提供新的理论工具,引起国内学术界对IF逻辑以及数学基础问题等相关领域的关注。
书友推荐
- >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.9¥10.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥19.0¥49.8 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
二体千字文
二体千字文
¥14.0¥40.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥15.5¥39.8 - >
李白与唐代文化
李白与唐代文化
¥10.4¥29.8 - >
莉莉和章鱼
莉莉和章鱼
¥17.6¥42.0 - >
我与地坛
我与地坛
¥15.4¥28.0
本类畅销
-
4.23文创礼盒A款--“作家言我精神状态”
¥42.3¥206 -
4.23文创礼盒B款--“作家言我精神状态”
¥42.3¥206 -
一句顶一万句 (印签版)
¥40.4¥68 -
百年书评史散论
¥14.9¥38 -
1980年代:小说六记
¥52.8¥69 -
中图网经典初版本封面-“老人与海”冰箱贴
¥20¥40