掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
簡明實驗邏輯學 版權信息
- ISBN：9787310064328
- 條形碼：9787310064328 ; 978-7-310-06432-8
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
簡明實驗邏輯學 內容簡介
本教材屬“南開哲學教材系列”，是作者所負責課程“數理邏輯實驗教程”（后改名為“實驗邏輯學”）相關配套教材。全書共16章，具體包括以下內容：第1章Tarski’sWorld7.2簡介；第2章Fitch3.7簡介；第3章?Boole4.2簡介；第4章原子語句；第5章原子語句的邏輯；第6章布爾聯結詞；第7章?布爾聯結詞邏輯；第8章?布爾邏輯的證明規則；第9章?布爾邏輯的證明方法；第10章?蘊涵；第11章?蘊涵的邏輯；第12章?量詞；第13章?量詞的邏輯；第14章?多重量詞；第15章?量詞的證明方法；第16章?量詞的證明規則及附錄“一些有意義的證明”。
簡明實驗邏輯學 目錄
第1章Tarski'sWorld7.2簡介
1.1入門指南
1.2世界控制板
1.3語句控制板
1.4驗證語法和真
1.5玩游戲
1.6參數
第2章Fitch3.7簡介
2.1入門指南
2.2創建和編輯證明
2.3目標
2.4復制和粘貼
2.5導出文本
2.6建立練習
2.7參數設置
第3章Boole4.2簡介
3.1入門指南
3.2編寫真值表
3.3指定評價
3.4驗證你的表
3.5保存或導出你的文本
3.6參數
……
展開全部
簡明實驗邏輯學 作者簡介
李娜，女，南開大學哲學院教授，主要研究方向為數理邏輯、模態邏輯、集合論、抽象代數。主持多項數理邏輯國家項目，主編多部教材如《數理邏輯實驗教程》（武漢大學出版社，2010年）、《邏輯學實驗教程》（南開大學出版社，2012年），《實驗邏輯學》（南開大學出版社，2017年），《實驗邏輯學》（第二版，南開大學出版社，2021年）并發表多篇數理邏輯高水平研究論文。
書友推薦
- >
莉莉和章魚
- >
伊索寓言-世界文學名著典藏-全譯本
- >
詩經-先民的歌唱
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
苦雨齋序跋文-周作人自編集
- >
隨園食單
- >
羅曼·羅蘭讀書隨筆-精裝
- >
唐代進士錄
