Introduction to Computation: Haskell, Logic and Automata

Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science) 1st ed. 2021 Edition
Author: Donald Sannella,Michael Fourman,Haoran Peng,Philip Wadler (Author)
Publisher Finelybook 出版社:Springer; 1st ed. 2021 edition (January 7, 2022)
Language 语言:English
pages 页数:381 pages
ISBN-10 书号:3030769070
ISBN-13 书号:9783030769079

Book Description
Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm). This uniquely accessible textbook introduces students using a very distinctive approach, quite rapidly leading them into essential topics with sufficient depth, yet in a highly intuitive manner. From core elements like sets, types, Venn diagrams and logic, to patterns of reasoning, calculus, recursion and expression trees, the book spans the breadth of key concepts and methods that will enable students to readily progress with their studies in Computer Science.

隐藏内容1积分,请先!没有帐号? 注 册 一个!
赞(0) 觉得文章有用就打赏一下
未经允许不得转载:finelybook » Introduction to Computation: Haskell, Logic and Automata

评论 下载问题及网盘链接失效反馈!

评论前必须登录!

觉得文章有用就打赏一下

支付宝扫一扫打赏

微信扫一扫打赏