Mathematics of Discrete Structures for Computer Science

Psychologists, sociologists, philosophers, historians - and even scientists themselves - have often tried to decipher the basis for creativity in science. Some have attributed creativity to a special logic, the so-called scientific method, whereas others have pointed to the inspirations of genius or to the inevitable workings of the zeitgeist. Finally, some have viewed scientific breakthroughs as the product of chance, as witnessed in the numerous episodes of serendipity. Too often these four alternative interpretations are seen as mutually exclusive. Yet the central thesis of this book is that the chance, logic, genius, and zeitgeist perspectives can be integrated into a single coherent theory of creativity in science. But for this integration to succeed, change must be elevated to the status of primary cause. Logic, genius and the zeitgeist still have significant roles to play but mainly operate insofar as they enhance, or constrain the operation of a chance combinatorial process.

Multilinear algebra has important applications in many different areas of mathematics but is usually learned in a rather haphazard fashion. The aim of this book is to provide a readable and systematic account of multilinear algebra at a level suitable for graduate students. Professor Northcott gives a thorough treatment of topics such as tensor, exterior, Grassmann, Hopf and co-algebras and ends each chapter with a section entitled 'Comments and Exercises'. The comments contain convenient summaries and discussion of the content whilst the exercises provide an opportunity to test understanding and add extra material. Complete solutions are provided for those exercises that are particularly important or used later in the book. The volume as a whole is based on advanced lectures given by the author at the University of Sheffield.

Wood ants play an ecologically dominant and conspicuous role in temperate boreal forests, making a keystone contribution to woodland ecosystem functions and processes. Wood ant taxonomy and global distributions set the scene for this text's exploration of wood ants as social insects, examining their flexible social structures, genetics, population ecology, and behaviour, from nest-mate recognition to task allocation. Wood ants' interactions with their environment and with other organisms are essential to their success: competition, predation and mutualism are described and analysed. Bringing together the expertise of ecological researchers and conservation practitioners, this book provides practical and theoretical advice about sampling and monitoring these insects, and outlines the requirements for effective conservation. This is an indispensable resource for wood ant researchers, entomologists, conservationists and ecological consultants, as well as anyone interested in social insect

With answers to some of our most anxiety-inducing questions, such as "Why do I cringe at teenage me?" and "Why do I keep putting things off?" this insightful guide to our shared human experiences and quirks delves into the science behind 32 of our strangest thoughts and habits.Award-winning educator Dr. Jen Martin has created the perfect Q&A guide for the curious. In Why Am I Like This? she provides research-based explanations for popular questions about everything from overcoming anxiety and FOMO to why smells make us homesick and why we stick our tongues out when we concentrate.If you've ever wondered about the psychology and science behind the oddities of our daily lives, this accessible, entertaining, and informative guide is sure to educate you on what, exactly, makes you tick. This charming, vividly illustrated book makes the perfect gift for anyone who has ever stopped to wonder "Why?"

This book is for scientists and engineers involved in the definition and development of space science missions. The processes that such missions follow, from the proposal to a space agency, to a successful mission completion, are numerous. The rationale behind approval of a mission, its definition and the payload that it will include are topics that cannot be presented in undergraduate courses. This book contains contributions from experts who are involved in today's space missions at various levels. Chapters cover mission phases and implementation, launchers and cruise strategies, including gravity assist maneuvers and different thrust scenarios. The payload needed for remote sensing of the Universe at various wavelengths and for in-situ measurements is described in detail, and particular attention is paid to the most recent planetary landers. Whilst the book concentrates on the ESA program Cosmic Visions, its content is relevant to space science missions at all space agencies.

This book is for scientists and engineers involved in the definition and development of space science missions. The processes that such missions follow, from the proposal to a space agency, to a successful mission completion, are numerous. The rationale behind approval of a mission, its definition and the payload that it will include are topics that cannot be presented in undergraduate courses. This book contains contributions from experts who are involved in today's space missions at various levels. Chapters cover mission phases and implementation, launchers and cruise strategies, including gravity assist maneuvers and different thrust scenarios. The payload needed for remote sensing of the Universe at various wavelengths and for in-situ measurements is described in detail, and particular attention is paid to the most recent planetary landers. Whilst the book concentrates on the ESA program Cosmic Visions, its content is relevant to space science missions at all space agencies.

