內容介紹
本書由歐美當代頂尖數理語言學家聯合力作，歐美大學語言學系經典教材，為目前各個語種中最完善的版本。涵蓋離散數學幾乎所有內容，尤其包括和語言研究密切相關的部分。全書分為五部分，分別為：集合論；邏輯和形式系統；代數；作為形式語言的英語；語言、語法與自動機。每章後附大量練習，每部分後附複習題，並配有練習答案，幫助加深對所學內容的理解。作者介紹
Barbara H．Partee是美國馬薩諸塞大學著名的語言學和哲學教授，國際上資深的蒙塔鳩語法(Montague grammar)研究專家和形式語義學(formal semantics)奠基人之一。她於1986年擔任美國語言學會主席，1984年和1989年先後當選為美國文理科學院和國家科學院院士，多年來一直擔任國際形式語義學刊物的編委。作品目錄
符號表序言
第一部分集合論
第一章集合論的基本概念
1．1集合的概念
1．2集合的性質
1．3集合論的恆等和勢
1．4子集
1．5冪集
1．6並和交
1．7差和補
1．8集合論的等式
練習
第二章關係與函式
2．1序偶與笛卡爾乘積
2．2關係
2．3函式
……
第二部分 邏輯和形式系統
第三部分 代數
第四部分 作為形式語言的英語
第五部分 語言、語法與自動機
參考書目
英文索引
譯名表
