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

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

王國俊，周紅軍著

下載链接在页面底部

點擊這裡下載

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

想要找書就要到靜思書屋

book.idnshop.cc

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-30

商品介绍

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

齣版社：科學齣版社

ISBN：9787030228994

商品編碼：27411288930

包裝：圓脊精裝

齣版時間：2017-12-01

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

类似图書點擊查看全場最低價

書籍描述

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

內容簡介

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