An invaluable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, astronomers, and other calendar enthusiasts, The Ultimate Edition updates and expands the previous edition to achieve more accurate results and present new calendar variants. The book now includes coverage of Unix dates, Italian time, the Akan, Icelandic, Saudi Arabian Umm al-Qura, and Babylonian calendars. There are also expanded treatments of the observational Islamic and Hebrew calendars and brief discussions of the Samaritan and Nepalese calendars. Several of the astronomical functions have been rewritten to produce more accurate results and to include calculations of moonrise and moonset. The authors frame the calendars of the world in a completely algorithmic form, allowing easy conversion among these calendars and the determination of secular and religious holidays. LISP code for all the algorithms is available in machine-readable form.

An invaluable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, astronomers, and other calendar enthusiasts, The Ultimate Edition updates and expands the previous edition to achieve more accurate results and present new calendar variants. The book now includes coverage of Unix dates, Italian time, the Akan, Icelandic, Saudi Arabian Umm al-Qura, and Babylonian calendars. There are also expanded treatments of the observational Islamic and Hebrew calendars and brief discussions of the Samaritan and Nepalese calendars. Several of the astronomical functions have been rewritten to produce more accurate results and to include calculations of moonrise and moonset. The authors frame the calendars of the world in a completely algorithmic form, allowing easy conversion among these calendars and the determination of secular and religious holidays. LISP code for all the algorithms is available in machine-readable form.

Recent advances in single molecule science have presented a new branch of science: single molecule cellular biophysics, combining classical cell biology with cutting-edge single molecule biophysics. This textbook explains the essential elements of this new discipline, from the state-of-the-art single molecule techniques to real-world applications in unravelling the inner workings of the cell. Every effort has been made to ensure the text can be easily understood by students from both the physical and life sciences. Mathematical derivations are kept to a minimum whilst unnecessary biological terminology is avoided and text boxes provide readers from either background with additional information. 100 end-of-chapter exercises are divided into those aimed at physical sciences students, those aimed at life science students and those that can be tackled by students from both disciplines. The use of case studies and real research examples make this textbook indispensable for undergraduate stu

The aim of this book is to promote a fibrewise perspective, particularly in topology, which is central to modern mathematics. Already this view is standard in the theory of fibre bundles and therefore in such subjects as global analysis. It has a role to play also in general and equivariant topology. There are strong links with equivariant topology, a topic which has latterly been subject to great research activity. It is to be hoped that this book will provide a solid and invigorating foundation for the increasing research interest in fibrewise topology

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design

A pioneering global trend forecaster predicts how the collision of tribalism, climate change, and new technologies will shape the culture and commerce of the next two decades―a must-read guide for business leaders, entrepreneurs and anyone looking for an edge in our chaotic timesTwenty years ago, people around the world prepared for the Y2K computer glitch that would supposedly bring the global economy to its knees. Rather than overnight disruption, humankind instead slipped gradually into two decades of economic and ecological turmoil, extremism, and divisiveness, all set against the backdrop of a newly global and digital civilization. So what’s in store for the next two decades? In this acutely observed guide, renowned trendspotter Marian Salzman, whose past predictions came uncannily close to reality in the '90s and the '00s, unpacks the course of human life from the bumpy turn of the millennium through the pandemic era, when chaos and “together apart” seemed to become the new norma

One of Wall Street Journal’s "Best Books for Science Lovers" in 2015Science is on the cusp of a revolutionary breakthrough. We now understand more about aging—and how to prevent and reverse it—than ever before.In recent years, our understanding of the nature of aging has grown exponentially, and dramatic life extension—even age reversal—has moved from science fiction to real possibility.Dr. Michael Fossel has been in the forefront of aging research for decades and is the author of the definitive textbook on human aging. In The Telomerase Revolution, he takes us on a detailed but highly accessible scientific journey, providing startling insights into the nature of human aging.Twenty years ago, there was still considerable debate of the nature of human aging, with a variety of competing theories in play. But scientific consensus is forming around the telomere theory of aging. The essence of this theory is that human aging is the result of cellular aging. Every time a cell reproduces, its

