Introduction to MATLAB

The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The book's second part contains a detailed survey of important methods in this field, which are carefully analysed, and shown to be either incomplete, with counterexamples to their application, or to be always applicable whenever data refinement holds. This is shown by proving, for the first time, that all these methods can be described and analysed in terms of two simple notions: forward and backward simulation. The book is self-contained, going from advanced undergraduate level and taking the reader to the state of the art in methods for proving simula

This book is an introduction to the theory of partial differential operators. It assumes that the reader has a knowledge of introductory functional analysis, up to the spectral theorem for bounded linear operators on Banach spaces. However, it describes the theory of Fourier transforms and distributions as far as is needed to analyse the spectrum of any constant coefficient partial differential operator. A completely new proof of the spectral theorem for unbounded self-adjoint operators is followed by its application to a variety of second-order elliptic differential operators, from those with discrete spectrum to Schrödinger operators acting on L2(RN). The book contains a detailed account of the application of variational methods to estimate the eigenvalues of operators with measurable coefficients defined by the use of quadratic form techniques. This book could be used either for self-study or as a course text, and aims to lead the reader to the more advanced literature on the subjec

This is the third edition of a successful textbook, now with material added to illustrate the potential of computers for biologists. It is a lucid introduction to the principles and more elementary techniques of statistical reasoning, particularly as they are relevant to the biologist. Special attention is paid to the validity and use of statistical procedures, the interpretation of results, and the meanings of the conclusions which can then be drawn. The understanding of statistical methods is aided by full explanations of how calculations are built up. A particular feature of this edition is the inclusion, of new material to demonstrate the potential usefulness of computers in biological statistical analysis and to this end computer analyses of a selection of the examples are presented, using several different statistical languages. The examples are designed to guide and encourage the biologist to pursue the use of these languages further. The book assumes no mathematical training an

★ 米飛兔70週年紀念出版，獻給孩子的第一本藝術啟蒙書！★ 跟著米飛走進大師的世界，一次認識梵谷、馬諦斯、草間彌生、芙烈達．卡蘿、安迪．沃荷等經典藝術家！★ 以迪克．布魯納鮮明俐落的圖像語言，帶孩子輕鬆看懂名畫的魅力！為紀念米飛兔七十週年推出的藝術啟蒙書，巧妙結合迪克．布魯納的經典插畫與世界知名藝術家的代表作品，帶孩子認識梵谷、馬諦斯、草間彌生等藝術大師。以簡潔文字與提問引導閱讀，讓孩子在親切可愛的陪伴中培養觀察力、美感與想像力，是最適合親子共讀的藝術入門書。Published to coincide with Miffy’s seventieth birthday, this beautiful art book introduces young children to some of the world’s most iconic artists.A joyful introduction to art for young children featuring Dick Bruna's bold illustrations in combination with iconic artworks by Frida Kahlo, Yayoi Kusama, Henri Matisse, Vincent van Gogh and Andy Warhol, among others.Published to coincide with Miffy's 70th birthday, this beautiful art book for children introduces young children to some of the world's most iconic artists.Miffy the rabbit needs no introduction - she's one of the best-loved bunnies in the world. Created by Dutch graphic designer Dick Bruna in 1955, Miffy has her 70th birthday in 2025. To mark the occasion, T&H introduces Miffy and the Artists

Many of Carl Schmitt's major works have by now been translated, with two notable exceptions: Schmitt's two early monographs Statute and Judgment (first published in 1912) and The Value of the State and the Significance of the Individual (first published in 1914). In these two works Schmitt presents a theory of adjudication as well as an account of the state's role in the realization of the rule of law, which together form the theoretical basis on which Schmitt later developed his political and constitutional theory. This new book makes these two key texts available in English translation for the first time, together with an introduction that relates the texts to their historical context, to Schmitt's other works, and to contemporary discussions in legal and constitutional theory.

This Element provides a basic introduction to sentiment analysis, aimed at helping students and professionals in corpus linguistics to understand what sentiment analysis is, how it is conducted, and where it can be applied. It begins with a definition of sentiment analysis and a discussion of the domains where sentiment analysis is conducted and used the most. Then, it introduces two main methods that are commonly used in sentiment analysis known as supervised machine-learning and unsupervised learning (or lexicon-based) methods, followed by a step-by-step explanation of how to perform sentiment analysis with R. The Element then provides two detailed examples or cases of sentiment and emotion analysis, with one using an unsupervised method and the other using a supervised learning method.

