館藏書目查詢 > 書目資料
借閱次數 :

數理邏輯引論

  • 點閱:336
  • 評分:0
  • 評論:0
  • 引用:0
  • 轉寄:0



  • 書籤:
轉寄 列印
第1級人氣樹(0)
人氣指樹
  • 館藏
  • 簡介
  • 作者簡介
  • 收藏(0)
  • 評論(0)
  • 評分(0)

命題邏輯從亞里士多德三階段論法以降,歷經一、二千年,以二值邏輯形式形成演繹法的主要根據。但自萊布尼茲發端,數理邏輯三百年來不斷進步,尤其是自十九世紀中葉以後到一九三○年代為止。理論基礎已經確定,數理邏輯近六十年來幾乎完全取代了傳統命題邏輯的三段論法,並以多值函數處理二值邏輯無法解決的命題。本書即是將數理邏輯做一全面系統性的介紹,是當代數理邏輯最佳入門書之一。

此功能為會員專屬功能請先登入
此功能為會員專屬功能請先登入
此功能為會員專屬功能請先登入
此功能為會員專屬功能請先登入