Description: Prof. Donald Sannella, Prof. Michael Fourman, and Prof. Philip Wadler are each at the University of Edinburgh's School of Informatics, Edinburgh, UK. Mr. Haoran Peng is also at the same university department. 1 Sets 132 Types 193 Simple Computations 274 Venn Diagrams and Logical Connectives 355 Lists and Comprehensions 456 Features and Predicates 557 Testing Your Programs 638 Patterns of Reasoning 739 More Patterns of Reasoning 8110 Lists and Recursion 9111 More Fun with Recursion 10112 Higher-Order Functions 11113 Higher and Higher 12314 Sequent Calculus 13115 Algebraic Data Types 14316 Expression Trees 15717 Karnaugh Maps 17518 Relations and Quantifiers 18319 Checking Satisfiability 19120 Data Representation 20321 Data Abstraction 22122 Efficient CNF Conversion 23723 Counting Satisfying Valuations 24924 Type Classes 26325 Search in Trees 27526 Combinatorial Algorithms 28527 Finite Automata 29928 Deterministic Finite Automata 31129 Non-Deterministic Finite Automata 32130 Input/Output and Monads 34131 Regular Expressions 35932 Non-Regular Languages 369Index 377
Price: 64.16 USD
Location: East Hanover, New Jersey
End Time: 2024-11-17T21:28:36.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 60 Days
Refund will be given as: Money Back
Return policy details:
EAN: 9783030769079
UPC: 9783030769079
ISBN: 9783030769079
MPN: N/A
Book Title: Introduction to Computation: Haskell, Logic and Au
Item Height: 2 cm
Number of Pages: Xvi, 366 Pages
Language: English
Publication Name: Introduction to Computation : Haskell, Logic and Automata
Publisher: Springer International Publishing A&G
Publication Year: 2022
Subject: Computer Science, General, Applied
Item Weight: 33.3 Oz
Type: Textbook
Item Length: 11 in
Subject Area: Mathematics, Computers
Author: Philip Wadler, Haoran Peng, Michael Fourman, Donald Sannella
Item Width: 8.3 in
Series: Undergraduate Topics in Computer Science Ser.
Format: Trade Paperback
