计算导论：哈斯克尔，逻辑与自动机（计算机科学本科主题）[EPUB]

计算本身就是计算的一种形式，它包括遵循一组特定规则（算法）的算术和非算术（逻辑）步骤。这本独特易读的教科书以一种非常独特的方式向学生介绍，非常迅速地引导他们以一种高度直观的方式进入具有足够深度的基本主题。从集合、类型、维恩图和逻辑等核心元素，到推理模式、微积分、递归和表达式树，这本书跨越了关键概念和方法的广度，使学生能够轻松地在计算机科学研究中取得进展。
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science) [EPUB]
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.

OR