Many of Carl Schmitt's major works have by now been translated, with two notable exceptions: Schmitt's two early monographs Statute and Judgment (first published in 1912) and The Value of the State and the Significance of the Individual (first published in 1914). In these two works Schmitt presents a theory of adjudication as well as an account of the state's role in the realization of the rule of law, which together form the theoretical basis on which Schmitt later developed his political and constitutional theory. This new book makes these two key texts available in English translation for the first time, together with an introduction that relates the texts to their historical context, to Schmitt's other works, and to contemporary discussions in legal and constitutional theory.

What's the word that describes the process of making supportive noises when you're listening to someone? What is syntax and how does it differ from grammar? Do you know what a morpheme is? And did you know that it's not only an atom that has a nucleus? The Babel Lexicon of Language is an entertaining and accessible introduction to the key terminology involved in the study of language. It defines over 500 terms and uses contemporary language examples, explaining complex issues in an easy-to-understand way. Written by the expert editorial team behind Babel, the popular language magazine, and assuming no prior knowledge of linguistics, The Babel Lexicon of Language is an invaluable resource for students, teachers and anyone with an interest in language.

What's the word that describes the process of making supportive noises when you're listening to someone? What is syntax and how does it differ from grammar? Do you know what a morpheme is? And did you know that it's not only an atom that has a nucleus? The Babel Lexicon of Language is an entertaining and accessible introduction to the key terminology involved in the study of language. It defines over 500 terms and uses contemporary language examples, explaining complex issues in an easy-to-understand way. Written by the expert editorial team behind Babel, the popular language magazine, and assuming no prior knowledge of linguistics, The Babel Lexicon of Language is an invaluable resource for students, teachers and anyone with an interest in language.

This book is an anthology of Greek poetry written during the third to first centuries BC, the Hellenistic period. It is intended to make available to undergraduates and graduate students a selection of texts which are for the most part not easily accessible elsewhere. The volume contains a wide and representative range of poetry including hymns, didactic verse, pastoral poetry, epigrams and epic. An introduction provides cultural and historical background, and a full commentary elucidates problems of language and reference in the texts. In this second edition, many notes have been rewritten and the bibliography has been updated. The selection has also been augmented with three hundred more lines of Greek text (Theocritus poems 5 and 15), and is now more than 2000 lines in length.

This book is an anthology of Greek poetry written during the third to first centuries BC, the Hellenistic period. It is intended to make available to undergraduates and graduate students a selection of texts which are for the most part not easily accessible elsewhere. The volume contains a wide and representative range of poetry including hymns, didactic verse, pastoral poetry, epigrams and epic. An introduction provides cultural and historical background, and a full commentary elucidates problems of language and reference in the texts. In this second edition, many notes have been rewritten and the bibliography has been updated. The selection has also been augmented with three hundred more lines of Greek text (Theocritus poems 5 and 15), and is now more than 2000 lines in length.

On Philosophy and Philosophers is a volume of unpublished philosophical papers by Richard Rorty, a central figure in late-twentieth-century intellectual debates and a primary force behind the resurgence of American pragmatism. The first collection of new work to appear since his death in 2007, these previously unseen papers advance novel views on metaphysics, ethics, epistemology, philosophical semantics and the social role of philosophy, critically engaging canonical and contemporary figures from Plato and Kant to Kripke and Brandom. This book's diverse offerings, which include technical essays written for specialists and popular lectures, refine our understanding of Rorty's perspective and demonstrate the ongoing relevance of the iconoclastic American philosopher's ground-breaking thought. An introduction by the editors highlights the papers' original insights and contributions to contemporary debates.

On Philosophy and Philosophers is a volume of unpublished philosophical papers by Richard Rorty, a central figure in late-twentieth-century intellectual debates and a primary force behind the resurgence of American pragmatism. The first collection of new work to appear since his death in 2007, these previously unseen papers advance novel views on metaphysics, ethics, epistemology, philosophical semantics and the social role of philosophy, critically engaging canonical and contemporary figures from Plato and Kant to Kripke and Brandom. This book's diverse offerings, which include technical essays written for specialists and popular lectures, refine our understanding of Rorty's perspective and demonstrate the ongoing relevance of the iconoclastic American philosopher's ground-breaking thought. An introduction by the editors highlights the papers' original insights and contributions to contemporary debates.

