		English - Nederlands
	computercollectief	comcol.nl
	computerboeken & software	computerboeken

	home	producten	verwacht	koopjes	licenties	nieuwsbrief	dealer-info	contact	winkelwagen
	zoeken	nieuw	thema's	acties	hoe bestellen	faq	winkels	over ons	afrekenen


	computerboeken » algemeen of platformonafhankelijk » software-ontwikkeling » overige programmeertalen » haskell

The Haskell Road to Logic, Maths and Programming

Texts in Computing, Volume 4

King's College London Publications | 2004 | 426 blz. | Kees Doets, Jan van Eijck

The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.

Tutorial for Developers, Beginning, Intermediate and Advanced Level

onze prijs € 19,90 incl. BTW (€ 18,77 excl. BTW) — ISBN: 9780954300692 | 0954300696


		Verzendkosten slechts € 1,95 (voor bestellingen boven de 19 euro in Nederland, daaronder € 4,95)


Alleen op bestelling	dit artikel toch bestellen	naar de kassa


		Let op: dit artikel is niet uit voorraad leverbaar maar het kan wel speciaal voor u besteld worden. De levertijd kan variëren van een paar dagen tot een paar weken, afhankelijk van de leverancier.

	The textbook by Doets and van Eijck puts the Haskell programming language systematically to work for presenting a major piece of logic & mathematics. The reader is taken through chapters on basic logic, proof recipes, sets and lists, relations & functions, recursion & co-recursion, the number systems, polynomials & power series, ending with Cantor's infinities. The book uses Haskell for the executable & strongly typed manifestation of various mathematical notions at the level of declarative programming. The book adopts a systematic but relaxed mathematical style (definition, example, exercise); the text is very pleasant to read due to a small amount of anecdotal information, and due to the fact that definitions are fluently integrated in the running text. An important goal of the book is to get the reader acquainted with reasoning about programs.

	soort artikel	computerboeken
	ons bestelnummer	16731-A7
	titel	The Haskell Road to Logic, Maths and Programming
	subtitel	Texts in Computing, Volume 4
	onderwerp	haskell
	uitgever	King's College London Publications [KINc ]
	ISBN-13	978-0-9543006-9-2 \| 978-0954300692 \| 9780954300692
	ISBN-10	0-9543006-9-6 \| 0954300696
	gepubliceerd in	2004
	geschreven door	Kees Doets, Jan van Eijck
	dit boek behandelt	UK versie
	taal van het boek	Engels UK
	aantal bladzijden	426
	uitvoering	softcover
	artikelcode fabrikant	978-0-9543006-9-2
	barcode	9780954300692


	naar uitvoerig \| compact overzicht	Nog 1 ander boek over haskell




		verzendkosten - verkoopvoorwaarden - privacyverklaring