TOP
0
0
進階搜尋

熱搜：

超越音符：林俊傑20週年

、

葉嘉瑩

、

中華職棒雜誌⚾

、

伊薩卡島

、

瓊瑤

、

2025觀光行銷日曆

、

制度基因

、

2025三民手札

、

英雄聯盟奧術🔥

、

原子少年II寫真

熱搜： 超越音符：林俊傑20週年、 葉嘉瑩、 中華職棒雜誌⚾、 伊薩卡島、 瓊瑤、 2025觀光行銷日曆、 制度基因、 2025三民手札、 英雄聯盟奧術🔥 、 原子少年II寫真

165反詐騙

古典詩詞的女兒-葉嘉瑩

縮小範圍

商品類型
簡體書 （2）
商品狀況
可訂購商品 （2）
庫存狀況
無庫存 （2）
商品定價
$800以上 （2）
出版日期
2022~2023 （1）
2016~2017 （1）
裝訂方式
平裝 （1）
精裝 （1）
作者
陸汝鈐 （2）
出版社/品牌
上海科學技術文獻出版社 （1）
清華大學出版社（大陸） （1）

三民網路書店 / 搜尋結果

共2筆商品，1/1頁
計算系統的形式語義(全二冊)（簡體書）
滿額折
1.

計算系統的形式語義(全二冊)（簡體書）

作者：陸汝鈐  出版社：清華大學出版社(大陸)  出版日：2017/01/31 裝訂：精裝
本書系統全面地論述了操作語義、指稱語義、公理語義和代數語義等形式語義學的理論和方法, 並結合近年來形式語義學的最新進展, 適應發展迅速的併發系統等對形式語義描述的需求, 著重增加了併發語義和移動計算系統的形式理論等內容。此外, 還增加了當今非常熱門的一個研究內容, 即生物系統的形式化描述問題。內容全面豐富, 文筆流暢, 可讀性強, 是一本難得的學術專著。
海外經銷商無庫存，到貨日平均30天至45天
定價：2388 元， 優惠價：87 2078
人工智能(全2冊)（簡體書）
滿額折
2.

人工智能(全2冊)（簡體書）

作者：陸汝鈐  出版社：上海科學技術文獻出版社  出版日：2023/01/01 裝訂：平裝
本書是人工智能專業 基礎 全面的解讀，作者陸汝鈐院士在知識工程和基於知識的軟件工程方面做了系統的、創造性的工作，是我國該領域研究的開拓者之一。倡導並主持完成了以軟件的機械化生成和移植為目標的系列軟件計劃（XR計劃），推動了當時國產機軟件缺乏問題的解決。本書 把異構型DAI和機器辯論引進人工智能領域。研究出基於類自然語言理解的知識自動獲取方法，把ICAI生成技術推進到以自動知識獲取為特徵的第三代，並開發出基於知識的應用軟件自動生成技術。在形式語義學方面研究了邏輯語義、代數語義和分布式語義，證明了任意Horn子句集的模型論語義和 小不動點語義的等價性；給出了能描述動態控制結構的基調式代數語義；把平面的Petri網擴展成多頁的Petri/Riemann網（P/R網）作為進程模型，獲得了演算的 真併發結構。對於希望學習瞭解人工智能基礎知識和算法的讀者，又 基礎而全面的幫助。
海外經銷商無庫存，到貨日平均30天至45天
定價：1668 元， 優惠價：87 1451
  • 共

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品