圖書標籤: 計算機科學 形式語義 編程語言 計算機 程序設計語言 編程 理論 語義
发表于2024-12-23
程序設計語言的形式語義 pdf epub mobi txt 電子書 下載 2024
本書內容十分豐富,涉及瞭集閤論、指稱語義、操作語義、公理語義、歸納原理、完備性、域論、信息係統、不確定性和並行性、不完備性和不可判定性等內容。同時,每章都包含瞭豐富的難度不等的練習。
本書是以作者在劍橋大學和Aarhus大學的講義為基礎編寫的,是一本難得的形式語義學方麵的經典著作。書中為初學程序設計語言的語義與邏輯的讀者提供瞭必需的數學知識,介紹瞭支撐程序設計語言形式語義的數學理論、方法和概念,這些知識可以用於創造、形式化和證明規則,從而可以描述和推導各類程序設計語言的各種成分和性質。 本書內容十分豐富,涉及瞭集閤論、指稱語義、操作語義、公理語義、歸納原理、完備性、域論、信息係統、不確定性和並行性、不完備性和不可判定性等內容。同時,每章都包含瞭豐富的難度不等的練習。 本書適閤作為高等院校計算機專業高年級本科生和研究生形式語義課程的教材,也可作為軟件開發人員的參考書。
入門級彆的經典!!
評分看瞭1-7章
評分我要迴頭玩技術~~~
評分之前我竟然加瞭語言學標簽(黑人問號),翻譯太直瞭,根本無法理解那些名詞,不如看原版。
評分已購.
计算机为什么会按人类的指令去执行?这本书用形式化语言(数学)证明了这个可能性。人类的语言如何“翻译”(映射)成机器语言?“翻译”过程如何保证了“语义”不变性。 当我们在计算机上撸代码时,如a=1,我们心里明白,我们是要将1赋值到变量a中,可是计算机并不能理解这句...
評分计算机为什么会按人类的指令去执行?这本书用形式化语言(数学)证明了这个可能性。人类的语言如何“翻译”(映射)成机器语言?“翻译”过程如何保证了“语义”不变性。 当我们在计算机上撸代码时,如a=1,我们心里明白,我们是要将1赋值到变量a中,可是计算机并不能理解这句...
評分计算机为什么会按人类的指令去执行?这本书用形式化语言(数学)证明了这个可能性。人类的语言如何“翻译”(映射)成机器语言?“翻译”过程如何保证了“语义”不变性。 当我们在计算机上撸代码时,如a=1,我们心里明白,我们是要将1赋值到变量a中,可是计算机并不能理解这句...
評分计算机为什么会按人类的指令去执行?这本书用形式化语言(数学)证明了这个可能性。人类的语言如何“翻译”(映射)成机器语言?“翻译”过程如何保证了“语义”不变性。 当我们在计算机上撸代码时,如a=1,我们心里明白,我们是要将1赋值到变量a中,可是计算机并不能理解这句...
評分计算机为什么会按人类的指令去执行?这本书用形式化语言(数学)证明了这个可能性。人类的语言如何“翻译”(映射)成机器语言?“翻译”过程如何保证了“语义”不变性。 当我们在计算机上撸代码时,如a=1,我们心里明白,我们是要将1赋值到变量a中,可是计算机并不能理解这句...
程序設計語言的形式語義 pdf epub mobi txt 電子書 下載 2024