Finding Zero


Book Description

“A captivating story, not just an intellectual quest but a personal one . . . gripping [and] filled with the passion and wonder of numbers.” —The New York Times Virtually everything in our lives is digital, numerical, or quantified. But the story of how and where we got these numerals, which we so depend on, has for thousands of years been shrouded in mystery. Finding Zero is the saga of Amir Aczel’s lifelong obsession: to find the original sources of our numerals, perhaps the greatest abstraction the human mind has ever created. Aczel has doggedly crisscrossed the ancient world, scouring dusty, moldy texts, cross-examining so-called scholars who offered wildly differing sets of facts, and ultimately penetrating deep into a Cambodian jungle to find a definitive proof. Here, he takes the reader along for the ride. The history begins with Babylonian cuneiform numbers, followed by Greek and Roman letter numerals. Then Aczel asks: Where do the numbers we use today, the so-called Hindu-Arabic numerals, come from? It is this search that leads him to explore uncharted territory on a grand quest into India, Thailand, Laos, Vietnam, and ultimately into the wilds of Cambodia. There he is blown away to find the earliest zero—the keystone of our entire system of numbers—on a crumbling, vine-covered wall of a seventh-century temple adorned with eaten-away erotic sculptures. While on this odyssey, Aczel meets a host of fascinating characters: academics in search of truth, jungle trekkers looking for adventure, surprisingly honest politicians, shameless smugglers, and treacherous archaeological thieves—who finally reveal where our numbers come from. “A historical adventure that doubles as a surprisingly engaging math lesson . . . rip-roaring exploits and escapades.” —Publishers Weekly




Algebraic and Logic Programming


Book Description

This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics.




Logic And Declarative Language


Book Description

Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.




Zero the Hero


Book Description

Zero. Zip. Zilch. Nada. That's what all the other numbers think of Zero. He doesn't add anything in addition. He's of no use in division. And don't even ask what he does in multiplication. (Hint: Poof!) But Zero knows he's worth a lot, and when the other numbers get into trouble, he swoops in to prove that his talents are innumerable.




Programming Languages and Systems


Book Description

This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004. The 27 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from a total of 118 submissions. The papers deal with a broad variety of current issues in the specification, analysis, and implementation of programming languages and systems.




Math for Clinical Practice


Book Description

- Follows current TJC and ISMP safety recommendations. - Answer key is new to this edition and provides immediate feedback for practice problems. - Features the latest drug information in practice problems and photographs.




Functional and Logic Programming


Book Description

This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.




Nondeterminism in Algebraic Specifications and Algebraic Programs


Book Description

Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software systems: Algebraic specifications are well-suited for describing data structures and sequential software systems in an abstract way. Term rewriting methods are used in many prototyping systems and form the basis for executing specifi cations. Nondeterminism plays a major role in formal language theory; in programming it serves for delaying design decisions in program development and occurs in a "natural" way in formalisations of distributed processes. Heinrich Hussmann presents an elegant extension of equational specification and term rewriting to include nondeterminism. Based on a clean modeltheoretic semantics he considers term rewriting systems without confluence restrictions as a specification language and shows that fundamental properties such as the existence of initial models or the soundness and completeness of narrowing, the basic mechanism for executing equational specifications, can be extended to nondeterministic computations. The work of Heinrich Hussmann is an excellent contribution to Algebraic Programming; it gives a framework that admits a direct approach to program verification, is suitable for describing concurrent and distributed processes, and it can be executed as fast as Prolog.




Program Proofs


Book Description

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. Writing with clarity and humor, K. Rustan M. Leino first provides an overview of the basic theory behind reasoning about programs. He then gradually builds up to complex concepts and applications, until students are facing real programs using objects, data structures, and non-trivial recursion. To emphasize the practical nature of program proofs, all material and examples use the verification-aware programming language Dafny, but no previous knowledge of Dafny is assumed. Written in a highly readable and student-friendly style Builds up to complex concepts in an incremental manner Comprehensively covers how to write proofs and how to specify and verify both functional programs and imperative programs Uses real program text from a real programming language, not psuedo code Features engaging illustrations and hands-on learning exercises




Implementation and Application of Functional Languages


Book Description

This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen full papers are presented. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability. The papers address all current theoretical and methodological issues in functional and function-based languages.