College Publications · ENSTK
Domain-Specific Languages of Mathematics - Patrik Jansson
EAN: 9781848903883
Compară ofertele (1)
Prețurile sunt preluate automat din feed-urile magazinelor și pot diferi față de site-ul magazinului. Verifică prețul final la magazin.
Descriere Domain-Specific Languages of Mathematics - Patrik Jansson
\n \n The main idea behind this book is to encourage readers to approach \n \n mathematical domains from a functional programming perspective: to \n \n identify the main functions and types involved and, when necessary, to \n \n introduce new abstractions; to give calculational proofs; to pay \n \n attention to the syntax of the mathematical expressions; and, finally, \n \n to organize the resulting functions and types in domain-specific languages.\n \n \n\n \n The book is recommended for developers who are learning mathematics and \n \n would like to use Haskell to make sense of definitions and theorems. It \n \n is also a book for the mathematically interested who wants to explore \n \n functional programming and domain-specific languages. The book helps put \n \n into perspective the domains of Mathematics and Functional Programming \n \n and shows how Computer Science and Mathematics are usefully taught together.\n
Detalii
- Brand
- College Publications
- Categorie
- ENSTK
- EAN / GTIN
- 9781848903883
- Magazine
- 1
- Disponibilitate
- in stock
Produse similare
College Publications
Logic, Methodology and Philosophy of Science and Technology. Bridging Across Academic Cultures. Proceedings of the Sixteenth International Congress in - Tomás Marvan
159,96 RON
libris.ro
College Publications
Understanding Adaptation: Drama, Fiction, Film. A Casebook - James R. Russo
159,96 RON
libris.ro
College Publications
Formal Logic: Classical Problems and Proofs - Luis M. Augusto
163,68 RON
libris.ro
College Publications
Implementing Programming Languages. an Introduction to Compilers and Interpreters - Aarne Ranta
163,68 RON
libris.ro
College Publications
An Introduction to Ontology Engineering - C. Maria Keet
163,68 RON
libris.ro
College Publications
Some Quaint, Old-fashioned Advice. For all the talented, hard-working, extraordinary students entering college and university in the twenty-first cent - A. Troglodyte
148,80 RON
libris.ro
College Publications
Experience and the Ultimate Structure of Reality on Husserl's Pursuit of Truth - Claire Hill
163,68 RON
libris.ro
College Publications
Logic, Philosophy of Mathematics, and their History: Essays in Honor of W. W. Tait - Erich H. Reck
163,68 RON
libris.ro