程序設(shè)計(jì)語(yǔ)言的形式語(yǔ)義
認(rèn)領(lǐng)
0粉絲
本書(shū)內(nèi)容十分豐富，涉及了集合論、指稱語(yǔ)義、操作語(yǔ)義、公理語(yǔ)義、歸納原理、完備性、域論、信息系統(tǒng)、不確定性和并行性、不完備性和不可判定性等內(nèi)容。同時(shí)，每章都包含了豐富的難度不等的練習(xí)。 本書(shū)是以作者在劍橋大學(xué)和Aarhus大學(xué)的講義為基礎(chǔ)編寫(xiě)的，是一本難得的形式語(yǔ)義學(xué)方面的經(jīng)典著作。書(shū)中為初學(xué)程序設(shè)計(jì)語(yǔ)言的語(yǔ)義與邏輯的讀者提供了必需的數(shù)學(xué)知識(shí)，介紹了支撐程序設(shè)計(jì)語(yǔ)言形式語(yǔ)義的數(shù)學(xué)理論、方法和
簡(jiǎn)介
本書(shū)內(nèi)容十分豐富，涉及了集合論、指稱語(yǔ)義、操作語(yǔ)義、公理語(yǔ)義、歸納原理、完備性、域論、信息系統(tǒng)、不確定性和并行性、不完備性和不可判定性等內(nèi)容。同時(shí)，每章都包含了豐富的難度不等的練習(xí)。 本書(shū)是以作者在劍橋大學(xué)和Aarhus大學(xué)的講義為基礎(chǔ)編寫(xiě)的，是一本難得的形式語(yǔ)義學(xué)方面的經(jīng)典著作。書(shū)中為初學(xué)程序設(shè)計(jì)語(yǔ)言的語(yǔ)義與邏輯的讀者提供了必需的數(shù)學(xué)知識(shí)，介紹了支撐程序設(shè)計(jì)語(yǔ)言形式語(yǔ)義的數(shù)學(xué)理論、方法和... 更多
屬性
出版社
中信出版社 機(jī)械工業(yè)出版社
ISBN
9787111131533
出版年
2004-1
裝幀
平裝
價(jià)格
32.00元
頁(yè)數(shù)
283
評(píng)價(jià)
0.0（滿分 10 分）0 個(gè)評(píng)分
什么是點(diǎn)評(píng)分
圖片
表情
全部評(píng)價(jià)(
0)
推薦率
100%