Introduction to computation : (Record no. 1926)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02436nam a22002777a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | NULRC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250526134149.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250218b ph ||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783030769079 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | NULRC |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA 267 .I56 2021 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Sannella, Donald |
| Relator term | author |
| 245 ## - TITLE STATEMENT | |
| Title | Introduction to computation : |
| Remainder of title | Haskell, logic and automata / |
| Statement of responsibility, etc. | Donald Sannella [and three others]. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Switzerland : |
| Name of publisher, distributor, etc. | Springer, |
| Date of publication, distribution, etc. | c2021. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xvi, 366 pages : |
| Other physical details | illustrations ; |
| Dimensions | 28 cm. |
| 365 ## - TRADE PRICE | |
| Price amount | USD38.00 |
| 490 ## - SERIES STATEMENT | |
| Series statement | Undergraduate Topics in Computer Science |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes index. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 1. Sets -- <br/>2. Types -- <br/>3. Simple Computations -- <br/>4. Venn Diagrams and Logical Connectives -- <br/>5. Lists and Comprehensions -- <br/>6. Features and Predicates -- <br/>7. Testing Your Programs -- <br/>8. Patterns of Reasoning -- <br/>9. More Patterns of Reasoning -- <br/>10. Lists and Recursion -- <br/>11. More Fun with Recursion -- <br/>12. Higher-Order Functions -- <br/>13. Higher and Higher -- <br/>14. Sequent Calculus -- <br/>15. Algebraic Data Types -- <br/>16. Expression Trees -- <br/>17. Karnaugh Maps -- <br/>18. Relations and Quantifiers -- <br/>19. Checking Satisfiability -- <br/>20. Data Representation -- <br/>21. Data Abstraction -- <br/>22. Efficient CNF Conversion -- <br/>23. Counting Satisfying Valuations -- <br/>24. Type Classes -- <br/>25. Search in Trees -- <br/>26. Combinatorial Algorithms -- <br/>27. Finite Automata -- <br/>28. Deterministic Finite Automata -- <br/>29. Non-Deterministic Finite Automata -- <br/>30. Input/Output and Monads -- <br/>31. Regular Expressions -- <br/>32 Non-Regular Languages -- <br/>Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Computation 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 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTER SCIENCE |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Fourman, Michael |
| Relator term | co-author |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Peng, Haoran |
| Relator term | co-author |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wadler, Philip |
| Relator term | co-author |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Books |
| Suppress in OPAC | No |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Digital Forensic | LRC - Main | National University - Manila | General Circulation | 01/14/2025 | Purchased - Amazon | 38.00 | GC QA 267 .I56 2021 | NULIB000020515 | 02/18/2025 | c.1 | Books |