本書提齣瞭一個框架,用於分析程序設計語言的語法、操作和語義性質,該框架基於稱為類型化λ演算的數學係統。λ演算的主要特色是對於函數和其他可計算的值的一種記法,以及一個等式邏輯和用於錶達式求值的一組規則。本書中最簡單的係統是稱為泛代數的一個等式係統,它可以用來公理化和分析通常用於程序設計的許多數據類型。可作為理論計算機科學、軟件係統和數學專業的大學本科高年級或者研究生初始學習階段的教材,同時也適閤用於高等研究的技術參考書。
發表於2024-12-22
程序設計語言理論基礎 2024 pdf epub mobi 電子書 下載
圖書標籤: 程序設計語言 計算機科學 編程語言 計算機軟件和理論 語義 編程 程序設計 計算機
簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。
評分簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。
評分簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。
評分簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。
評分簡單翻瞭一遍就還迴去瞭,作者自己設計瞭一種類似於lambda錶達式的語言來講解,翻譯較差。
程序設計語言理論基礎 2024 pdf epub mobi 電子書 下載