Home > Book
Check-outs :

數學邏輯引論 /

  • Hit:64
  • Rating:0
  • Review:0
  • Trackback:0
  • Forward:0


轉寄 列印
第1級人氣樹(0)
人氣指樹
  • keepsite
  • Introduction
  • About Author
  • Collection(0)
  • Review(0)
  • Rating(0)
  • Trackback(0)

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

Must Login
Must Login
Must Login
Must Login


Teackback URL: