掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
傳習(xí)錄
-
>
無障礙閱讀典藏版:莊子全書
-
>
素書
-
>
孔子的世界——儒家文化的世界價值
-
>
王陽明全集(全四冊)
-
>
生活與憶念
-
>
名家小全集(4冊)
實驗邏輯學(xué) 版權(quán)信息
- ISBN：9787310053513
- 條形碼：9787310053513 ; 978-7-310-05351-3
- 裝幀：暫無
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
實驗邏輯學(xué) 內(nèi)容簡介
《實驗邏輯學(xué)》共十六章, 其中**至三章主要介紹本書所用到的軟件 —— “塔斯基世界”, 第四至十六章分別介紹運用該軟件實現(xiàn)邏輯運算, 包括原子語句及其邏輯、布爾聯(lián)結(jié)詞及其邏輯與證明方法、形式證明和布爾邏輯、蘊涵及其邏輯、量詞及其邏輯、多重量詞、量詞的證明方法、形式證明和量詞等。
實驗邏輯學(xué) 目錄
●前言
●**編LPLSoftware簡介
●**章TarskTsWorld7.0簡介
●1.1啟動
●1.2世界控制板
●1.3語句控制板
●1.4驗證語法和真
●1.5玩游戲
●1.6偏好
●第2章Fitch3.2簡介
●2.1啟動
●2.2創(chuàng)建和編輯證明
●2.3目標
●2.4復(fù)制和粘貼
●2.5打印證明
●2.6建立練習(xí)
●2.7參數(shù)設(shè)置
●第3章Boole3.1簡介
●3.1啟動
●3.2編寫真值表
●......
展開全部
書友推薦
- >
中國歷史的瞬間
- >
李白與唐代文化
- >
經(jīng)典常談
- >
史學(xué)評論
- >
唐代進士錄
- >
詩經(jīng)-先民的歌唱
- >
推拿
- >
伯納黛特,你要去哪(2021新版)
本類暢銷