A diverse group of teenage friends learn how computing can be personally and politically empowering and why all students need access to computer science education.This lively graphic novel follows a diverse group of teenage friends as they discover that computing can be fun, creative, and empowering. Taylor, Christine, Antonio, and Jon seem like typical young teens―they communicate via endless texting, they share jokes, they worry about starting high school, and they have each other’s backs. But when a Black man is shot and killed by police in their city, they are outraged―and then they learn that he had been misidentified and tracked by an artificial intelligence program. How can an algorithm be racist? And what is an algorithm, anyway? In school, they decide to explore computing classes, with mixed results. One class is only about typing. The class that Christine wants to join is full, and the school counselor suggests that she take a class in “Tourism and Hospitality” instead. (R

As religious polarisation in society deepens, political actors and policy-makers have begun to struggle with questions on the role of the dominant religion and how religion influences constitutional commitments and development. By focusing on Indonesia, Malaysia and Sri Lanka, Constitutions, Religion and Politics in Asia demonstrates how constitution-making and the operation of constitutional arrangements involving religion cannot be separated from the broader political dynamics of society. Although constitutions establish legal and political structures of government institutions and provide tools for rights protection, they do not operate in a vacuum divorced from the games of power and the political realities surrounding them. Here, Shah sets out how constitutions operate and evolve, and demonstrates how constitutional provisions can produce unintended consequences over time. A vital new source of scholarship for students and scholars of law and religion, and comparative constitution

As religious polarisation in society deepens, political actors and policy-makers have begun to struggle with questions on the role of the dominant religion and how religion influences constitutional commitments and development. By focusing on Indonesia, Malaysia and Sri Lanka, Constitutions, Religion and Politics in Asia demonstrates how constitution-making and the operation of constitutional arrangements involving religion cannot be separated from the broader political dynamics of society. Although constitutions establish legal and political structures of government institutions and provide tools for rights protection, they do not operate in a vacuum divorced from the games of power and the political realities surrounding them. Here, Shah sets out how constitutions operate and evolve, and demonstrates how constitutional provisions can produce unintended consequences over time. A vital new source of scholarship for students and scholars of law and religion, and comparative constitution

Conventions are fundamental to the constitutional systems of parliamentary democracies. Unlike the United States which adopted a republican form of government, with a full separation of powers, codified constitutional structures and limitations for executive and legislative institutions and actors, Britain and subsequently Canada, Australia and New Zealand have relied on conventions to perform similar functions. The rise of new political actors has disrupted the stability of the two-party system, and in seeking power the new players are challenging existing practices. Conventions that govern constitutional arrangements in Britain and New Zealand, and the executive in Canada and Australia, are changing to accommodate these and other challenges of modern governance. In Westminster democracies, constitutional conventions provide the rules for forming government; they precede law and make law-making possible. This prior and more fundamental realm of government formation and law making is s

Komatiites erupted billions of years ago as pulsating streams of white-hot lava. Their unusual chemical compositions and exceptionally high formation temperatures produced highly fluid lava that crystallized as spectacular layered flows. Investigation of the extreme conditions in which komatiites formed provides important evidence about the thermal and chemical evolution of the planet, and the nature of the Precambrian mantle. This monograph, written by three experts with long experience in the field, presents a complete account of the characteristics of komatiites including their volcanic structures, textures, mineralogy and chemical compositions. Models for their formation and eruption are evaluated (including the anhydrous vs. hydrous magmas controversy). A chapter is also devoted to the valuable nickel and copper ore deposits found in komatiites. Komatiite is a key reference for researchers and advanced students interested in petrology, Archaean geology, economic geology, and broad

Demography in Archaeology, first published in 2006, is a review of current theory and method in the reconstruction of populations from archaeological data. Starting with a summary of demographic concepts and methods, the book examines historical and ethnographic sources of demographic evidence before addressing the methods by which reliable demographic estimates can be made from skeletal remains, settlement evidence and modern and ancient biomolecules. Recent debates in palaeodemography are evaluated, new statistical methods for palaeodemographic reconstruction are explained, and the notion that past demographic structures and processes were substantially different from those pertaining today is critiqued. The book covers a wide span of evidence, from the evolutionary background of human demography to the influence of natural and human-induced catastrophes on population growth and survival. This is essential reading for any archaeologist or anthropologist with an interest in relating t

Demography in Archaeology, first published in 2006, is a review of current theory and method in the reconstruction of populations from archaeological data. Starting with a summary of demographic concepts and methods, the book examines historical and ethnographic sources of demographic evidence before addressing the methods by which reliable demographic estimates can be made from skeletal remains, settlement evidence and modern and ancient biomolecules. Recent debates in palaeodemography are evaluated, new statistical methods for palaeodemographic reconstruction are explained, and the notion that past demographic structures and processes were substantially different from those pertaining today is critiqued. The book covers a wide span of evidence, from the evolutionary background of human demography to the influence of natural and human-induced catastrophes on population growth and survival. This is essential reading for any archaeologist or anthropologist with an interest in relating t

Considered the cutting edge of microeconomic theory in the 1970s, natural monopoly research remains an active and fertile field. Policy makers and regulators have begun to implement entry and pricing policies that are based on theoretical and empirical analyses. This book develops a comprehensive framework for analyzing natural monopoly. The authors first present a historical overview of regulatory economics, followed by analyses of optimal pricing and investment for single- and multiproduct natural monopolies. Topics covered include cost and demand structures, efficiency impacts of linear and multipart pricing, peak-load pricing, capacity determination, and the sustainability of natural monopolies. After a survey and analysis of natural monopoly regulation in practice, the links between technological change and regulation are identified. The book concludes with a discussion of the alternatives to traditional regulation, including public ownership, franchise schemes, quality regulation

This volume of essays by a leading scholar of Victorian intellectual history reflects research, teaching and writing carried out over more than twenty years. Five of the essays are new; seven, although published previously, have been revised for this collection. The essays cover an extremely wide spectrum of Victorian thought, including the issues of secularization, cultural apostasy, the crisis of faith, Victorian scientific naturalism, the conflict between science and religion, the relationship of science and politics, and the Victorian attitude towards the ancient world. Taken as a whole the essays constitute a major revisionist overview of the Victorian intellectual enterprise which will be of interest to scholars in a wide variety of fields.

This volume of essays by a leading scholar of Victorian intellectual history reflects research, teaching and writing carried out over more than twenty years. Five of the essays are new; seven, although published previously, have been revised for this collection. The essays cover an extremely wide spectrum of Victorian thought, including the issues of secularization, cultural apostasy, the crisis of faith, Victorian scientific naturalism, the conflict between science and religion, the relationship of science and politics, and the Victorian attitude towards the ancient world. Taken as a whole the essays constitute a major revisionist overview of the Victorian intellectual enterprise which will be of interest to scholars in a wide variety of fields.

If there is one God, why are there so many religions? Might all be false? Some revert to a relativism that allows different 'truth's' for different people, but this is incoherent. This Element argues that monotheism has provided the basis for a belief in objective truth. Human understanding is fallible and partial, but without the idea of one God, there is no foundation for a belief in one reality or a common human nature. The shadow of monotheism lies over our understanding of science, and of morality.

First published in 2004, this is a rigorous but user-friendly book on the application of stochastic control theory to economics. A distinctive feature of the book is that mathematical concepts are introduced in a language and terminology familiar to graduate students of economics. The standard topics of many mathematics, economics and finance books are illustrated with real examples documented in the economic literature. Moreover, the book emphasises the dos and don'ts of stochastic calculus, cautioning the reader that certain results and intuitions cherished by many economists do not extend to stochastic models. A special chapter (Chapter 5) is devoted to exploring various methods of finding a closed-form representation of the value function of a stochastic control problem, which is essential for ascertaining the optimal policy functions. The book also includes many practice exercises for the reader. Notes and suggested readings are provided at the end of each chapter for more referen

First published in 2004, this is a rigorous but user-friendly book on the application of stochastic control theory to economics. A distinctive feature of the book is that mathematical concepts are introduced in a language and terminology familiar to graduate students of economics. The standard topics of many mathematics, economics and finance books are illustrated with real examples documented in the economic literature. Moreover, the book emphasises the dos and don'ts of stochastic calculus, cautioning the reader that certain results and intuitions cherished by many economists do not extend to stochastic models. A special chapter (Chapter 5) is devoted to exploring various methods of finding a closed-form representation of the value function of a stochastic control problem, which is essential for ascertaining the optimal policy functions. The book also includes many practice exercises for the reader. Notes and suggested readings are provided at the end of each chapter for more referen

This 1983 book is a lively and clearly written introduction to the philosophy of natural science, organized around the central theme of scientific realism. It has two parts. 'Representing' deals with the different philosophical accounts of scientific objectivity and the reality of scientific entities. The views of Kuhn, Feyerabend, Lakatos, Putnam, van Fraassen, and others, are all considered. 'Intervening' presents the first sustained treatment of experimental science for many years and uses it to give a new direction to debates about realism. Hacking illustrates how experimentation often has a life independent of theory. He argues that although the philosophical problems of scientific realism can not be resolved when put in terms of theory alone, a sound philosophy of experiment provides compelling grounds for a realistic attitude. A great many scientific examples are described in both parts of the book, which also includes lucid expositions of recent high energy physics and a remark

In recent years, widespread organisational change in large corporations has almost invariably led to work intensification and increased stress for managers. Managing in the Modern Corporation explains how and why large companies have changed their organisational structures and philosophies, focusing in particular on how these changes affect the careers of middle managers. Based on in-depth interviews with over two hundred middle and senior managers working in large corporations in the USA, UK and Japan, it shows how the working lives of managers have been subjected to major disruption, involving work intensification and reduced opportunities for career progression. Furthermore, it argues that such widespread overwork and poor treatment of highly skilled and highly motivated staff has created a major international problem that must be addressed. The book presents a range of solutions to this important problem, suggesting that there are possibilities for saner, less brutal organisational

What are the unique characteristics of sign languages that make them so fascinating? What have recent researchers discovered about them, and what do these findings tell us about human language more generally? This thematic and geographic overview examines more than forty sign languages from around the world. It begins by investigating how sign languages have survived and been transmitted for generations, and then goes on to analyse the common characteristics shared by most sign languages: for example, how the use of the visual system affects grammatical structures. The final section describes the phenomena of language variation and change. Drawing on a wide range of examples, the book explores sign languages both old and young, from British, Italian, Asian and American to Israeli, Al-Sayyid Bedouin, African and Nicaraguan. Written in a clear, readable style, it is the essential reference for students and scholars working in sign language studies and deaf studies.

Volcanoes and the Environment is a comprehensive and accessible text incorporating contributions from some of the world's authorities in volcanology. This book is an indispensable guide for those interested in how volcanism affects our planet's environment. It spans a wide variety of topics from geology to climatology and ecology; it also considers the economic and social impacts of volcanic activity on humans. Topics covered include how volcanoes shape the environment, their effect on the geological cycle, atmosphere and climate, impacts on health of living on active volcanoes, volcanism and early life, effects of eruptions on plant and animal life, large eruptions and mass extinctions, and the impact of volcanic disasters on the economy. This book is intended for students and researchers interested in environmental change from the fields of earth and environmental science, geography, ecology and social science. It will also interest policy makers and professionals working on natural

Computational aeroacoustics (CAA) is a relatively new research area. CAA algorithms have developed rapidly and the methods have been applied in many areas of aeroacoustics. The objective of CAA is not simply to develop computational methods but also to use these methods to solve practical aeroacoustics problems and to perform numerical simulation of aeroacoustic phenomena. By analysing the simulation data, an investigator can determine noise generation mechanisms and sound propagation processes. This is both a textbook for graduate students and a reference for researchers in CAA and as such is self-contained. No prior knowledge of numerical methods for solving partial differential equations (PDEs) is needed, however, a general understanding of partial differential equations and basic numerical analysis is assumed. Exercises are included and are designed to be an integral part of the chapter content. In addition, sample computer programs are included to illustrate the implementation of

This is a book about the meanings of words and how they can combine to form larger meaningful units, as well as how they can fail to combine when the amalgamation of a predicate and argument would produce what the philosopher Gilbert Ryle called a 'category mistake'. It argues for a theory in which words get assigned both an intension and a type. The book develops a rich system of types and investigates its philosophical and formal implications, for example the abandonment of the classic Church analysis of types that has been used by linguists since Montague. The author integrates fascinating and puzzling observations about lexical meaning into a compositional semantic framework. Adjustments in types are a feature of the compositional process and account for various phenomena including coercion and copredication. This book will be of interest to semanticists, philosophers, logicians and computer scientists alike.

This 1992 book provides a comprehensive introduction to the theory of electrical circuits for students in the physical sciences taking a first course in electronics. The methods of circuit analysis are clearly explained and illustrated with the aid of numerous worked examples. Applications of the theory relevant to the fields of electronics, telecommunications and power systems are treated throughout. These sections will prepare students for more advanced courses. The text is written for first and second year undergraduate courses in electronics for science and engineering students. The more specialised sections also provide some advanced material which is covered in third year courses.

This 1992 book provides a comprehensive introduction to the theory of electrical circuits for students in the physical sciences taking a first course in electronics. The methods of circuit analysis are clearly explained and illustrated with the aid of numerous worked examples. Applications of the theory relevant to the fields of electronics, telecommunications and power systems are treated throughout. These sections will prepare students for more advanced courses. The text is written for first and second year undergraduate courses in electronics for science and engineering students. The more specialised sections also provide some advanced material which is covered in third year courses.

This introduction to random walks on infinite graphs gives particular emphasis to graphs with polynomial volume growth. It offers an overview of analytic methods, starting with the connection between random walks and electrical resistance, and then proceeding to study the use of isoperimetric and Poincaré inequalities. The book presents rough isometries and looks at the properties of a graph that are stable under these transformations. Applications include the 'type problem': determining whether a graph is transient or recurrent. The final chapters show how geometric properties of the graph can be used to establish heat kernel bounds, that is, bounds on the transition probabilities of the random walk, and it is proved that Gaussian bounds hold for graphs that are roughly isometric to Euclidean space. Aimed at graduate students in mathematics, the book is also useful for researchers as a reference for results that are hard to find elsewhere.

The area of nonlinear dispersive partial differential equations (PDEs) is a fast developing field which has become exceedingly technical in recent years. With this book, the authors provide a self-contained and accessible introduction for graduate or advanced undergraduate students in mathematics, engineering, and the physical sciences. Both classical and modern methods used in the field are described in detail, concentrating on the model cases that simplify the presentation without compromising the deep technical aspects of the theory, thus allowing students to learn the material in a short period of time. This book is appropriate both for self-study by students with a background in analysis, and for teaching a semester-long introductory graduate course in nonlinear dispersive PDEs. Copious exercises are included, and applications of the theory are also presented to connect dispersive PDEs with the more general areas of dynamical systems and mathematical physics.

The area of nonlinear dispersive partial differential equations (PDEs) is a fast developing field which has become exceedingly technical in recent years. With this book, the authors provide a self-contained and accessible introduction for graduate or advanced undergraduate students in mathematics, engineering, and the physical sciences. Both classical and modern methods used in the field are described in detail, concentrating on the model cases that simplify the presentation without compromising the deep technical aspects of the theory, thus allowing students to learn the material in a short period of time. This book is appropriate both for self-study by students with a background in analysis, and for teaching a semester-long introductory graduate course in nonlinear dispersive PDEs. Copious exercises are included, and applications of the theory are also presented to connect dispersive PDEs with the more general areas of dynamical systems and mathematical physics.

The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented.

The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented.

Biologists are notoriously reticent about using mathematics. This textbook is both an introduction to quantitative biology and a guide for the number-shy. Richard Burton fosters a sense of the fundamental importance and usefulness of mathematical principles in biology, with a fascinating range of examples. The book is geared towards the non-mathematician, and covers the basics as well as various more advanced topics from many diverse biological disciplines. Questions and calculations encourage active participation without holding up the reader. A key feature is the structure of the book. Rather than building it around biological disciplines, Dr Burton emphasises the common ways of reasoning used in areas as diverse as insect and population growth, seed mortality and sensory response (to mention a few that use logarithms). Written primarily for beginning undergraduates, this enlightening text will also be an essential aid for students throughout their undergraduate and graduate years.