• Introduction to Computation Haskell, Logic and Automata

Introduction to Computation Haskell, Logic and Automata

0.0 (0 reviews)
In stock (1 available)
SKU SHUB14949
$54.09
Free Shipping within the US
Est. Date: Nov 13, 2025

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.

  • Author(s): Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
  • Publisher: Springer International Publishing
  • Language: en
  • Pages: 366
  • Binding: Paperback
  • Edition: 1st ed. 2021
  • Published: 2022-01-20
  • Dimensions: Height: 11 Inches, Length: 8.25 Inches, Weight: 2.08116375328 Pounds, Width: 0.79 Inches
  • Estimated Delivery: Nov 13, 2025
Customer Reviews
0.0 (0 reviews)
No Reviews Yet

Be the first to review this book!