Computability and Logic


George S. Boolos - 1980
    Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.

Real and Complex Analysis


Walter Rudin - 1970
    The basic techniques and theorems of analysis are presented in such a way that the intimate connections between its various branches are strongly emphasized. The traditionally separate subjects of 'real analysis' and 'complex analysis' are thus united in one volume. Some of the basic ideas from functional analysis are also included. This is the only book to take this unique approach. The third edition includes a new chapter on differentiation. Proofs of theorems presented in the book are concise and complete and many challenging exercises appear at the end of each chapter. The book is arranged so that each chapter builds upon the other, giving students a gradual understanding of the subject.This text is part of the Walter Rudin Student Series in Advanced Mathematics.

Dynamics of Structures: Theory and Applications to Earthquake Engineering


Anil K. Chopra - 2000
    The new edition from Chopra includes many topics encompassing the theory of structural dynamics and the application of this theory regarding earthquake analysis, response, and design of structures. No prior knowledge of structural dynamics is assumed and the manner of presentation is sufficiently detailed and integrated, to make the book suitable for self-study by students and professional engineers.

Bayesian Reasoning and Machine Learning


David Barber - 2012
    They are established tools in a wide range of industrial applications, including search engines, DNA sequencing, stock market analysis, and robot locomotion, and their use is spreading rapidly. People who know the methods have their choice of rewarding jobs. This hands-on text opens these opportunities to computer science students with modest mathematical backgrounds. It is designed for final-year undergraduates and master's students with limited background in linear algebra and calculus. Comprehensive and coherent, it develops everything from basic reasoning to advanced techniques within the framework of graphical models. Students learn more than a menu of techniques, they develop analytical and problem-solving skills that equip them for the real world. Numerous examples and exercises, both computer based and theoretical, are included in every chapter. Resources for students and instructors, including a MATLAB toolbox, are available online.

Numerical Analysis


Richard L. Burden - 1978
    Explaining how, why, and when the techniques can be expected to work, the Seventh Edition places an even greater emphasis on building readers' intuition to help them understand why the techniques presented work in general, and why, in some situations, they fail. Applied problems from diverse areas, such as engineering and physical, computer, and biological sciences, are provided so readers can understand how numerical methods are used in real-life situations. The Seventh Edition has been updated and now addresses the evolving use of technology, incorporating it whenever appropriate.

Econometric Analysis


William H. Greene - 1990
    This title is aimed at courses in applied econometrics, political methodology, and sociological methods or a one-year graduate course in econometrics for social scientists.

Linear Algebra and Its Applications


Gilbert Strang - 1976
    While the mathematics is there, the effort is not all concentrated on proofs. Strang's emphasis is on understanding. He explains concepts, rather than deduces. This book is written in an informal and personal style and teaches real mathematics. The gears change in Chapter 2 as students reach the introduction of vector spaces. Throughout the book, the theory is motivated and reinforced by genuine applications, allowing pure mathematicians to teach applied mathematics.

Calculus: The Classic Edition


Earl W. Swokowski - 1991
    Groundbreaking in every way when first published, this book is a simple, straightforward, direct calculus text. It's popularity is directly due to its broad use of applications, the easy-to-understand writing style, and the wealth of examples and exercises which reinforce conceptualization of the subject matter. The author wrote this text with three objectives in mind. The first was to make the book more student-oriented by expanding discussions and providing more examples and figures to help clarify concepts. To further aid students, guidelines for solving problems were added in many sections of the text. The second objective was to stress the usefulness of calculus by means of modern applications of derivatives and integrals. The third objective, to make the text as accurate and error-free as possible, was accomplished by a careful examination of the exposition, combined with a thorough checking of each example and exercise.

Digital Communications


John G. Proakis - 1983
    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.

Introductory Functional Analysis with Applications


