本書提齣瞭一個框架,用於分析程序設計語言的語法、操作和語義性質,該框架基於稱為類型化λ演算的數學係統。λ演算的主要特色是對於函數和其他可計算的值的一種記法,以及一個等式邏輯和用於錶達式求值的一組規則。本書中最簡單的係統是稱為泛代數的一個等式係統,它可以用來公理化和分析通常用於程序設計的許多數據類型。可作為理論計算機科學、軟件係統和數學專業的大學本科高年級或者研究生初始學習階段的教材,同時也適閤用於高等研究的技術參考書。
評分
評分
評分
評分
簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。
评分簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。
评分簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。
评分簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。
评分簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有