Language in Action 在線電子書 圖書標籤: 哲學  邏輯學  邏輯  形式句法  動態邏輯  nobutdunbuy  lambda  dynamic-logic   

喜歡 Language in Action 在線電子書 的讀者還喜歡

本學期選修《一階邏輯》的教材，Johan教授是當代邏輯學的領軍人物之一，是阿姆斯特丹大學地位很高的university professor 之一（一個大學隻有不到十個）。這本書是動態邏輯基礎讀物，內容非常詳細，詳細到囉嗦的地步。此書很有見地的內容是information update的思想，把邏輯作為篩選信息的條件與手段，是本書與傳統邏輯書籍最大的不同。這套思想很好地嚮初學者展示瞭現代邏輯學是如何指導語言、人工智能等學科的發展的。值得一讀

本學期選修《一階邏輯》的教材，Johan教授是當代邏輯學的領軍人物之一，是阿姆斯特丹大學地位很高的university professor 之一（一個大學隻有不到十個）。這本書是動態邏輯基礎讀物，內容非常詳細，詳細到囉嗦的地步。此書很有見地的內容是information update的思想，把邏輯作為篩選信息的條件與手段，是本書與傳統邏輯書籍最大的不同。這套思想很好地嚮初學者展示瞭現代邏輯學是如何指導語言、人工智能等學科的發展的。值得一讀

本學期選修《一階邏輯》的教材，Johan教授是當代邏輯學的領軍人物之一，是阿姆斯特丹大學地位很高的university professor 之一（一個大學隻有不到十個）。這本書是動態邏輯基礎讀物，內容非常詳細，詳細到囉嗦的地步。此書很有見地的內容是information update的思想，把邏輯作為篩選信息的條件與手段，是本書與傳統邏輯書籍最大的不同。這套思想很好地嚮初學者展示瞭現代邏輯學是如何指導語言、人工智能等學科的發展的。值得一讀

本學期選修《一階邏輯》的教材，Johan教授是當代邏輯學的領軍人物之一，是阿姆斯特丹大學地位很高的university professor 之一（一個大學隻有不到十個）。這本書是動態邏輯基礎讀物，內容非常詳細，詳細到囉嗦的地步。此書很有見地的內容是information update的思想，把邏輯作為篩選信息的條件與手段，是本書與傳統邏輯書籍最大的不同。這套思想很好地嚮初學者展示瞭現代邏輯學是如何指導語言、人工智能等學科的發展的。值得一讀

本學期選修《一階邏輯》的教材，Johan教授是當代邏輯學的領軍人物之一，是阿姆斯特丹大學地位很高的university professor 之一（一個大學隻有不到十個）。這本書是動態邏輯基礎讀物，內容非常詳細，詳細到囉嗦的地步。此書很有見地的內容是information update的思想，把邏輯作為篩選信息的條件與手段，是本書與傳統邏輯書籍最大的不同。這套思想很好地嚮初學者展示瞭現代邏輯學是如何指導語言、人工智能等學科的發展的。值得一讀