Bernardy, JeanPhilippe

Domain-Specific Languages of Mathematics

(No reviews yet) Write a Review

ISBN 13:: 9781848903883
author:: Bernardy, JeanPhilippe
format:: Paperback
publisher:: College Publications
language:: English
Publication Year:: 2022
Pages:: 268
Dimensions:: 23.4 x 15.6 x 1.4 centimetres (0
Genre:: Science, Mathematics, Logic,
Condition:: New
Availability:: Item usually sent within 5 working days

£16.95

Current Stock: 5

Quantity:

Description

Description

Domain-Specific Languages of Mathematics By Patrik Jansson, Cezar Ionescu, and Jean-Philippe Bernardy This book explores a unique approach to understanding mathematical domains, one that combines functional programming and domain-specific languages. By identifying key functions and types, and introducing new abstractions as needed, readers can develop a deeper understanding of mathematical concepts. The authors also provide calculational proofs and emphasize the importance of syntax in mathematical expressions. Ideal for developers learning mathematics and looking to use Haskell to make sense of definitions and theorems, as well as those interested in functional programming and domain-specific languages, this book offers a fresh perspective on the intersection of computer science and mathematics.

View AllClose

Related Products

Related Products

The Language of Mathematics: The Stories Behind the Symbols

Rojas, RaÃºl

£19.87

The Language of Mathematics: A Collection of Stories Behind the Symbols Discover the fascinating histories behind the mathematical symbols that shape our understanding of the world. From numbers and...

English for Specific Purposes (Cambridge Language Teaching Library) (Cambridge Language Teaching Library)

Hutchinson, Tom

£43.12

Effective Learning in ESP Courses This book explores the evolution of English for Specific Purposes (ESP) and its practical applications in teaching. It covers essential topics such as course design,...

Add to Cart

Quick view

A Profile of Mathematical Logic (Dover Books on Mathematics)

Delong, Howard

£15.10

A Profile of Mathematical Logic by Howard DeLong explores the historical development of mathematical logic, from the roots of Aristotelian logic to the formal axiomatic method and its applications...

Mathematics for the Million

Hogben, Lancelot

£11.40

Mathematics for the Million: A Comprehensive Guide to Mastering Numbers. This influential book provides an accessible introduction to mathematics, covering topics from basic arithmetic to calculus...

Mindset Mathematics

Boaler, Jo

£18.82

Engage students in mathematics using growth mindset techniques. This book provides a collection of low floor, high ceiling tasks to help you connect mathematics concepts, using visualization, play,...