This is an introduction to the dynamics of fluids at small scales, the physical and mathematical underpinnings of Brownian motion, and the application of these subjects to the dynamics and flow of complex fluids such as colloidal suspensions and polymer solutions. It brings together continuum mechanics, statistical mechanics, polymer and colloid science, and various branches of applied mathematics, in a self-contained and integrated treatment that provides a foundation for understanding complex fluids, with a strong emphasis on fluid dynamics. Students and researchers will find that this book is extensively cross-referenced to illustrate connections between different aspects of the field. Its focus on fundamental principles and theoretical approaches provides the necessary groundwork for research in the dynamics of flowing complex fluids.

This is an introduction to the dynamics of fluids at small scales, the physical and mathematical underpinnings of Brownian motion, and the application of these subjects to the dynamics and flow of complex fluids such as colloidal suspensions and polymer solutions. It brings together continuum mechanics, statistical mechanics, polymer and colloid science, and various branches of applied mathematics, in a self-contained and integrated treatment that provides a foundation for understanding complex fluids, with a strong emphasis on fluid dynamics. Students and researchers will find that this book is extensively cross-referenced to illustrate connections between different aspects of the field. Its focus on fundamental principles and theoretical approaches provides the necessary groundwork for research in the dynamics of flowing complex fluids.

The introduction of the Affordable Care Act in the United States, the increasing use of prescription drugs, and the alleged abuse of racial profiling by police are just some of the factors contributing to twenty-first-century social problems. The Cambridge Handbook of Social Problems offers a wide-ranging roster of the social problems currently pressing for attention and amelioration. Unlike other works in this area, it also gives great consideration to theoretical and methodological discussions. This Handbook will benefit both undergraduate and graduate students eager to understand the sociology of social problems. It is suitable for classes in social problems, current events, and social theory. Featuring the most current research, the Handbook provides an especially useful resource for sociologists and graduate students conducting research.

The introduction of the Affordable Care Act in the United States, the increasing use of prescription drugs, and the alleged abuse of racial profiling by police are just some of the factors contributing to twenty-first-century social problems. The Cambridge Handbook of Social Problems offers a wide-ranging roster of the social problems currently pressing for attention and amelioration. Unlike other works in this area, it also gives great consideration to theoretical and methodological discussions. This Handbook will benefit both undergraduate and graduate students eager to understand the sociology of social problems. It is suitable for classes in social problems, current events, and social theory. Featuring the most current research, the Handbook provides an especially useful resource for sociologists and graduate students conducting research.

The introduction of the Affordable Care Act in the United States, the increasing use of prescription drugs, and the alleged abuse of racial profiling by police are just some of the factors contributing to twenty-first-century social problems. The Cambridge Handbook of Social Problems offers a wide-ranging roster of the social problems currently pressing for attention and amelioration. Unlike other works in this area, it also gives great consideration to theoretical and methodological discussions. This Handbook will benefit both undergraduate and graduate students eager to understand the sociology of social problems. It is suitable for classes in social problems, current events, and social theory. Featuring the most current research, the Handbook provides an especially useful resource for sociologists and graduate students conducting research.

This fully updated Eighth Edition of CHEMICAL PRINCIPLES provides a unique organization and a rigorous but understandable introduction to chemistry that emphasizes conceptual understanding and the importance of models. Known for helping students develop a qualitative, conceptual foundation that gets them thinking like chemists, this market-leading text is designed for students with solid mathematical preparation. The Eighth Edition features a new section on "Solving a Complex Problem" that discusses and illustrates how to solve problems in a flexible, creative way based on understanding the fundamental ideas of chemistry and asking and answering key questions. The book is also enhanced by an increase of problem-solving techniques in the solutions to the Examples, new student learning aids, new "˜Chemical Insights" and "œChemistry Explorers" boxes, and more.

