縮小範圍

商品類型

簡體書（2）

商品狀況

可訂購商品（2）

庫存狀況

無庫存（2）

商品定價

$800以上（2）

出版日期

2022~2023 （1）

2016~2017 （1）

裝訂方式

平裝（1）

精裝（1）

作者

陸汝鈐（2）

出版社/品牌

上海科學技術文獻出版社（1）

清華大學出版社（大陸）（1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共2筆商品，1/1頁

滿額折

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

作者：陸汝鈐 出版社：清華大學出版社(大陸) 出版日：2017/01/31 裝訂：精裝

本書系統全面地論述了操作語義、指稱語義、公理語義和代數語義等形式語義學的理論和方法, 並結合近年來形式語義學的最新進展, 適應發展迅速的併發系統等對形式語義描述的需求, 著重增加了併發語義和移動計算系統的形式理論等內容。此外, 還增加了當今非常熱門的一個研究內容, 即生物系統的形式化描述問題。內容全面豐富, 文筆流暢, 可讀性強, 是一本難得的學術專著。

定價：2388 元，優惠價：87 2078

海外經銷商無庫存，到貨日平均30天至45天

滿額折

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

作者：陸汝鈐 出版社：上海科學技術文獻出版社 出版日：2023/01/01 裝訂：平裝

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

定價：1668 元，優惠價：87 1451

海外經銷商無庫存，到貨日平均30天至45天

共2 筆
1 頁

縮小範圍

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

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

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

網路書店

復北店

重南店