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


Type Theory and Functional Programming

简体网页||繁体网页
Simon Thompson
Addison-Wesley
1991-8
388
USD 40.85
Hardcover
9780201416671

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


喜欢 Type Theory and Functional Programming 的读者还喜欢




点击这里下载
    


想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-25

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

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

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



图书描述

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 下载 mobi epub pdf txt 电子书

著者简介


图书目录


Type Theory and Functional Programming pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

略晦涩

评分

这个是啥,这个又是啥

评分

略晦涩

评分

略晦涩

评分

这个是啥,这个又是啥

读后感

评分

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

评分

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

评分

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

评分

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

评分

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

类似图书 点击查看全场最低价

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


分享链接









相关图书




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

友情链接

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有