Instantons, or pseudoparticles, are solutions to the equations of motion in classical field theories on a Euclidean spacetime. Instantons are found everywhere in quantum theories as they have many applications in quantum tunnelling. Diverse physical phenomena may be described through quantum tunnelling, for example: the Josephson effect, the decay of meta-stable nuclear states, band formation in tight binding models of crystalline solids, the structure of the gauge theory vacuum, confinement in 2+1 dimensions, and the decay of superheated or supercooled phases. Drawing inspiration from Sidney Coleman's Erice lectures, this volume provides an accessible, detailed introduction to instanton methods, with many applications, making it a valuable resource for graduate students in many areas of physics, from condensed matter, particle and nuclear physics, to string theory.

This monograph is a progressive introduction to non-commutativity in probability theory, summarizing and synthesizing recent results about classical and quantum stochastic processes on Lie algebras. In the early chapters, focus is placed on concrete examples of the links between algebraic relations and the moments of probability distributions. The subsequent chapters are more advanced and deal with Wigner densities for non-commutative couples of random variables, non-commutative stochastic processes with independent increments (quantum Lévy processes), and the quantum Malliavin calculus. This book will appeal to advanced undergraduate and graduate students interested in the relations between algebra, probability, and quantum theory. It also addresses a more advanced audience by covering other topics related to non-commutativity in stochastic calculus, Lévy processes, and the Malliavin calculus.

This collection of articles, originating from a short course held at the University of Manchester, explores the ideas behind Pila's proof of the Andre–Oort conjecture for products of modular curves. The basic strategy has three main ingredients: the Pila–Wilkie theorem, bounds on Galois orbits, and functional transcendence results. All of these topics are covered in this volume, making it ideal for researchers wishing to keep up to date with the latest developments in the field. Original papers are combined with background articles in both the number theoretic and model theoretic aspects of the subject. These include Martin Orr's survey of abelian varieties, Christopher Daw's introduction to Shimura varieties, and Jacob Tsimerman's proof via o-minimality of Ax's theorem on the functional case of Schanuel's conjecture.

Welcome to the Human Body Theater, where your master of ceremonies is going to lead you through a theatrical revue of each and every biological system of the human body! Starting out as a skeleton, the MC puts on a new layer of her costume (her body) with each "act." By turns goofy and intensely informative, the Human Body Theater is always accessible and always entertaining.Maris Wicks is a biology nerd, and by the time you've read this book, you will be too! Harnessing her passion for science (and her background as a science educator for elementary and middle-school students), she has created a comics-format introduction to the human body that will make an expert of any reader -- young or old!

The ideal introduction to the history of modern Oman from the eighteenth century to the present, this book combines the most recent scholarship on Omani history with insights drawn from a close analysis of the politics and international relations of contemporary Oman. Jeremy Jones and Nicholas Ridout offer a distinctive new approach to Omani history, building on postcolonial thought and integrating the study of politics and culture. The book addresses key topics including Oman's historical cosmopolitanism, the distinctive role of Omani Islam in the country's social and political life, Oman's role in the global economy of the nineteenth century, insurrection and revolution in the twentieth century, the role of Sultan Qaboos in the era of oil and Oman's unique regional and diplomatic perspective on contemporary issues.

The ideal introduction to the history of modern Oman from the eighteenth century to the present, this book combines the most recent scholarship on Omani history with insights drawn from a close analysis of the politics and international relations of contemporary Oman. Jeremy Jones and Nicholas Ridout offer a distinctive new approach to Omani history, building on postcolonial thought and integrating the study of politics and culture. The book addresses key topics including Oman's historical cosmopolitanism, the distinctive role of Omani Islam in the country's social and political life, Oman's role in the global economy of the nineteenth century, insurrection and revolution in the twentieth century, the role of Sultan Qaboos in the era of oil and Oman's unique regional and diplomatic perspective on contemporary issues.

'Quantum mechanics for real. This is the good stuff, the most mysterious aspects of how reality works, set out with crystalline clarity. The place to start' Sean Carroll, physicist, California Institute of Technology, author of The Particle at the End of the UniverseThis is the ultimate practical introduction to quantum mechanics.World-renowned physicist Leonard Susskind and data engineer Art Friedman give you the basic skills you need to tackle this famously difficult topic yourself. They provide clear, lively explanations of basic concepts, introduce the key fields of quantum mechanics and include step-by-step exercises. Making a complex subject 'as simple as possible, but no simpler', this is a practical toolkit for amateur scientists that you won't find anywhere else.

