中文简体

全部
  • 全部
  • 名称
  • 作者
  • 馆藏单位
  • 出版时间
计算机科学中的现代逻辑学
作者：王元元
出版社：科学出版社
馆藏单位：浙江大学
出版时间：1989-09-01
ISBN：7-03-001067-1
资源类型：当代图书
标签：计算机;科学;现代;逻辑学;八十年代;专著 添加标签
主题：数理逻辑-基本知识-逻辑运算
说明： 本书主要内容包括：形式化和形式系统概论，命题演算形式系统，各种形式的一阶谓词演算形式系统，直觉主义的一阶谓词演算形式系统，各种形式的模态逻辑系统，时态逻辑系统和动态逻辑系统，多值逻辑系统和模糊逻辑系统，非单调逻辑推理系统，以及这些经典的和非经典的逻辑系统在计算机科学技术中的应用。
试读 章节阅读

谁看过

被收藏书单

浙ICP备05074421号-15| 版权所有 2019 CADAL管理中心

详情页
  • 打印范围：
  • 打印份数 *：
  • 联系方式*：
  • 电子邮箱*：
  • 收货地址*：
    • ------打印服务供应商选择------
共：277页 总计金额： 元 您的当前账户余额：元

温馨提示：功能还未正式上线，请不要支付打印哦！


捐赠
  • 捐赠
  • 我有图书
请输入捐赠数量：  本
捐赠所需金额：   元 (单价:1.00 元/本)
您的当前账户余额: 元
CADAL致力于知识共享，您的捐助会让更多的人有机会阅读本书，感谢您的分享！
f
荐购

是否向您当前所属图书馆推荐购买该资源

荐购

贵馆还没有提供馆藏书目，请告知贵馆。

推荐数字化

是否推荐CADAL系统将本资源数字化

支付成功

支付已成功

5s 后自动跳转至书籍详情页面

完善
文献类型：
计算机科学中的现代逻辑学--更多版本
计算机科学中的现代逻辑学--书单收藏更多