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.
具体描述
读后感
对于程序员而不是研究者来说，前三章看着难受，数理逻辑什么的很晦涩，而且这个作者的英语不那么通俗，时不时蹦出个法语词（或者也许是拉丁语？），总之前三章看着费劲，但是对后面影响不大。从第四章开始与编程关系变多因此比较易懂。
评分对于程序员而不是研究者来说，前三章看着难受，数理逻辑什么的很晦涩，而且这个作者的英语不那么通俗，时不时蹦出个法语词（或者也许是拉丁语？），总之前三章看着费劲，但是对后面影响不大。从第四章开始与编程关系变多因此比较易懂。
评分对于程序员而不是研究者来说，前三章看着难受，数理逻辑什么的很晦涩，而且这个作者的英语不那么通俗，时不时蹦出个法语词（或者也许是拉丁语？），总之前三章看着费劲，但是对后面影响不大。从第四章开始与编程关系变多因此比较易懂。
评分对于程序员而不是研究者来说，前三章看着难受，数理逻辑什么的很晦涩，而且这个作者的英语不那么通俗，时不时蹦出个法语词（或者也许是拉丁语？），总之前三章看着费劲，但是对后面影响不大。从第四章开始与编程关系变多因此比较易懂。
评分对于程序员而不是研究者来说，前三章看着难受，数理逻辑什么的很晦涩，而且这个作者的英语不那么通俗，时不时蹦出个法语词（或者也许是拉丁语？），总之前三章看着费劲，但是对后面影响不大。从第四章开始与编程关系变多因此比较易懂。
用户评价
略晦涩
评分这个是啥，这个又是啥
评分这个是啥，这个又是啥
评分略晦涩
评分这个是啥，这个又是啥
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有