內容簡介
本書版是20世紀80年代國家*計算機軟件專業教材編委會推薦教材之一。本書詳細地給出了形式語義學的基礎理論框架,但它並不是一本純理論的教材,而是一本理論與軟件實踐相結合的教材。
全書共分十章。介紹了指稱語義學、代數語義學、操作語義學與公理語義學的基本內容及其應用,並介紹了並發程序設計語言各流派的語義模型和新一代計算機計算模型的理論問題。例如curry的組合邏輯,Martin-Lof的直覺主義數學的討論都是近代計算機理論較重要的基礎內容。
本書內容豐富,重點突出,並配有大量習題,可作為高等院校電子信息、計算機科學專業本科高年級學生、研究生的教材,也可供信息技術人員和計算機軟件設計、工程人員參考。
全書共分十章。介紹了指稱語義學、代數語義學、操作語義學與公理語義學的基本內容及其應用,並介紹了並發程序設計語言各流派的語義模型和新一代計算機計算模型的理論問題。例如curry的組合邏輯,Martin-Lof的直覺主義數學的討論都是近代計算機理論較重要的基礎內容。
本書內容豐富,重點突出,並配有大量習題,可作為高等院校電子信息、計算機科學專業本科高年級學生、研究生的教材,也可供信息技術人員和計算機軟件設計、工程人員參考。