You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. 1989 edition.
Standard ML has become the principal teaching language for introducing functional programming. This textbook places emphasis on teaching the essential features of ML, with extensive practical examples, and is intended for undergraduates studying functional programming with Standard ML.
This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberally, spanning underpinning theory, tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Wider applications including secure and trustworthy software, and health care and emergency management. The book starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written by Alan Bundy, which is followed by chapters from leading researchers associated with the group. Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates. It should also be of interest to those researching the history of AI.
More than a fantastical story of youth's journey to self-knowledge, 'The Wave Singer' is a captivating and challenging allegory for growing up in a harsh world of deceptive options.
A sweeping history of the full range of human labor Few authors are able to write cogently in both the scientific and the economic spheres. Even fewer possess the intellectual scope needed to address science and economics at a macro as well as a micro level. But Paul Cockshott, using the dual lenses of Marxist economics and technological advance, has managed to pull off a stunningly acute critical perspective of human history, from pre-agricultural societies to the present. In How the World Works, Cockshott connects scientific, economic, and societal strands to produce a sweeping and detailed work of historical analysis. This book will astound readers of all backgrounds and ages; it will also will engage scholars of history, science, and economics for years to come.
Although we are entirely unaware of it, computation is central to all aspects of our existences. Every day we solve, or try to solve, a myriad of problems, from the utterly trivial to the bafflingly complex. This book explains why it is possible to do computation and what the ultimate limits of it are, as understood by modern science.
This monograph examines the domain of classical political economy using the methodologies developed in recent years both by the new discipline of econo-physics and by computing science. This approach is used to re-examine the classical subdivisions of political economy: production, exchange, distribution and finance. The book begins by examining the most basic feature of economic life – production – and asks what it is about physical laws that allows production to take place. How is it that human labour is able to modify the world? It looks at the role that information has played in the process of mass production and the extent to which human labour still remains a key resource. The Rica...
Programming is hard. Building a large program is like constructing a steam locomotive through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person-years is only ever seen by anyone through a lOO-line window. In some ways it is astonishing that such large systems work at all. But parallel programming is much, much harder. There are so many more things to go wrong. Debugging is a nightmare. A bug that shows up on one run may never happen when you are looking for it - but unfailingly returns as soon as your attention moves elsewhere. A large fraction of the program's code can be made up of marshalling and coordination algorithms. The core application can easil...
Ayn Rand and the Posthuman is a study of the American novelist’s relationship with twenty-first-century ideas about technology. Rand wrote science fiction that has inspired Silicon Valley entrepreneurs, politicians, and economists. Ben Murnane demonstrates Rand’s connection to, and impact on, those with a “posthuman” vision, in which human and machine merge. The text examines the philosophical intersections between Rand’s philosophy of Objectivism and posthumanism, and Rand’s influence on transhumanism, a major branch of posthumanist thought. The book further investigates Rand’s presence and portrayal in various examples of posthumanist science fiction, including Gene Roddenberry’s Andromeda, popular videogame BioShock, and Zoltan Istvan’s novel The Transhumanist Wager. Considering Rand’s influence from a cultural, political, technological, and economic perspective, this study throws light on an under-documented but highly significant aspect of Rand’s legacy.
Ezekiel "Zeke" Miller, sharp blue eyes, black hair, full beard, doesn't like war. The thoughtful Amish man hates it so much in fact that he's willing to defect to Canada to escape the draft. When his number is called up, however, there's no time to get away and he's drafted into the Army. He has loved Rebekah for as long as he can remember. The summer of 1942 was to be their summer. Margaret and Benjamin Miller are his parents. Zeke is an only child. Rebekah Beiler, honey colored eyes, mahogany colored hair, has wanted to marry Ezekiel Miller for as long as she can remember. The upcoming summer of 1942 was supposed to be their time. The war throws a wrench in their plans, however, and neither of them really knows where God wants them, let along what he expects of them. Can they trust God's will in their lives, or will war tear apart more than two countries? Gabriel Beiler is her brother. Gideon and Adelaide Beiler are her parents. Mary Yoder is her annoying peer. A standalone short story, with no cliff-hangers.