數理邏輯
畢富生

 

  • 數理邏輯
  • 紀錄類型: 書目-電子資源 : 單行本
    作者: 畢富生
    出版地: 北京
    出版者: 高等教育出版社;
    出版年: 2004
    標題: 數理邏輯 - 教材 - 高等學校 -
    電子資源: 中華數字書苑--點擊此處查看電子書全文
    附註: 需要下載並安裝APABI Reader軟件閱讀電子圖書
    摘要註: 本書是國內介紹數理邏輯基本知識的最新讀本。著者針對文科學生學習數理邏輯所遇到的困難,盡可能結合傳統邏輯來介紹數理邏輯的基礎知識,著重介紹邏輯演算部份內容;對其中的自然推理系統做了詳細介紹,對公理推理系統僅做一般性介紹;力求以較為通俗的語言來闡述數理邏輯的基本原理和符號表達公式,並編配了練習題,具有較強的針對性和可讀性。
    ISBN: 7040137984
館藏地:  出版年:  卷號: 
館藏
此限制條件找不到符合的館藏,請您更換限制條件。
建立或儲存個人書籤
書目轉出
取書館別
 
 
變更密碼
登入