登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書

『簡體書』机器证明的逻辑推定

書城自編碼: 3881762
分類:簡體書→大陸圖書→哲學/宗教哲學
作者: 李娜
國際書號(ISBN): 9787030756244
出版社: 科学出版社
出版日期: 2023-06-01

頁數/字數: /
釘裝: 平装

售價:HK$ 153.6

我要買

 

** 我創建的書架 **
未登入.


新書推薦:
PyTorch深度学习与计算机视觉实践
《 PyTorch深度学习与计算机视觉实践 》

售價:HK$ 90.9
新任经理 100 天实战指南
《 新任经理 100 天实战指南 》

售價:HK$ 89.7
日本百鬼画谱
《 日本百鬼画谱 》

售價:HK$ 71.3
大明拐点 : 天启党争
《 大明拐点 : 天启党争 》

售價:HK$ 66.7
纲鉴易知录评注(布面精装  全8册)
《 纲鉴易知录评注(布面精装 全8册) 》

售價:HK$ 572.7
官商跃迁:中国古代政商关系简史
《 官商跃迁:中国古代政商关系简史 》

售價:HK$ 101.2
当代学术·乡族与国家:多元视野中的闽台传统社会(修订本)
《 当代学术·乡族与国家:多元视野中的闽台传统社会(修订本) 》

售價:HK$ 101.2
了不起的中国冠军:讲给孩子的奥运故事
《 了不起的中国冠军:讲给孩子的奥运故事 》

售價:HK$ 78.2

 

建議一齊購買:

+

HK$ 42.6
《(第10版)马克思主义哲学基本原理》
+

HK$ 56.7
《人生的智慧:如何幸福度过一生(2019未删节珍藏纪念版!被誉》
+

HK$ 78.3
《哲学与人生(全新修订版)》
+

HK$ 347.6
《世俗时代》
+

HK$ 62.3
《在绝望之巅》
+

HK$ 118.8
《《马克思恩格斯全集》第2版第39卷》
內容簡介:
逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术,而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次,用逻辑定理的机器证明工具TPG(Tree Proof Generator)实现逻辑定理的自动证明(一种树证明)。最后,用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明(一种自然推理证明)。

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 大陸用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.