Annexed to GA Resolution 56/83 of 2001, the International Law Commission's Articles on Responsibility for Internationally Wrongful Acts put the international law of responsibility on a sound footing. As Special Rapporteur for the second reading, James Crawford helped steer it to a successful conclusion. With this book, he provides a detailed analysis of the general law of international responsibility and the place of state responsibility in particular within that framework. It serves as a companion to The International Law Commission's Articles on State Responsibility: Introduction, Text and Commentaries (Cambridge, 2002) and is essential reading for scholars and practitioners concerned with issues of international responsibility, whether they arise in interstate relations, in the context of arbitration or litigation, or in bringing international claims.

This definitive textbook provides a solid introduction to discrete and continuous stochastic processes, tackling a complex field in a way that instils a deep understanding of the relevant mathematical principles, and develops an intuitive grasp of the way these principles can be applied to modelling real-world systems. It includes a careful review of elementary probability and detailed coverage of Poisson, Gaussian and Markov processes with richly varied queuing applications. The theory and applications of inference, hypothesis testing, estimation, random walks, large deviations, martingales and investments are developed. Written by one of the world's leading information theorists, evolving over twenty years of graduate classroom teaching and enriched by over 300 exercises, this is an exceptional resource for anyone looking to develop their understanding of stochastic processes.

In this first annotated edition of F. R. Leavis' famous critique of C. P. Snow's influential argument about 'the two cultures', Stefan Collini reappraises both its literary tactics and its purpose as cultural criticism. The edition will enable new generations of readers to understand what was at stake in the dispute and to appreciate the enduring relevance of Leavis's attack on the goal of economic growth. In his comprehensive introduction Collini situates Leavis's critique within the wider context of debates about 'modernity' and 'prosperity', not just the 'two cultures' of literature and science. Collini emphasizes the difficulties faced by the cultural critic in challenging widely-held views and offers an illuminating analysis of Leavis's style. The edition provides full notes to references and allusions in Leavis's texts.

In this book the author illustrates the power of the theory of subcartesian differential spaces for investigating spaces with singularities. Part I gives a detailed and comprehensive presentation of the theory of differential spaces, including integration of distributions on subcartesian spaces and the structure of stratified spaces. Part II presents an effective approach to the reduction of symmetries. Concrete applications covered in the text include reduction of symmetries of Hamiltonian systems, non-holonomically constrained systems, Dirac structures, and the commutation of quantization with reduction for a proper action of the symmetry group. With each application the author provides an introduction to the field in which relevant problems occur. This book will appeal to researchers and graduate students in mathematics and engineering.

English is a highly diversified language that appears in a multitude of different varieties across the globe. These varieties may differ extensively in their structural properties. This coursebook is an introduction to the fascinating range of regional and social varieties encountered around the world. Comparing grammatical phenomena, the book analyses the varieties in depth, identifying patterns and limits of variation, and providing clear explanations. Using comparisons with other languages, the book identifies universal as well as language-specific aspects of variation in English. This book is specially designed to meet the needs of students, each chapter contains useful exercises targeted at three different ability levels and succinct summaries and practical lists of key words help students to review and identify important facts.

This book provides an introduction to the Meroitic language and writing system, which was used between circa 300 BC and 400 AD in the kingdom of Meroe, located in what is now Sudan and Egyptian Nubia. This book details advances in the understanding of Meroitic, a language that until recently was considered untranslatable. In addition to providing a full history of the script and an analysis of the phonology, grammar and linguistic affiliation of the language it features: linguistic analyses for those working on Nilo-Saharan comparative linguistics, paleographic tables useful to archaeologists for dating purposes and an overview of texts that can be translated or understood by way of analogy for those working on Nubian religion, history and archaeology.

Postmodernism is a term that has been used extensively to describe general trends and specific works in many different cultural contexts, including literature, cinema, architecture and the visual arts. This introduction clarifies the term and explores its relevance for music through discussion of specific musical examples from the 1950s to the present day, providing an engagement between theory and practice. Overall, this book equips students with a thorough understanding of this complex but important topic in music studies. It: • outlines and addresses the problems of defining what we mean by postmodernism • explores when postmodernism begins • engages with a broad range of literature and reference sources, inviting wider reading and thinking • uses specific musical examples to present ways of interpreting music that can be defined as postmodernist

