Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)

by Donald Sannella, Michael Fourman, Haoran Peng, and Philip Wadler

0 ratings • 0 reviews • 0 shelved
Book cover for Introduction to Computation

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

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.
  • ISBN13 9783030769079
  • Publish Date 20 January 2022
  • Publish Status Active
  • Publish Country CH
  • Imprint Springer Nature Switzerland AG
  • Edition 1st ed. 2021
  • Format Paperback
  • Pages 366
  • Language English