內容簡介
本書敘述了與計算機科學有緊密聯繫並且相互之間又有聯繫的數理邏輯基礎性內容，包括經典邏輯和非經典邏輯中的構造性邏輯和模態邏輯。本書在選材時考慮了邏輯繫統的特征，並且適應計算機科學的要求，本書研究各種邏輯的背景、語言、語義、形式推演，以及可靠性和完備性等問題。本書大部分章節附有習題。本書讀者對像:高校計算機專業師生，科研人員。
 |
    |
[ 收藏 ] [ 简体中文 ] |
| 臺灣貨到付款、ATM、超商、信用卡PAYPAL付款，4-7個工作日送達，999元臺幣免運費 在線留言 商品價格為新臺幣 | |
