Derivation and Computation pdf epub mobi txt 電子書下載2025

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:Cambridge University Press

作者:H. Simmons

出品人:

頁數:410

译者:

出版時間:2000-06-12

價格:USD 120.00

裝幀:Hardcover

isbn號碼:9780521771733

叢書系列:Cambridge Tracts in Theoretical Computer Science

圖書標籤:

遞歸論
編程語言理論
數學
theory
proof
pl
correspondence
computation

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

The two notions of proofs and calculations are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. This volume explores this key relationship and introduces simple type theory. Starting from the familiar propositional calculus, the author develops the central idea of an applied lambda-calculus. This is illustrated by an account of Gödel's T, a system that codifies number-theoretic function hierarchies. Each of the book's 52 sections ends with a set of exercises, some 200 in total. An appendix contains complete solutions of these exercises.