庫存狀況
「香港二樓書店」讓您 愛上二樓●愛上書
我的購物車 加入會員 會員中心 常見問題 首頁
「香港二樓書店」邁向第一華人書店
登入 客戶評價 whatsapp 常見問題 加入會員 會員專區 現貨書籍 現貨書籍 購物流程 運費計算 我的購物車 聯絡我們 返回首頁
香港二樓書店 > 今日好書推介
   
格雷的五十道陰影I:調教(電影封面版)
  • 定價127.00元
  • 8 折優惠:HK$101.6
  • 放入購物車
二樓書籍分類
 
邏輯思維當代應用:從哲學、數學、語言學、AI角度全方位學邏輯

邏輯思維當代應用:從哲學、數學、語言學、AI角度全方位學邏輯

沒有庫存
訂購需時10-14天
9786263664111
王文方
五南
2023年12月25日
150.00  元
HK$ 142.5  






ISBN:9786263664111
  • 規格:平裝 / 340頁 / 17 x 23 x 1.7 cm / 普通級 / 單色印刷 / 初版
  • 出版地:台灣


  • 專業/教科書/政府出版品 > 文史哲類 > 哲學 > 基本邏輯











      科技化、高效率學習邏輯基礎及其全方面應用

    ?

      本書除介紹邏輯學基礎內容,亦深入說明邏輯學在當代各領域中如何被廣泛應用。

    ?

      作為基礎教材方面,本書介紹了邏輯學各種基礎與進階概念,如:經典命題邏輯與謂詞邏輯的語義模型論證明方法、語義樹枝法與自然演繹法兩種語法證明方法,並介紹了多種可自由使用的網路學習資源,以利邏輯初學者學習與檢驗成果之用。

    ?

      在說明邏輯學在當代各領域應用方面,本書以哲學、數學、語言學與AI(人工智慧)中的若干問題為例,舉例說明邏輯學在當代各領域重要應用成果,並藉此深入說明邏輯學的重要相關技術與發展。

    ?

      本書為想了解邏輯學內容,以及想深入探討邏輯學在當代應用情況的讀者,提供絕佳的參考。



     





    Chapter 1 導論

    第一節 邏輯學的研究對象

    第二節 基本的邏輯學概念

    第三節 各種邏輯基本概念間的關聯

    第四節 如何研究邏輯



    第一部分 命題邏輯

    Chapter 2 真值函數式連接詞與真值表


    第一節 真值函數式連接詞

    第二節 命題語言(PL)

    第三節 基本真值表

    第四節 部分與完整真值表



    Chapter 3 PL的語義論方法

    第一節 真值表的應用

    第二節 PL 語義模型

    第三節 PL 後設證明



    Chapter 4 PL的語義樹枝法

    第一節 語義樹的基本想法與基本概念

    第二節 PL 語義樹的擴展規則

    第三節 PL 語義樹枝法的應用



    Chapter 5 PL的自然演繹法

    第一節 自然演繹法的基本想法與基本概念

    第二節 PL 自然演繹法的基本推論規則

    第三節 PL 自然演繹法的應用與限制



    第二部分 量化(帶等同)邏輯

    Chapter 6 量化(帶等同)語言(QL)


    第一節 語句結構分析

    第二節 量化(帶等同)語言(QL)

    第三節 QL 中的幾個重要語法概念

    第四節 QL 符號的直覺涵義和各種精確量化詞

    第五節 自然語言的形式化



    Chapter 7 QL的語義論方法

    第一節 QL 語義模型

    第二節 QL 後設證明



    Chapter 8 QL的語義樹枝法

    第一節 QL 語義樹的擴展規則

    第二節 QL 語義樹枝法的應用

    第三節 QL 語義樹的完成問題



    Chapter 9 QL的自然演繹法

    第一節 QL 自然演繹法的基本推論規則

    第二節 QL 自然演繹法的應用與限制

    第三節 自然演繹法的相關軟體及網站



    Chapter 10 選言標準式與連言標準式

    第一節 PL 選言標準式與功能完備性

    第二節 PL 連言標準式



    第三部分 當代邏輯學的應用

    Chapter 11 邏輯學在哲學之應用


    第一節 羅素的確定描述詞理論

    第二節 羅素確定描述詞理論在哲學問題上的應用之一

    第三節 羅素確定描述詞理論在哲學問題上的應用之二

    第四節 把確定描述詞當作基本符號的非羅素式作法



    Chapter 12邏輯學在數學之應用

    第一節 函數及函數符號

    第二節 公理化算術系統



    Chapter 13 邏輯學在語言學之應用

    第一節 邏輯蘊涵與衍涵

    第二節 邏輯蘊涵與會話蘊涵

    第三節 會話蘊涵和真值函數式連接詞的意義



    Chapter 14 邏輯學在AI之應用

    第一節 人工智慧與邏輯學——常識推理

    第二節 自動化推理機制

    第三節 知識表示法與知識庫建立










    其 他 著 作
    1. 語言哲學
    2. 這是個什麼樣的世界?