000			02436nam a22002777a 4500
003			NULRC
005			20250526134149.0
008			250218b ph ||||| |||| 00| 0 eng d
020			_a9783030769079
040			_cNULRC
050			_aQA 267 .I56 2021
100			_aSannella, Donald _eauthor
245			_aIntroduction to computation : _bHaskell, logic and automata / _cDonald Sannella [and three others].
260			_aSwitzerland : _bSpringer, _cc2021.
300			_axvi, 366 pages : _billustrations ; _c28 cm.
365			_bUSD38.00
490			_aUndergraduate Topics in Computer Science
504			_aIncludes index.
505			_a1. Sets -- 2. Types -- 3. Simple Computations -- 4. Venn Diagrams and Logical Connectives -- 5. Lists and Comprehensions -- 6. Features and Predicates -- 7. Testing Your Programs -- 8. Patterns of Reasoning -- 9. More Patterns of Reasoning -- 10. Lists and Recursion -- 11. More Fun with Recursion -- 12. Higher-Order Functions -- 13. Higher and Higher -- 14. Sequent Calculus -- 15. Algebraic Data Types -- 16. Expression Trees -- 17. Karnaugh Maps -- 18. Relations and Quantifiers -- 19. Checking Satisfiability -- 20. Data Representation -- 21. Data Abstraction -- 22. Efficient CNF Conversion -- 23. Counting Satisfying Valuations -- 24. Type Classes -- 25. Search in Trees -- 26. Combinatorial Algorithms -- 27. Finite Automata -- 28. Deterministic Finite Automata -- 29. Non-Deterministic Finite Automata -- 30. Input/Output and Monads -- 31. Regular Expressions -- 32 Non-Regular Languages -- Index.
520			_aComputation is a process of calculation involving arithmetic and logical steps, following a given set of rules (an algorithm). This uniquely accessible textbook introduces students to computation using a very distinctive approach, quite rapidly leading them into essential topics with sufficient depth, yet in a highly intuitive manner. The work is anchored in coverage of functional programming (in Haskell), symbolic logic, and finite automata-- each a critical component of the foundations of Informatics, and together offering students a clear glimpse into an intellectual journey beyond mere mastery of technical skills.
650			_aCOMPUTER SCIENCE
700			_aFourman, Michael _eco-author
700			_aPeng, Haoran _eco-author
700			_aWadler, Philip _eco-author
942			_2lcc _cBK _n0
999			_c1926 _d1926