Clear explanations are detailed with many current examples.

    Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts.

    Includes expert coverage of new topics: Turbocodes, Turboequalization, Antenna Arrays, Digital Cellular Systems, and Iterative Detection. Convenient, sequential organization begins with a look at the historyo and classification of channel models and builds from there.

    Verification that algorithms work is emphasized more than their complexity. An effective use of examples, and huge number of interesting exercises, demonstrate the topics of trees and distance, matchings and factors, connectivity and paths, graph coloring, edges and cycles, and planar graphs. For those who need to learn to make coherent arguments in the fields of mathematics and computer science.

    To reach this unique audience, Whitlock and Schluter motivate learning with interesting biological and medical examples; they emphasize intuitive understanding; and they focus on real data. The book covers basic topics in introductory statistics, including graphs, confidence intervals, hypothesis testing, comparison of means, regression, and designing experiments. It also introduces the principles behind such modern topics as likelihood, linear models, meta-analysis and computer-intensive methods. Instructors and students consistently praise the book's clear and engaging writing, strong visualization techniques, and its variety of fascinating and relevant biological examples.

    This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.

    Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premises and primitive ideas, establishing that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will of course wish to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of Part I (in which the logical properties of propositions, propositional functions, classes and relations are established); section A of Part II (dealing with unit classes and couples); and Appendices A and C (which give further developments of the argument on the theory of deduction and truth functions).

    Two primary objectives guided the authors in the revision of this book: to develop precise, readable materials for students that clearly define and demonstrate concepts and rules of calculus; and to design comprehensive teaching resources for instructors that employ proven pedagogical techniques and save time. The Larson/Hostetler/Edwards Calculus program offers a solution to address the needs of any calculus course and any level of calculus student. Every edition from the first to the fourth of Calculus: Early Transcendental Functions, 4/e has made the mastery of traditional calculus skills a priority, while embracing the best features of new technology and, when appropriate, calculus reform ideas. Now, the Fourth Edition is part of the first calculus program to offer algorithmic homework and testing created in Maple so that answers can be evaluated with complete mathematical accuracy.

    In this richly illustrated book, accessible examples are used to show how information theory can be understood in terms of everyday games like '20 Questions', and the simple MatLab programs provided give hands-on experience of information theory in action. Written in a tutorial style, with a comprehensive glossary, this text represents an ideal primer for novices who wish to become familiar with the basic principles of information theory.Download chapter 1 from http://jim-stone.staff.shef.ac.uk/Boo...

    Emphasizing the basic concepts of the field, this book covers circuit analysis, digital systems, electronics, and electromechanics. This book develops theoretical and experimental skills and experiences in the following areas: basic circuit analysis and measurement, first- and second-order transients, steady-state ac circuits, resonance and frequency response, digital logic circuits, microcontrollers (68HC11), computer-based instrumentation, diode circuits, electronic amplifiers, field-effect and bipolar junction transistors, operational amplifiers, ac and dc machines, and more. For engineers or any other professionals who need a solid foundation in the basics of circuits, digital systems, analog electronics, and electromechanics.

    W. R. Dedekind. The first presents Dedekind's theory of the irrational number-the Dedekind cut idea-perhaps the most famous of several such theories created in the 19th century to give a precise meaning to irrational numbers, which had been used on an intuitive basis since Greek times. This paper provided a purely arithmetic and perfectly rigorous foundation for the irrational numbers and thereby a rigorous meaning of continuity in analysis.The second essay is an attempt to give a logical basis for transfinite numbers and properties of the natural numbers. It examines the notion of natural numbers, the distinction between finite and transfinite (infinite) whole numbers, and the logical validity of the type of proof called mathematical or complete induction.The contents of these essays belong to the foundations of mathematics and will be welcomed by those who are prepared to look into the somewhat subtle meanings of the elements of our number system. As a major work of an important mathematician, the book deserves a place in the personal library of every practicing mathematician and every teacher and historian of mathematics. Authorized translations by "Vooster " V. Beman.

    His matrix theory is one of the bases of modern quantum mechanics, while his "uncertainty principle" has altered our whole philosophy of science.In this classic, based on lectures delivered at the University of Chicago, Heisenberg presents a complete physical picture of quantum theory. He covers not only his own contributions, but also those of Bohr, Dirac, Bose, de Broglie, Fermi, Einstein, Pauli, Schrodinger, Somerfield, Rupp, ·Wilson, Germer, and others in a text written for the physical scientist who is not a specialist in quantum theory or in modern mathematics.Partial contents: introduction (theory and experiment, fundamental concepts); critique of physical concepts of the corpuscular theory (uncertainty relations and their illustration); critique of the physical concepts of the wave theory (uncertainty relations for waves, discussion of an actual measurement of the electromagnetic field); statistical interpretation of quantum theory (mathematical considerations, interference of probabilities, Bohr's complementarity); discussion of important experiments (C. T. R. Wilson, diffraction , Einstein-Rupp, emission, absorption and dispersion of radiation, interference and conservation laws, Compton effect, radiation fluctuation phenomena, relativistic formulation of the quantum theory).An 80-page appendix on the mathematical apparatus of the quantum theory is provided for the specialist.

    Highly recommended for graduate-level libraries.' ChoiceThis highly successful text, which first appeared in the year 1972 and has continued to be popular ever since, has now been brought up-to-date by incorporating the remarkable developments in the field of 'phase transitions and critical phenomena' that took place over the intervening years. This has been done by adding three new chapters (comprising over 150 pages and containing over 60 homework problems) which should enhance the usefulness of the book for both students and instructors. We trust that this classic text, which has been widely acclaimed for its clean derivations and clear explanations, will continue to provide further generations of students a sound training in the methods of statistical physics.

    It places the basics of astronomy and the process of science within the grasp of introductory students. Package Universe, Eighth Edition with FREE Starry Night CD!use Package ISBN 0-7167-9564-7 SPLIT VOLUMESIn addition to the complete 28-chapter version of Universe, two shorter versions are also available:Universe: The Solar System, Third Edition(Chapters 1-16 and 28)0-7167-9563-9; w/FREE Starry Night CD, 0-7167-9562-0Universe: Stars and Galaxies, Third Edition(Chapters 1-8 which includes a two-chapter overview of the solar system) and Chapters 16-28)0-7167-9561-2; w/FREE Starry Night CD, 0-7167-9565-5

    Even when dealing with standard material, Stillwell manages to dramatize it and to make it worth rethinking. In short, his book is a splendid addition to the genre of works that build royal roads to mathematical culture for the many." (Mathematical Intelligencer)This second edition includes new chapters on Chinese and Indian number theory, on hypercomplex numbers, and on algebraic number theory. Many more exercises have been added, as well as commentary to the exercises explaining how they relate to the preceding section, and how they foreshadow later topics.