靜流書站

數理邏輯引論與歸結原理 (英文版) 王國俊,周紅軍科學齣版社 pdf epub mobi txt 電子書下載 2024

圖書介紹

☆☆☆☆☆
簡體網頁||繁體網頁

王國俊，周紅軍著

下載链接在页面底部

點擊這裡下載

想要找書就要到靜流書站

windowsfront.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-14

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

類似圖書點擊查看全場最低價

店鋪：福州文豪圖書專營店

齣版社：科學齣版社

ISBN：9787030228994

商品編碼：27411288930

包裝：圓脊精裝

齣版時間：2017-12-01

數理邏輯引論與歸結原理 (英文版) 王國俊,周紅軍科學齣版社 epub 下載 mobi 下載 pdf 下載 txt 電子書下載 2024

數理邏輯引論與歸結原理 (英文版) 王國俊,周紅軍科學齣版社 pdf epub mobi txt 電子書下載

具體描述

圖書基本信息
圖書名稱	數理邏輯引論與歸結原理 (英文版)	作者	王國俊,周紅軍
定價	128.00元	齣版社	科學齣版社
ISBN	9787030228994	齣版日期	2017-12-01
字數		頁碼
版次	31	裝幀	圓脊精裝
開本	128開	商品重量	0.681Kg

內容簡介

本書在*版的基礎上進行修訂再版，全書共9章，內容可分為Boole代數理論，命題演算與謂詞演算理論，歸結原理理論，多值邏輯的*理論等4部分。同時，在*版的基礎上對“計量邏輯學”，關於一階係統K完備性的證明等諸多內容做瞭補充或改寫。本書可供計算機專業、應用數學專業、人工智能專業的研究生與高年級本科生及教師閱讀。