• 讀書網|DuShu.com - 讀書·學習·生活
  •  | 簡體版
  • 論壇
  • 暢銷
  • 連載
  • 圖書
  • 資訊
  • 首頁
  • 國學/古籍 | 文學藝術 | 人文社科 | 經濟管理 | 生活時尚 | 科學技術 | 教材教輔 | 少兒讀物
  •    
  • 圖書搜索:
  •  
     全部圖書 可讀圖書 可購圖書
     
  • 范疇類型邏輯 - 書籍詳細信息
  • 查看同類圖書:人文社科»哲學»哲學理論»范疇類型邏輯
  • 范疇類型邏輯

  • 【作 者】:鄒崇理
  • 【叢編項】:中國社會科學院文庫
  • 【裝幀項】:平裝 16 / 251 pages
  • 【出版項】:中國社會科學出版社
  • 【ISBN號】:9787500467113 / 7500467117
  • 【原書定價】:¥30.00 有2家書店打折銷售 
  • 【主題詞】:哲學/宗教-哲學-哲學理論
  • 【圖書簡介】
      范疇類型邏輯是一種使用運算和推演的手段描述語言的形式化工具。本書對范疇類型邏輯的發展階段、范疇類型邏輯的新功能和范疇類型邏輯的研究進行了全面的論述。
  • 【作者簡介】
      鄒崇理,成都市人,哲學博士,師從我國著名邏輯學家周禮全先生。1999年為香港理工大學外聘研究人員。2003年起為中國社會科學院哲學所研究員和博士生導師。2005年到美國賓夕法尼亞大學和馬塞諸塞大學訪問。2006年起任邏輯研究室主任,哲學所學術委員會委員和職稱評審委員會委員。2004年起任中國邏輯學會秘書長,中國邏輯學會語言邏輯專業委員會主任,北京邏輯學會副會長。十多年來在語言和邏輯的領域辛勤耕耘,出版了《邏輯、語言和蒙太格語法》、《自然語言邏輯研究》和《邏輯、語言和信息》等專著,發表了《信息流邏輯》、《非連續量詞的類型-邏輯語義處理》和《多模態范疇邏輯研究》等四十多篇論文。其專著獲2002年度中國社科院優秀科研成果二等獎和2004年中國邏輯學會科研成果最高獎項。
  • 【本書目錄】
    緒論
    第一章 范疇類型邏輯的發展階段
    第1節 古典范疇語法
    第2節 Lambek句法演算
    第3節 蒙太格語法
    第4節 類型——邏輯語義學
    第5節 語法邏輯

    第二章 范疇類型邏輯的特性——邏輯的新功能

    第三章 范疇類型邏輯研究
    參考文獻
    后記
  • 【購買本書】
  • 商城名稱價格 配送信息優惠活動去看看購買

    當當網
    ¥25.50
    當天加急送:北京五環以內
    送貨上門:國內178個城市
    郵寄:全球
    特快專遞:全球
    全場免運費 去看看 訂購

    卓越網
    ¥25.50 送貨上門:國內308個城市
    郵寄:全球
    特快專遞:全球
    海外航空快遞
    滿30元,優惠5元運費 去看看 訂購

    中國圖書館網
    ¥0.4/頁起
    郵寄、快遞:全國
    特快專遞EMS:全球
    提供稀缺絕版圖書文獻影印服務 去看看 預定
  • 說明:
  • 1、由于網上書店可能根據各種情況隨時調整價格,我們的價格信息存在滯后性。以上價格僅作參考,具體以網上書店標示的價格為準。
    2、如價格折扣信息和原書定價存在較大誤差,可能是該店售書為本書的不同版本或不同裝禎形式,請讀者自行鑒別。
    3、對如何網上購書存在疑問,請點擊上面購書指南鏈接查詢。
  • Copyright © 讀書網 www.dushu.com 2006-2007, All Rights Reserved.
    鄂ICP備06000781號 公安備4201502577