Language, Proof and Logic: Text and CD


Jon Barwise - 1999
    The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.The package includes four pieces of software:Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.

An Introduction to Group Work Practice


Ronald W. Toseland - 1984
    Students will receive a grounding in areas that vary from treatment to organizational and community settings. This edition also includes of new case studies, practice examples and guiding principles.

Relativity: The Special and the General Theory


Albert Einstein - 1916
    Having just completed his masterpiece, The General Theory of Relativity—which provided a brand-new theory of gravity and promised a new perspective on the cosmos as a whole—he set out at once to share his excitement with as wide a public as possible in this popular and accessible book.Here published for the first time as a Penguin Classic, this edition of Relativity features a new introduction by bestselling science author Nigel Calder.

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.

Feedback Control of Dynamic Systems


Gene F. Franklin - 1986
    Highlights of the book include realistic problems and examples from a wide range of application areas. New to this edition are: much sharper pedagogy; an increase in the number of examples; more thorough development of the concepts; a greater range of homework problems; a greater number and variety of worked out examples; expanded coverage of dynamics modelling and Laplace transform topics; and integration of MATLAB, including many examples that are formatted in MATLAB.

A Student's Guide to Maxwell's Equations


Daniel Fleisch - 2007
    In this guide for students, each equation is the subject of an entire chapter, with detailed, plain-language explanations of the physical meaning of each symbol in the equation, for both the integral and differential forms. The final chapter shows how Maxwell's equations may be combined to produce the wave equation, the basis for the electromagnetic theory of light. This book is a wonderful resource for undergraduate and graduate courses in electromagnetism and electromagnetics. A website hosted by the author at www.cambridge.org/9780521701471 contains interactive solutions to every problem in the text as well as audio podcasts to walk students through each chapter.

Discovering Statistics Using SPSS (Introducing Statistical Methods)


Andy Field - 2000
    What's new in the Second Edition? 1. Fully compliant with the latest version of SPSS version 12 2. More coverage of advanced statistics including completely new coverage of non-parametric statistics. The book is 50 per cent longer than the First Edition. 3. Each section of each chapter now has a notation - 1,2 or 3 - referring to the intended level of study. This helps students navigate their way through the book and makes it user-friendly for students of ALL levels. 4. Has a 'how to use this book' section at the start of the text. 5. Characters in each chapter have defined roles - summarizing key points, to pose questions etc 6. Each chapter now has several examples for students to work through. Answers provided on the enclosed CD-ROM

Calculus


Michael Spivak - 1967
    His aim is to present calculus as the first real encounter with mathematics: it is the place to learn how logical reasoning combined with fundamental concepts can be developed into a rigorous mathematical theory rather than a bunch of tools and techniques learned by rote. Since analysis is a subject students traditionally find difficult to grasp, Spivak provides leisurely explanations, a profusion of examples, a wide range of exercises and plenty of illustrations in an easy-going approach that enlightens difficult concepts and rewards effort. Calculus will continue to be regarded as a modern classic, ideal for honours students and mathematics majors, who seek an alternative to doorstop textbooks on calculus, and the more formidable introductions to real analysis.

The Elements of Style


William Strunk Jr. - 1918
    Throughout, the emphasis is on promoting a plain English style. This little book can help you communicate more effectively by showing you how to enliven your sentences.

Physics, Volume 1


Robert Resnick - 1966
    The Fourth Edition of volumes 1 and 2 is concerned with mechanics and E&M/Optics. New features include: expanded coverage of classic physics topics, substantial increases in the number of in-text examples which reinforce text exposition, the latest pedagogical and technical advances in the field, numerical analysis, computer-generated graphics, computer projects and much more.

Introductory Econometrics: A Modern Approach


Jeffrey M. Wooldridge - 1999
    It bridges the gap between the mechanics of econometrics and modern applications of econometrics by employing a systematic approach motivated by the major problems facing applied researchers today. Throughout the text, the emphasis on examples gives a concrete reality to economic relationships and allows treatment of interesting policy questions in a realistic and accessible framework.

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.

Personal Finance


Jack R. Kapoor - 1991
    Financial planning for life -- from career strategies and consumer credit to investments and taxes to retirement and estate planning -- this handbook covers everything for making those all-important decisions.

Vector Calculus


Jerrold E. Marsden - 1976
    The book's careful account is a contemporary balance between theory, application, and historical development, providing it's readers with an insight into how mathematics progresses and is in turn influenced by the natural world.

Chemistry: An Introduction to General, Organic, and Biological Chemistry


Karen C. Timberlake - 1976
    Now in it's tenth edition, this text makes chemistry exciting to students by showing them why important concepts are relevant to their lives and future careers.