Postmodernism is a term that has been used extensively to describe general trends and specific works in many different cultural contexts, including literature, cinema, architecture and the visual arts. This introduction clarifies the term and explores its relevance for music through discussion of specific musical examples from the 1950s to the present day, providing an engagement between theory and practice. Overall, this book equips students with a thorough understanding of this complex but important topic in music studies. It: • outlines and addresses the problems of defining what we mean by postmodernism • explores when postmodernism begins • engages with a broad range of literature and reference sources, inviting wider reading and thinking • uses specific musical examples to present ways of interpreting music that can be defined as postmodernist

The aim of this graduate-level text is to equip the reader with the basic tools and techniques needed for research in various areas of geometric analysis. Throughout, the main theme is to present the interaction of partial differential equations and differential geometry. More specifically, emphasis is placed on how the behavior of the solutions of a PDE is affected by the geometry of the underlying manifold and vice versa. For efficiency the author mainly restricts himself to the linear theory and only a rudimentary background in Riemannian geometry and partial differential equations is assumed. Originating from the author's own lectures, this book is an ideal introduction for graduate students, as well as a useful reference for experts in the field.

Planning Australia provides a comprehensive introduction to the major issues and activities that constitute urban and regional planning in Australia today. Incorporating contemporary theory and practice, it contextualises planning in terms of its theoretical, ideological and professional foundations. The book adopts an interdisciplinary approach to the subject, underpinned by the principles of sustainability and social equity. It canvasses the history of the discipline, its relationship to broader governance structures and its legislative framework. Fully revised and updated, this edition features new chapters on healthy planning and transport planning. Written in an accessible style and richly illustrated with instructive case study examples, Planning Australia is an indispensable resource for students, practitioners and decision-makers, as well as anyone interested in the history and future of planning in Australia.

The need to transmit and store massive amounts of data reliably and without error is a vital part of modern communications systems. Error-correcting codes play a fundamental role in minimising data corruption caused by defects such as noise, interference, crosstalk and packet loss. This book provides an accessible introduction to the basic elements of algebraic codes, and discusses their use in a variety of applications. The author describes a range of important coding techniques, including Reed-Solomon codes, BCH codes, trellis codes, and turbocodes. Throughout the book, mathematical theory is illustrated by reference to many practical examples. The book was first published in 2003 and is aimed at graduate students of electrical and computer engineering, and at practising engineers whose work involves communications or signal processing.

Drawing and its analysis has been an important discipline of Developmental Psychology since the early twentieth century. This unique collection of essays unites leading empirical researchers from Europe, the United States and Canada to provide a valuable introduction to drawing research. Focusing on the core problems associated with the visual mind, the contributors examine how drawing development relates to changes in cognition. Topics covered include visual (self) recognition, style, media understanding, inhibition, executive attention, priming, memory, meaning, and figural and spatial concepts. The effects of biological constraints such as motor control, grip and handedness, blindness, neuropsychological conditions and old age are also explained. The book provides a fascinating insight into the life-span and productivity of the non-verbal, visual mind.

Over the last century quantum field theory has made a significant impact on the formulation and solution of mathematical problems and inspired powerful advances in pure mathematics. However, most accounts are written by physicists, and mathematicians struggle to find clear definitions and statements of the concepts involved. This graduate-level introduction presents the basic ideas and tools from quantum field theory to a mathematical audience. Topics include classical and quantum mechanics, classical field theory, quantization of classical fields, perturbative quantum field theory, renormalization, and the standard model. The material is also accessible to physicists seeking a better understanding of the mathematical background, providing the necessary tools from differential geometry on such topics as connections and gauge fields, vector and spinor bundles, symmetries and group representations.

The representation theory of finite groups has seen rapid growth in recent years with the development of efficient algorithms and computer algebra systems. This is the first book to provide an introduction to the ordinary and modular representation theory of finite groups with special emphasis on the computational aspects of the subject. Evolving from courses taught at Aachen University, this well-paced text is ideal for graduate-level study. The authors provide over 200 exercises, both theoretical and computational, and include worked examples using the computer algebra system GAP. These make the abstract theory tangible and engage students in real hands-on work. GAP is freely available from www.gap-system.org and readers can download source code and solutions to selected exercises from the book's web page.