程序設(shè)計語言的形式語義

本書內(nèi)容十分豐富，涉及了集合論、指稱語義、操作語義、公理語義、歸納原理、完備性、域論、信息系統(tǒng)、不確定性和并行性、不完備性和不可判定性等內(nèi)容。同時，每章都包含了豐富的難度不等的練習(xí)。

　　本書是以作者在劍橋大學(xué)和Aarhus大學(xué)的講義為基礎(chǔ)編寫的，是一本難得的形式語義學(xué)方面的經(jīng)典著作。書中為初學(xué)程序設(shè)計語言的語義與邏輯的讀者提供了必需的數(shù)學(xué)知識，介紹了支撐程序設(shè)計語言形式語義的數(shù)學(xué)理論、方法和概念，這些知識可以用于創(chuàng)造、形式化和證明規(guī)則，從而可以描述和推導(dǎo)各類程序設(shè)計語言的各種成分和性質(zhì)。 本書內(nèi)容十分豐富，涉及了集合論、指稱語義、操作語義、公理語義、歸納原理、完備性、域論、信息系統(tǒng)、不確定性和并行性、不完備性和不可判定性等內(nèi)容。同時，每章都包含了豐富的難度不等的練習(xí)。 本書適合作為高等院校計算機專業(yè)高年級本科生和研究生形式語義課程的教材，也可作為...

本書內(nèi)容十分豐富，涉及了集合論、指稱語義、操作語義、公理語義、歸納原理、完備性、域論、信息系統(tǒng)、不確定性和并行性、不完備性和不可判定性等內(nèi)容。同時，每章都包含了豐富的難度不等的練習(xí)。

　　本書是以作者在劍橋大學(xué)和Aarhus大學(xué)的講義為基礎(chǔ)編寫的，是一本難得的形式語義學(xué)方面的經(jīng)典著作。書中為初學(xué)程序設(shè)計語言的語義與邏輯的讀者提供了必需的數(shù)學(xué)知識，介紹了支撐程序設(shè)計語言形式語義的數(shù)學(xué)理論、方法和概念，這些知識可以用于創(chuàng)造、形式化和證明規(guī)則，從而可以描述和推導(dǎo)各類程序設(shè)計語言的各種成分和性質(zhì)。 本書內(nèi)容十分豐富，涉及了集合論、指稱語義、操作語義、公理語義、歸納原理、完備性、域論、信息系統(tǒng)、不確定性和并行性、不完備性和不可判定性等內(nèi)容。同時，每章都包含了豐富的難度不等的練習(xí)。 本書適合作為高等院校計算機專業(yè)高年級本科生和研究生形式語義課程的教材，也可作為軟件開發(fā)人員的參考書。