Lambda-Calculus and Combinators pdf epub mobi txt 電子書 下載 2025


Lambda-Calculus and Combinators

簡體網頁||繁體網頁
J. Roger Hindley
2008-6
0
$ 113.00
9780511809835

圖書標籤: Lambda  函數式  fp  數學   


喜歡 Lambda-Calculus and Combinators 的讀者還喜歡




    下載連結1
    下載連結2
    下載連結3
        


    想要找書就要到 小哈圖書下載中心
    立刻按 ctrl+D收藏本頁
    你會得到大驚喜!!

    发表于2025-05-28

    Lambda-Calculus and Combinators epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025

    Lambda-Calculus and Combinators epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025

    Lambda-Calculus and Combinators pdf epub mobi txt 電子書 下載 2025



    圖書描述

    Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subject, with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.

    • The authors' 1986 version of this book is widely recognised as the best introduction to these topics for the reader with some previous experience of logic; this version builds and updates that framework • Accessible and clear: a non-technical treatment of the subject with the main ideas emphasized and illustrated by examples • Exercises are designed to give practice to beginners and range from elementary to advanced, with solutions to most found at the end of the book

    Lambda-Calculus and Combinators 下載 mobi epub pdf txt 電子書

    著者簡介


    圖書目錄


    Lambda-Calculus and Combinators pdf epub mobi txt 電子書 下載
    想要找書就要到 小哈圖書下載中心
    立刻按 ctrl+D收藏本頁
    你會得到大驚喜!!

    用戶評價

    評分

    評分

    評分

    評分

    評分

    讀後感

    評分

    我会点lisp会点sml,懵懵懂懂能写点一两百行的程序,但心里很清楚自己连门槛都没摸着,于是读了lambda calculus的wiki词条,感觉还是边都摸不到,于是买了这本书打算系统的了解一下。 本来对这书没太大期望值,但边翻边看出味道来了。每看一章都有惊喜啊!我艹原来ISKB是这么...

    評分

    我会点lisp会点sml,懵懵懂懂能写点一两百行的程序,但心里很清楚自己连门槛都没摸着,于是读了lambda calculus的wiki词条,感觉还是边都摸不到,于是买了这本书打算系统的了解一下。 本来对这书没太大期望值,但边翻边看出味道来了。每看一章都有惊喜啊!我艹原来ISKB是这么...

    評分

    我会点lisp会点sml,懵懵懂懂能写点一两百行的程序,但心里很清楚自己连门槛都没摸着,于是读了lambda calculus的wiki词条,感觉还是边都摸不到,于是买了这本书打算系统的了解一下。 本来对这书没太大期望值,但边翻边看出味道来了。每看一章都有惊喜啊!我艹原来ISKB是这么...

    評分

    我会点lisp会点sml,懵懵懂懂能写点一两百行的程序,但心里很清楚自己连门槛都没摸着,于是读了lambda calculus的wiki词条,感觉还是边都摸不到,于是买了这本书打算系统的了解一下。 本来对这书没太大期望值,但边翻边看出味道来了。每看一章都有惊喜啊!我艹原来ISKB是这么...

    評分

    我会点lisp会点sml,懵懵懂懂能写点一两百行的程序,但心里很清楚自己连门槛都没摸着,于是读了lambda calculus的wiki词条,感觉还是边都摸不到,于是买了这本书打算系统的了解一下。 本来对这书没太大期望值,但边翻边看出味道来了。每看一章都有惊喜啊!我艹原来ISKB是这么...

    類似圖書 點擊查看全場最低價

    Lambda-Calculus and Combinators pdf epub mobi txt 電子書 下載 2025


    分享鏈接





    相關圖書




    本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度googlebingsogou

    友情鏈接

    © 2025 twxs8.cc All Rights Reserved. 小哈圖書下載中心 版权所有