掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣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年)并發表多篇數理邏輯高水平研究論文。
書友推薦
- >
經典常談
- >
莉莉和章魚
- >
姑媽的寶刀
- >
羅庸西南聯大授課錄
- >
中國歷史的瞬間
- >
伯納黛特,你要去哪(2021新版)
- >
回憶愛瑪儂
- >
有舍有得是人生