Introduction to Computation: Haskell, Logic and Automata

by Haoran Peng, Michael Fourman, Donald Sannella

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,...

• Format: Paperback
• Language: English
• ISBN: 3030769070
• ISBN13: 9783030769079
• Release Date: January 2022
• Publisher: Springer
• Length: 366 Pages
• Weight: 1.90 lbs.
• Dimensions: 0.8" x 8.3" x 11.0"