[ 收藏 ] [ 繁体中文 ]  
臺灣貨到付款、ATM、超商、信用卡PAYPAL付款,4-7個工作日送達,999元臺幣免運費   在線留言 商品價格為新臺幣 
首頁 電影 連續劇 音樂 圖書 女裝 男裝 童裝 內衣 百貨家居 包包 女鞋 男鞋 童鞋 計算機周邊

商品搜索

 类 别:
 关键字:
    

商品分类

  •  管理

     一般管理学
     市场/营销
     会计
     金融/投资
     经管音像
     电子商务
     创业企业与企业家
     生产与运作管理
     商务沟通
     战略管理
     商业史传
     MBA
     管理信息系统
     工具书
     外文原版/影印版
     管理类职称考试
     WTO
     英文原版书-管理
  •  投资理财

     证券/股票
     投资指南
     理财技巧
     女性理财
     期货
     基金
     黄金投资
     外汇
     彩票
     保险
     购房置业
     纳税
     英文原版书-投资理财
  •  经济

     经济学理论
     经济通俗读物
     中国经济
     国际经济
     各部门经济
     经济史
     财政税收
     区域经济
     统计 审计
     贸易政策
     保险
     经济数学
     各流派经济学说
     经济法
     工具书
     通货膨胀
     财税外贸保险类考试
     英文原版书-经济
  •  社会科学

     语言文字
     社会学
     文化人类学/人口学
     新闻传播出版
     社会科学总论
     图书馆学/档案学
     经典名家作品集
     教育
     英文原版书-社会科学
  •  哲学

     哲学知识读物
     中国古代哲学
     世界哲学
     哲学与人生
     周易
     哲学理论
     伦理学
     哲学史
     美学
     中国近现代哲学
     逻辑学
     儒家
     道家
     思维科学
     马克思主义哲学
     经典作品及研究
     科学哲学
     教育哲学
     语言哲学
     比较哲学
  •  宗教

  •  心理学

  •  古籍

  •  文化

  •  历史

     历史普及读物
     中国史
     世界史
     文物考古
     史家名著
     历史地理
     史料典籍
     历史随笔
     逸闻野史
     地方史志
     史学理论
     民族史
     专业史
     英文原版书-历史
     口述史
  •  传记

  •  文学

  •  艺术

     摄影
     绘画
     小人书/连环画
     书法/篆刻
     艺术设计
     影视/媒体艺术
     音乐
     艺术理论
     收藏/鉴赏
     建筑艺术
     工艺美术
     世界各国艺术概况
     民间艺术
     雕塑
     戏剧艺术/舞台艺术
     艺术舞蹈
     艺术类考试
     人体艺术
     英文原版书-艺术
  •  青春文学

  •  文学

     中国现当代随笔
     文集
     中国古诗词
     外国随笔
     文学理论
     纪实文学
     文学评论与鉴赏
     中国现当代诗歌
     外国诗歌
     名家作品
     民间文学
     戏剧
     中国古代随笔
     文学类考试
     英文原版书-文学
  •  法律

     小说
     世界名著
     作品集
     中国古典小说
     四大名著
     中国当代小说
     外国小说
     科幻小说
     侦探/悬疑/推理
     情感
     魔幻小说
     社会
     武侠
     惊悚/恐怖
     历史
     影视小说
     官场小说
     职场小说
     中国近现代小说
     财经
     军事
  •  童书

  •  成功/励志

  •  政治

  •  军事

  •  科普读物

  •  计算机/网络

     程序设计
     移动开发
     人工智能
     办公软件
     数据库
     操作系统/系统开发
     网络与数据通信
     CAD CAM CAE
     计算机理论
     行业软件及应用
     项目管理 IT人文
     计算机考试认证
     图形处理 图形图像多媒体
     信息安全
     硬件
     项目管理IT人文
     网络与数据通信
     软件工程
     家庭与办公室用书
  •  建筑

  •  医学

     中医
     内科学
     其他临床医学
     外科学
     药学
     医技学
     妇产科学
     临床医学理论
     护理学
     基础医学
     预防医学/卫生学
     儿科学
     医学/药学考试
     医院管理
     其他医学读物
     医学工具书
  •  自然科学

     数学
     生物科学
     物理学
     天文学
     地球科学
     力学
     科技史
     化学
     总论
     自然科学类考试
     英文原版书-自然科学
  •  工业技术

     环境科学
     电子通信
     机械/仪表工业
     汽车与交通运输
     电工技术
     轻工业/手工业
     化学工业
     能源与动力工程
     航空/航天
     水利工程
     金属学与金属工艺
     一般工业技术
     原子能技术
     安全科学
     冶金工业
     矿业工程
     工具书/标准
     石油/天然气工业
     原版书
     武器工业
     英文原版书-工业技
  •  农业/林业

  •  外语

  •  考试

  •  教材

  •  工具书

  •  中小学用书

  •  中小学教科书

  •  动漫/幽默

  •  烹饪/美食

  •  时尚/美妆

  •  旅游/地图

  •  家庭/家居

  •  亲子/家教

  •  两性关系

  •  育儿/早教

     保健/养生
     体育/运动
     手工/DIY
     休闲/爱好
     英文原版书
     港台图书
     研究生
     工学
     公共课
     经济管理
     理学
     农学
     文法类
     医学
  • 缺省邏輯與回答集程序
    該商品所屬分類:工業技術 -> 一般工業技術
    【市場價】
    1987-2880
    【優惠價】
    1242-1800
    【作者】 張明義,王以松 
    【所屬類別】 圖書  工業技術  一般工業技術 
    【出版社】科學出版社 
    【ISBN】9787030766472
    【折扣說明】一次購物滿999元台幣免運費+贈品
    一次購物滿2000元台幣95折+免運費+贈品
    一次購物滿3000元台幣92折+免運費+贈品
    一次購物滿4000元台幣88折+免運費+贈品
    【本期贈品】①優質無紡布環保袋,做工棒!②品牌簽字筆 ③品牌手帕紙巾
    版本正版全新電子版PDF檔
    您已选择: 正版全新
    溫馨提示:如果有多種選項,請先選擇再點擊加入購物車。
    *. 電子圖書價格是0.69折,例如了得網價格是100元,電子書pdf的價格則是69元。
    *. 購買電子書不支持貨到付款,購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。
    *. 如果收到的電子書不滿意,可以聯絡我們退款。謝謝。
    內容介紹



    開本:16開
    紙張:膠版紙
    包裝:平裝-膠訂

    是否套裝:否
    國際標準書號ISBN:9787030766472
    作者:張明義,王以松

    出版社:科學出版社
    出版時間:2023年10月 

        
        
    "

    內容簡介
    本書主要介紹一階子句集的消解原理和命題公式集的穩定模型、一般缺省理論(包括它的幾個重要變種)的擴張計算特征與算法和復雜性、容易計算的特殊缺省理論類和缺省邏輯的語義、回答集程序及其拓廣(嵌套查詢)的基本概念與重要性質,以及架起回答集程序與經典邏輯之間關繫橋梁的環公式和程序完備理論。本書基於缺省理論擴張的計算特征,統一處理和論證缺省邏輯與回答集程序的基本概念和主要結果,以便讀者能夠繫統和完整地閱讀。
    本書可作為計算機科學和人工智能專業的研究生和教師及研究人員的參考書,亦可供相關專業的工作者參考閱讀。
    目錄
    第1章 預備知識:集合與邏輯
    1.1 集合、關繫與函數
    1.1.1 集合及其運算
    1.1.2 關繫
    1.1.3 函數
    1.1.4 基數、序數和(數學與超窮)歸納法
    1.1.5 歸納定義
    1.2 命題邏輯
    1.2.1 命題語言
    1.2.2 命題公式的語義
    1.2.3 命題邏輯的形式推導
    1.2.4 命題邏輯的重要性質
    1.3 一階邏輯及二階邏輯
    1.3.1 一階邏輯語言第1章 預備知識:集合與邏輯
    1.1 集合、關繫與函數
    1.1.1 集合及其運算
    1.1.2 關繫
    1.1.3 函數
    1.1.4 基數、序數和(數學與超窮)歸納法
    1.1.5 歸納定義
    1.2 命題邏輯
    1.2.1 命題語言
    1.2.2 命題公式的語義
    1.2.3 命題邏輯的形式推導
    1.2.4 命題邏輯的重要性質
    1.3 一階邏輯及二階邏輯
    1.3.1 一階邏輯語言
    1.3.2 一階邏輯的語義
    1.3.3 一階邏輯的形式推導
    1.3.4 一階邏輯的重要性質
    1.3.5 二階邏輯
    1.4 可計算性與計算復雜性
    1.4.1 可計算性
    1.4.2 計算復雜性
    第2章 消解原理和邏輯程序
    2.1 子句集和消解原理
    2.1.1 命題子句的消解原理
    2.1.2 一階子句集的消解原理
    2.2 穩定模型
    2.2.1 歸約
    2.2.2 穩定模型的基本概念
    2.2.3 命題公式的強等價
    2.2.4 Horn公式的穩定模型
    2.3 邏輯程序
    2.3.1 確定邏輯程序
    2.3.2 部分賦值
    2.3.3 推導否定信息
    第3章 缺省邏輯
    3.1 缺省理論的擴張
    3.1.1 用缺省表示知識
    3.1.2 缺省的基本概念
    3.2 擴張的計算特征
    3.3 特殊缺省理論
    3.4 擴張與推理問題的算法及復雜性
    3.5 缺省證明與自頂向下的缺省證明
    3.6 缺省邏輯的語義
    第4章 回答集程序
    4.1 回答集程序的基本概念
    4.2 正規回答集程序
    4.3 正規程序的推理
    4.3.1 特殊正規程序
    4.3.2 回答集程序的分裂
    4.3.3 正規程序的SLDNF演算
    第5章 環公式和嵌套回答集程序
    5.1 環公式
    5.2 嵌套回答集程序
    5.2.1 嵌套回答集程序的語法和語義
    5.2.2 嵌套回答集程序的計算特征
    5.2.3 嵌套程序的緊湊性
    5.2.4 嵌套公式的完備和環公式
    5.3 的正規邏輯程序一階環公式
    第6章 回答集程序歸納學習和遺忘理論
    6.1 基於狀態變換的邏輯程序歸納學習
    6.1.1 支承類語義
    6.1.2 析取基消解和組合消解
    6.1.3 歸納的學習任務與算法
    6.2 回答集程序知識遺忘
    6.2.1 命題邏輯的HT語義
    6.2.2 回答集程序遺忘
    6.2.3 知識遺忘公設
    第7章 缺省邏輯的變種
    7.1 Lukaszewicz的修正擴張
    7.2 斷言缺省理論
    7.2.1 累積缺省邏輯
    7.2.2 CDL推理的局部性與累積性
    7.2.3 CDL擴張的算法
    7.2.4 CDL推理問題計算的復雜性
    7.3 其他累積性缺省邏輯
    7.3.1 約束缺省邏輯與J-缺省邏輯
    7.3.2 滿足預設的缺省邏輯
    7.3.3 擬缺省邏輯
    7.4 非單調推理關繫
    7.4.1 結構性質
    7.4.2 邏輯聯結詞
    參考文獻


     
    網友評論  我們期待著您對此商品發表評論
     
    相關商品
    在線留言 商品價格為新臺幣
    關於我們 送貨時間 安全付款 會員登入 加入會員 我的帳戶 網站聯盟
    DVD 連續劇 Copyright © 2024, Digital 了得網 Co., Ltd.
    返回頂部