Erwin Kreyszig - 1978
    With these new unabridged and inexpensive editions, Wiley hopes to extend the life of these important works by making them available to future generations of mathematicians and scientists.Currently available in the Series: Emil ArtinGeometnc Algebra R. W. CarterSimple Groups Of Lie Type Richard CourantDifferential and Integrai Calculus. Volume I Richard CourantDifferential and Integral Calculus. Volume II Richard Courant & D. HilbertMethods of Mathematical Physics, Volume I Richard Courant & D. HilbertMethods of Mathematical Physics. Volume II Harold M. S. CoxeterIntroduction to Modern Geometry. Second Edition Charles W. Curtis, Irving ReinerRepresentation Theory of Finite Groups and Associative Algebras Nelson Dunford, Jacob T. Schwartzunear Operators. Part One. General Theory Nelson Dunford. Jacob T. SchwartzLinear Operators, Part Two. Spectral Theory--Self Adjant Operators in Hilbert Space Nelson Dunford, Jacob T. SchwartzLinear Operators. Part Three. Spectral Operators Peter HenriciApplied and Computational Complex Analysis. Volume I--Power Senes-lntegrauon-Contormal Mapping-Locatvon of Zeros Peter Hilton, Yet-Chiang WuA Course in Modern Algebra Harry HochstadtIntegral Equations Erwin KreyszigIntroductory Functional Analysis with Applications P. M. PrenterSplines and Variational Methods C. L. SiegelTopics in Complex Function Theory. Volume I --Elliptic Functions and Uniformizatton Theory C. L. SiegelTopics in Complex Function Theory. Volume II --Automorphic and Abelian Integrals C. L. SiegelTopics In Complex Function Theory. Volume III --Abelian Functions & Modular Functions of Several Variables J. J. StokerDifferential Geometry

Differential Equations


Richard Bronson - 2010
    This supplement will cater to the requirements of students by covering all important topics of Laplace transformation, Matrices, Numerical Methods. Further enhanced is its usability by inclusion of chapter end questions in sync with student needs. Table of contents: 1. Basic Concepts 2. An Introduction to Modeling and Qualitative Methods 3. Classification of First-Order Differential Equations 4. Separable First-Order Differential Equations 5. Exact First-order Differential Equations 6. Linear First-Order Differential Equations 7. Applications of First-Order Differential Equations 8. Linear Differential Equations: Theory of Solutions 9. Second-Order Linear Homogeneous Differential Equations with Constant Coefficients 10. nth-Order Linear Homogeneous Differential Equations with Constant Coefficients 11. The Method of Undetermined Coefficients 12. Variation of Parameters 13. Initial-Value Problems for Linear Differential Equations 14. Applications of Second-Order Linear Differential Equations 15. Matrices 16. eAt 17. Reduction of Linear Differential Equations to a System of First-Order Equations 18. Existence and Uniqueness of Solutions 19. Graphical and Numerical Methods for Solving First-Order Differential Equations 20. Further Numerical Methods for Solving First-Order Differential Equations 21. Numerical Methods for Solving Second-Order Differential Equations Via Systems 22. The Laplace Transform 23. Inverse Laplace Transforms 24. Convolutions and the Unit Step Function 25. Solutions of Linear Differential Equations with Constant Coefficients by Laplace Transforms 26. Solutions of Linear?Systems by Laplace Transforms 27. Solutions of Linear Differential Equations with Constant Coefficients by Matrix Methods 28. Power Series Solutions of Linear Differential Equations with Variable Coefficients 29. Special Functions 30. Series Solutions N

Communication Systems


Simon Haykin - 1978
    In addition to being the most up-to-date communications text available, Simon Haykin has added MATLAB computer experiments.

Schaum's Outline of Discrete Mathematics (Schaum's Outline Series)


Seymour Lipschutz - 2009
    More than 40 million students have trusted Schaum's to help them succeed in the classroom and on exams. Schaum's is the key to faster learning and higher grades in every subject. Each Outline presents all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills. This Schaum's Outline gives you:  Practice problems with full explanations that reinforce knowledge Coverage of the most up-to-date developments in your course field In-depth review of practices and applications Fully compatible with your classroom text, Schaum's highlights all the important facts you need to know. Use Schaum's to shorten your study time-and get your best test scores! Schaum's Outlines-Problem Solved.

Calculus [with CD]


Howard Anton - 1992
    New co-authors--Irl Bivens and Stephen Davis--from Davidson College; both distinguished educators and writers.* More emphasis on graphing calculators in exercises and examples, including CAS capabilities of graphing calculators.* More problems using tabular data and more emphasis on mathematical modeling.

Introduction to Fluid Mechanics [With CDROM]


Robert W. Fox - 2003
    This new edition simplifies many of the steps involved in analysis by using the computer application Excel. Over 100 detailed example problems illustrate important fluid mechanics concepts: Approximately 1300 end-of-chapter problems are arranged by difficulty level and include many problems that are designed to be solved using Excel. The CD for the book includes: A Brief Review of Microsoft Excel and numerous Excel files for the example problems and for use in solving problems. The new edition includes an expanded discussion of pipe networks, and a new section on oblique shocks and expansion waves.