店鋪： 福州文豪圖書專營店
齣版社： 科學齣版社
ISBN：9787030228994
商品編碼：27411288930
包裝：圓脊精裝
齣版時間：2017-12-01
具體描述
| 圖書基本信息 | |||
| 圖書名稱 | 數理邏輯引論與歸結原理 (英文版) | 作者 | 王國俊,周紅軍 |
| 定價 | 128.00元 | 齣版社 | 科學齣版社 |
| ISBN | 9787030228994 | 齣版日期 | 2017-12-01 |
| 字數 | 頁碼 | ||
| 版次 | 31 | 裝幀 | 圓脊精裝 |
| 開本 | 128開 | 商品重量 | 0.681Kg |
| 內容簡介 | |
| 本書在*版的基礎上進行修訂再版，全書共9章，內容可分為Boole代數理論，命題演算與謂詞演算理論，歸結原理理論，多值邏輯的*理論等4部分。同時，在*版的基礎上對“計量邏輯學”，關於一階係統K完備性的證明等諸多內容做瞭補充或改寫。本書可供計算機專業、應用數學專業、人工智能專業的研究生與高年級本科生及教師閱讀。 |
| 作者簡介 | |
| 目錄 | |
| 編輯推薦 | |
| 文摘 | |
| 序言 | |
用戶評價
評分
評分
評分
評分
評分
評分
評分
評分
評分
相關圖書
本站所有內容均為互聯網搜尋引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.qciss.net All Rights Reserved. 圖書大百科 版權所有