掃一掃
關(guān)注中圖網(wǎng)
官方微博
包郵 實(shí)驗(yàn)邏輯學(xué)
作者：李娜編著
開(kāi)本：
23cm
頁(yè)數(shù)：
378頁(yè)
讀者評(píng)分：5分1條評(píng)論
本類榜單：哲學(xué)/宗教銷量榜
本類五星書(shū)更多>
-
>
道德經(jīng)說(shuō)什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時(shí)期宗教工作與管理
-
>
帛書(shū)道德經(jīng)
-
>
傳習(xí)錄
-
>
齊奧朗作品·苦論
-
>
無(wú)障礙閱讀典藏版:莊子全書(shū)
中圖價(jià):¥35.6
加入購(gòu)物車
實(shí)驗(yàn)邏輯學(xué) 版權(quán)信息
- ISBN：9787310053513
- 條形碼：9787310053513 ; 978-7-310-05351-3
- 裝幀：暫無(wú)
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類：>>
實(shí)驗(yàn)邏輯學(xué) 內(nèi)容簡(jiǎn)介
《實(shí)驗(yàn)邏輯學(xué)》共十六章, 其中**至三章主要介紹本書(shū)所用到的軟件 —— “塔斯基世界”, 第四至十六章分別介紹運(yùn)用該軟件實(shí)現(xiàn)邏輯運(yùn)算, 包括原子語(yǔ)句及其邏輯、布爾聯(lián)結(jié)詞及其邏輯與證明方法、形式證明和布爾邏輯、蘊(yùn)涵及其邏輯、量詞及其邏輯、多重量詞、量詞的證明方法、形式證明和量詞等。
實(shí)驗(yàn)邏輯學(xué) 目錄
●前言
●**編LPLSoftware簡(jiǎn)介
●**章TarskTsWorld7.0簡(jiǎn)介
●1.1啟動(dòng)
●1.2世界控制板
●1.3語(yǔ)句控制板
●1.4驗(yàn)證語(yǔ)法和真
●1.5玩游戲
●1.6偏好
●第2章Fitch3.2簡(jiǎn)介
●2.1啟動(dòng)
●2.2創(chuàng)建和編輯證明
●2.3目標(biāo)
●2.4復(fù)制和粘貼
●2.5打印證明
●2.6建立練習(xí)
●2.7參數(shù)設(shè)置
●第3章Boole3.1簡(jiǎn)介
●3.1啟動(dòng)
●3.2編寫(xiě)真值表
●......
展開(kāi)全部
商品評(píng)論(1條)
書(shū)友推薦
- >
上帝之肋:男人的真實(shí)旅程
- >
龍榆生：詞曲概論/大家小書(shū)
- >
唐代進(jìn)士錄
- >
人文閱讀與收藏·良友文學(xué)叢書(shū):一天的工作
- >
朝聞道
- >
我從未如此眷戀人間
- >
羅庸西南聯(lián)大授課錄
- >
羅曼·羅蘭讀書(shū)隨筆-精裝
本類暢銷
