中圖網小程序
一鍵登錄
更方便
>
實驗邏輯學(第三版)
本類五星書更多>
-
>
貨幣大歷史:金融霸權與大國興衰六百年
-
>
(精)方力鈞作品圖錄
-
>
《藏書報》2021合訂本
-
>
(精)中國當代書畫名家作品集·范碩:書法卷+繪畫卷(全2卷)
-
>
(噴繪樓閣版)女主臨朝:武則天的權力之路
-
>
書里掉出來一只狼+狼的故事-全2冊
-
>
奇思妙想創意玩具書(精裝4冊)
實驗邏輯學(第三版) 版權信息
- ISBN:9787310066285
- 條形碼:9787310066285 ; 978-7-310-06628-5
- 裝幀:暫無
- 冊數:暫無
- 重量:暫無
- 所屬分類:
實驗邏輯學(第三版) 內容簡介
數理邏輯中有許多可操作的方法,如真值表方法、形式推理方法等。為配合數理邏輯的學習,本教材將這些方法通過邏輯學習軟件LPL(Language,ProofandLogic)展現出來。學習者可以通過在計算機上操作(或者實驗)邏輯學習軟件LPL,正確理解數理邏輯中的思想,熟練掌握數理邏輯中的方法,也可以配合本教材的慕課“實驗邏輯學”進行學習(網址:https:onlineweb.zhihuishu.com)。
書友推薦
- >
羅曼·羅蘭讀書隨筆-精裝
- >
自卑與超越
- >
詩經-先民的歌唱
- >
巴金-再思錄
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
朝聞道
- >
我從未如此眷戀人間
- >
山海經
本類暢銷