掃一掃
關(guān)注中圖網(wǎng)
官方微博
包郵 實(shí)驗(yàn)邏輯學(xué)
作者：李娜編著
開本：
23cm
頁(yè)數(shù)：
378頁(yè)
讀者評(píng)分：5分1條評(píng)論
本類榜單：哲學(xué)/宗教銷量榜
本類五星書更多>
-
>
道德經(jīng)說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時(shí)期宗教工作與管理
-
>
帛書道德經(jīng)
-
>
傳習(xí)錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
中圖價(jià):¥35.6
加入購(gòu)物車
實(shí)驗(yàn)邏輯學(xué) 版權(quán)信息
- ISBN：9787310053513
- 條形碼：9787310053513 ; 978-7-310-05351-3
- 裝幀：暫無
- 冊(cè)數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
實(shí)驗(yàn)邏輯學(xué) 內(nèi)容簡(jiǎn)介
《實(shí)驗(yàn)邏輯學(xué)》共十六章, 其中**至三章主要介紹本書所用到的軟件 —— “塔斯基世界”, 第四至十六章分別介紹運(yùn)用該軟件實(shí)現(xiàn)邏輯運(yùn)算, 包括原子語句及其邏輯、布爾聯(lián)結(jié)詞及其邏輯與證明方法、形式證明和布爾邏輯、蘊(yùn)涵及其邏輯、量詞及其邏輯、多重量詞、量詞的證明方法、形式證明和量詞等。
實(shí)驗(yàn)邏輯學(xué) 目錄
●前言
●**編LPLSoftware簡(jiǎn)介
●**章TarskTsWorld7.0簡(jiǎn)介
●1.1啟動(dòng)
●1.2世界控制板
●1.3語句控制板
●1.4驗(yàn)證語法和真
●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編寫真值表
●......
展開全部
商品評(píng)論(1條)
書友推薦
- >
羅曼·羅蘭讀書隨筆-精裝
- >
龍榆生：詞曲概論/大家小書
- >
回憶愛瑪儂
- >
自卑與超越
- >
隨園食單
- >
大紅狗在馬戲團(tuán)-大紅狗克里弗-助人
- >
名家?guī)阕x魯迅:故事新編
- >
李白與唐代文化
本類暢銷
