The Haskell Road to Logic, Maths and Programming. Second Edition

The Haskell Road to Logic, Maths and Programming. Second Edition
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
2004-05
ISBN: 9780954300692
装帧: 其他
开本: 其他
纸张: 其他
  • The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. Throughout the text, abstract concepts are linked to concrete representations in Haskell. Everything one has to 
  • 内容简介:
    The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. Throughout the text, abstract concepts are linked to concrete representations in Haskell. Everything one has to 
查看详情
好书推荐 / 更多
The Haskell Road to Logic, Maths and Programming. Second Edition
人文与社会译丛:历史与记忆(记忆史研究指导之书)
杰弗里·丘比特 著;王晨凤 译
The Haskell Road to Logic, Maths and Programming. Second Edition
汗青堂丛书076·天女临凡:从宋到清的后宫生活与帝国政事
[美]马克梦 后浪
The Haskell Road to Logic, Maths and Programming. Second Edition
甲骨文丛书·根部之血:美国的一次种族清洗
[美]帕特里克·菲利普斯
The Haskell Road to Logic, Maths and Programming. Second Edition
鼓楼新悦丛书.蛮族世界的拼图:欧洲史前居民百科全书(随考古学家一起,拼一幅蛮族世界的拼图)
[波兰]彼得·柏伽基(Peter Bogucki) 著;朱鸿飞 译
The Haskell Road to Logic, Maths and Programming. Second Edition
好望角丛书·毁灭与重生:日本昭和时代(1926—1989)
[日]古川隆久
The Haskell Road to Logic, Maths and Programming. Second Edition
日本及其历史枷锁
R.塔格特·墨菲
The Haskell Road to Logic, Maths and Programming. Second Edition
视觉艺术的现象学(当代学术棱镜译丛)
[英]保罗·克劳瑟(Paul Crowther) 著;李牧 译
The Haskell Road to Logic, Maths and Programming. Second Edition
艺术与国家:比较视野中的视觉艺术(艺术社会学经典)
玛里林·鲁施迈耶 著;赵卿 译;维多利亚·D.亚历山大
The Haskell Road to Logic, Maths and Programming. Second Edition
她来自马里乌波尔
[德]娜塔莎·沃丁 著;[德]祁沁雯 译
The Haskell Road to Logic, Maths and Programming. Second Edition
大师与他们的音乐:指挥的艺术与魔力
[美]约翰·毛切里
The Haskell Road to Logic, Maths and Programming. Second Edition
蚂蚁三部曲 超越人类的文明不在遥远的外星,它可能就在我们脚下
蔡孟真 袁晶等 后浪 译者;[法]贝尔纳·韦尔贝尔(Bernard Werber)
The Haskell Road to Logic, Maths and Programming. Second Edition
墨比斯漫画精选集
[法]墨比斯 著;朱洁 叶蔚林 赵心舒 译