Type Theory and Functional Programming 2024 pdf epub mobi 电子书


Type Theory and Functional Programming

简体网页||繁体网页

Type Theory and Functional Programming 2024 pdf epub mobi 电子书 著者简介


Type Theory and Functional Programming 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-07-02

Type Theory and Functional Programming 2024 pdf epub mobi 电子书

Type Theory and Functional Programming 2024 pdf epub mobi 电子书

Type Theory and Functional Programming 2024 pdf epub mobi 电子书



喜欢 Type Theory and Functional Programming 电子书 的读者还喜欢


Type Theory and Functional Programming 电子书 读后感

评分

对于程序员而不是研究者来说,前三章看着难受,数理逻辑什么的很晦涩,而且这个作者的英语不那么通俗,时不时蹦出个法语词(或者也许是拉丁语?),总之前三章看着费劲,但是对后面影响不大。从第四章开始与编程关系变多因此比较易懂。

评分

对于程序员而不是研究者来说,前三章看着难受,数理逻辑什么的很晦涩,而且这个作者的英语不那么通俗,时不时蹦出个法语词(或者也许是拉丁语?),总之前三章看着费劲,但是对后面影响不大。从第四章开始与编程关系变多因此比较易懂。

评分

对于程序员而不是研究者来说,前三章看着难受,数理逻辑什么的很晦涩,而且这个作者的英语不那么通俗,时不时蹦出个法语词(或者也许是拉丁语?),总之前三章看着费劲,但是对后面影响不大。从第四章开始与编程关系变多因此比较易懂。

评分

对于程序员而不是研究者来说,前三章看着难受,数理逻辑什么的很晦涩,而且这个作者的英语不那么通俗,时不时蹦出个法语词(或者也许是拉丁语?),总之前三章看着费劲,但是对后面影响不大。从第四章开始与编程关系变多因此比较易懂。

评分

对于程序员而不是研究者来说,前三章看着难受,数理逻辑什么的很晦涩,而且这个作者的英语不那么通俗,时不时蹦出个法语词(或者也许是拉丁语?),总之前三章看着费劲,但是对后面影响不大。从第四章开始与编程关系变多因此比较易懂。

类似图书 点击查看全场最低价
出版者:Addison-Wesley
作者:Simon Thompson
出品人:
页数:388
译者:
出版时间:1991-8
价格:USD 40.85
装帧:Hardcover
isbn号码:9780201416671
丛书系列:

图书标签: 函数式编程  计算机科学  type  程序设计语言  程序设计  theory  FP  计算机   


Type Theory and Functional Programming 2024 pdf epub mobi 电子书 图书描述

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.

Type Theory and Functional Programming 2024 pdf epub mobi 电子书

Type Theory and Functional Programming 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

Type Theory and Functional Programming 2024 pdf epub mobi 用户评价

评分

略晦涩

评分

这个是啥,这个又是啥

评分

这个是啥,这个又是啥

评分

略晦涩

评分

略晦涩

Type Theory and Functional Programming 2024 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有