TOP
0
0
【簡體曬書節】 單本79折,5本7折,優惠只到5/31,點擊此處看更多!

縮小範圍


商品類型

簡體書 (4)
商品狀況

可訂購商品 (2)
無法訂購商品 (2)
庫存狀況

無庫存 (4)
商品定價

$199以下 (1)
$200~$399 (2)
$800以上 (1)
出版日期

2016~2017 (3)
2016年以前 (1)
裝訂方式

平裝 (3)
作者

張寅生 (3)
王根緒、張寅生 (1)
出版社/品牌

國防工業出版社 (1)
清華大學出版社(大陸) (1)
科學出版社 (1)
科學技術文獻出版社 (1)

三民網路書店 / 搜尋結果

4筆商品,1/1頁
擴展的三段論及自動推理(簡體書)
滿額折
作者:張寅生  出版社:科學技術文獻出版社  出版日:2009/03/01 裝訂:平裝
本專著著重論述了作者的三段論形式化研究和自動推理研究的最新進展和創新成果。 本書證明:亞里士多德三段論的特稱量詞的定義及其命題形式存在著兩個違背同一律的邏輯錯誤一它將特稱量詞既定義為部分量詞(不包括全集),又定義為不確定量詞(相當于一階邏輯中的存在量詞,可包括全集);組成亞里士多德三段論的直言肯定命題的第二個項(后項)沒有約束量詞,這使得對這個項的量的理解存在歧義:它可能被解釋為全部,也可能被解釋
定價:336 元, 優惠價:87 292
海外經銷商無庫存,到貨日平均30天至45天
證明方法與理論(簡體書)
作者:張寅生  出版社:國防工業出版社  出版日:2016/11/01 裝訂:平裝
本書闡述數學證明的基本原理,主要包括證明方法和證明理論,是探討證明方法和證明理論內在聯系和本質特征的數學專著。“證明方法”集成了常見或具有重要影響并具有邏輯獨立性和形式化特征的數學證明方法,分別給出了這些方法的表示公式、例題、相關的定理以及當前的研究前沿狀況。“證明理論”闡述了自希爾伯特倡導建立證明論以來該學科的主要理論,介紹了這些理論的發展脈絡,分別給出了這些理論的公理、定理及其證明、例題、當前
絕版無法訂購
計算理論解析(簡體書)
作者:張寅生  出版社:清華大學出版社(大陸)  出版日:2016/09/18 裝訂:平裝
本書介紹計算模型理論,包括計算的對象、本質、定義、分類、表達、邏輯和機械實現方法,以及計算模型的典型應用。全書共分為6章。章介紹計算的對象和本質,將離散變量作為圖靈計算(離散變量計算)的對象,將其邏輯確定性和機械能行可計算性作為圖靈計算的本質;第2章介紹可計算函數——遞歸函數;第3章介紹計算機的數學原理;第4章介紹語言的計算;第5章介紹判定問題的可計算性;第6章介紹計算模型的典型應用。本書是計算理
絕版無法訂購
寒區生態水文學理論與實踐(簡體書)
滿額折
作者:王根緒; 張寅生  出版社:科學出版社  出版日:2016/11/23 裝訂:平裝
以我國青藏高原凍土流域為物件,結合泛北極河流研究進展,詳細闡述了寒區大氣-植被-積雪-土壤間的能水交換與傳輸過程,坡面尺度不同植被覆蓋下的產流過程,以及集水單元流域產流過程。並論述了凍融迴圈對於寒區流域徑流形成與匯流過程的作用。發展了寒區產流機制模型和流域生態水文模型。
定價:1080 元, 優惠價:87 940
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區