KEY TOPICS: This classic book enables readers to make connections between classical and modern physics - an indispensable part of a physicist's education. In this new edition, Beams Medal winner Charles Poole and John Safko have updated the book to include the latest topics, applications, and notation, to reflect today's physics curriculum. They introduce readers to the increasingly important role that nonlinearities play in contemporary applications of classical mechanics. New numerical exercises help readers to develop skills in how to use computer techniques to solve problems in physics. Mathematical techniques are presented in detail so that the book remains fully accessible to readers who have not had an intermediate course in classical mechanics. MARKET: For college instructors and students.

    This work includes differential forms and the elegant forms of Maxwell's equations, and a chapter on probability and statistics. It also illustrates and proves mathematical relations.

    Emphasizes the applications of theory, and contains new material on particle physics, electron-positron annihilation in solids and the Mossbauer effect. Includes new appendices on such topics as crystallography, Fourier Integral Description of a Wave Group, and Time-Independent Perturbation Theory.

    A wealth of accompanying figures and exercises illustrate and develop the material in more depth. They describe what a quantum computer is, how it can be used to solve problems faster than familiar "classical" computers, and the real-world implementation of quantum computers. Their book concludes with an explanation of how quantum states can be used to perform remarkable feats of communication, and of how it is possible to protect quantum states against the effects of noise.

    The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

    Provides a review of introductory noncalculus-based physics for those who do not have a strong background in mathematics.

    This leading text uses many relevant engineering-based situations to help students model and solve problems.

    The first part deals with basic ideas, reviewing special relativity and electromagnetism while introducing the concept of extra dimensions. D-branes and the classical dynamics of relativistic strings are discussed next, and the quantization of open and closed bosonic strings in the light-cone gauge, along with a brief introduction to superstrings. The second part begins with a detailed study of D-branes followed by string thermodynamics. It discusses possible physical applications, and covers T-duality of open and closed strings, electromagnetic fields on D-branes, Born/Infeld electrodynamics, covariant string quantization and string interactions. Primarily aimed as a textbook for advanced undergraduate and beginning graduate courses, it will also be ideal for a wide range of scientists and mathematicians who are curious about string theory.

    However, according to Hofstadter, the formal system that underlies all mental activity transcends the system that supports it. If life can grow out of the formal chemical substrate of the cell, if consciousness can emerge out of a formal system of firing neurons, then so too will computers attain human intelligence. Gödel, Escher, Bach is a wonderful exploration of fascinating ideas at the heart of cognitive science: meaning, reduction, recursion, and much more.

    New to this third edition are expanded coverage of such important topics as surface boundary interfaces, improved discussions of such physical and mathematical laws as the Law of Biot and Savart and the Euler Momentum Integral. A very important new section on Computational Fluid Dynamics has been added for the very first time to this edition. Expanded and improved end-of-chapter problems will facilitate the teaching experience for students and instrutors alike. This book remains one of the most comprehensive and useful texts on fluid mechanics available today, with applications going from engineering to geophysics, and beyond to biology and general science. * Ample, useful end-of-chapter problems.* Excellent Coverage of Computational Fluid Dynamics.* Coverage of Turbulent Flows.* Solutions Manual available.

    This edition, which was prepared by Kip S. Thorne (Feynman Professor of Theoretical Physics at California Institute of Technology), fully incorporates all the errata and corrections gathered (but never used in a published edition) by Feynman.

    The exposition is simple and leads to the most complete direct means of solving problems in mechanics. The final sections on adiabatic invariants have been revised and augmented. In addition a short biography of L D Landau has been inserted.

    The long-anticipated revision of this best-selling text offers the most comprehensive, up-to-date introduction to the theory and practice of artificial intelligence. *NEW-Nontechnical learning material-Accompanies each part of the book. *NEW-The Internet as a sample application for intelligent systems-Added in several places including logical agents, planning, and natural language. *NEW-Increased coverage of material - Includes expanded coverage of: default reasoning and truth maintenance systems, including multi-agent/distributed AI and game theory; probabilistic approaches to learning including EM; more detailed descriptions of probabilistic inference algorithms. *NEW-Updated and expanded exercises-75% of the exercises are revised, with 100 new exercises. *NEW-On-line Java software. *Makes it easy for students to do projects on the web using intelligent agents. *A unified, agent-based approach to AI-Organizes the material around the task of building intelligent agents. *Comprehensive, up-to-date coverage-Includes a unified view of the field organized around the rational decision making pa

    Based on a course of lectures delivered by the author at Columbia University, the text is elementary in treatment and remarkable for its clarity and organization. Although it is assumed that the reader is familiar with the fundamental facts of thermometry and calorimetry, no advanced mathematics beyond calculus is assumed.Partial contents: thermodynamic systems, the first law of thermodynamics (application, adiabatic transformations), the second law of thermodynamics (Carnot cycle, absolute thermodynamic temperature, thermal engines), the entropy (properties of cycles, entropy of a system whose states can be represented on a (V, p) diagram, Clapeyron and Van der Waals equations), thermodynamic potentials (free energy, thermodynamic potential at constant pressure, the phase rule, thermodynamics of the reversible electric cell), gaseous reactions (chemical equilibria in gases, Van't Hoff reaction box, another proof of the equation of gaseous equilibria, principle of Le Chatelier), the thermodynamics of dilute solutions (osmotic pressure, chemical equilibria in solutions, the distribution of a solute between 2 phases vapor pressure, boiling and freezing points), the entropy constant (Nernst's theorem, thermal ionization of a gas, thermionic effect, etc.).

    This book includes discussions which aid in student understanding of theoretical material through the use of specific cases. It is suitable for undergraduate Mechanics course.