Artículos relacionados a Introduction to Computation: Haskell, Logic and Automata...
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
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.
De la contraportada
<p>Computation is a process of calculation involving arithmetic and logical steps, following a given set of rules (an algorithm).</p><p>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. From core elements like types, Venn diagrams and logic, to patterns of reasoning, sequent calculus, recursion and algebraic data types, the book spans the breadth of key concepts and methods that will enable students to readily progress with their studies in Computer Science.</p><p></p><p><b>Topics and features:</b></p><ul><li>Spans the key concepts and methods that underpin computation</li><li>Develops symbolic logic, with a view toward honing clarity of thought; and automata, as a foundation for future study of both their applications and related theoretical topics</li><li>Introduces powerful functional programming ideas that will be useful regardless which programming languages are used later</li><li>Provides numerous exercises to support a clear and open, accessible approach</li><li>Offers a dedicated website with resources for instructors and students, including code and links to online information</li><li>Includes a wide array of marginal notes, empowering readers to "go beyond" the content presented</li><li>Approaches logic and automata through Haskell code, to bring key concepts alive and foster understanding through experimentation</li></ul><p>Assuming no formal background in programming, this highly practical and accessible textbook provides the grounding fundamentals of computation for undergraduate students. Its flexible, yet clear expository style also makes the book eminently suitable as a self-study instructional guide for professionals or nonspecialists interested in these topics.</p><p>Prof. <b>Donald Sannella</b>, Prof. <b>Michael Fourman</b>, and Prof. <b>Philip Wadler</b> are each at the University of Edinburgh's School of Informatics, Edinburgh, UK. Mr. <b>Haoran Peng</b> will soon pursue research interests in machine learning and machine intelligence at Cambridge University, Cambridge, UK.</p>
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2022
- ISBN 10 3030769070
- ISBN 13 9783030769079
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de edición1
- Número de páginas384
- Contacto del fabricanteno disponible
EUR 37,71
EUR 17,34 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 34,99
EUR 4,65 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Introduction to Computation: Haskell, Logic and Automata...
Imagen de archivo
Introduction to Computation
Publicado por
Springer Nature Switzerland AG, 2022
ISBN 10: 3030769070
ISBN 13: 9783030769079
Nuevo
PAP
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: GB-9783030769079
Cantidad disponible: 1 disponibles
Imagen de archivo
INTRODUCTION TO COMPUTATION
Librería: Speedyhen, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: NEW. Nº de ref. del artículo: NW9783030769079
Cantidad disponible: 1 disponibles
Imagen de archivo
Introduction to Computation
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-27908
Cantidad disponible: 5 disponibles
Imagen de archivo
Introduction to Computation
Publicado por
Springer Nature Switzerland AG, 2022
ISBN 10: 3030769070
ISBN 13: 9783030769079
Nuevo
PAP
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: GB-9783030769079
Cantidad disponible: 1 disponibles
Imagen de archivo
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783030769079_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science) 1st ed. 2021 Edition
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 379184069
Cantidad disponible: 2 disponibles
Imagen del vendedor
Introduction to Computation
Publicado por
Springer International Publishing Jan 2022, 2022
ISBN 10: 3030769070
ISBN 13: 9783030769079
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 384 pp. Englisch. Nº de ref. del artículo: 9783030769079
Cantidad disponible: 2 disponibles
Imagen del vendedor
Introduction to Computation : Haskell, Logic and Automata
Publicado por
Springer International Publishing, 2022
ISBN 10: 3030769070
ISBN 13: 9783030769079
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783030769079
Cantidad disponible: 1 disponibles
Imagen de archivo
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science) 1st ed. 2021 Edition
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26384719898
Cantidad disponible: 2 disponibles
Imagen de archivo
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783030769079
Cantidad disponible: Más de 20 disponibles