Book picks similar to
Term Rewriting and All That by Franz Baader


computer-science
mathematics
logic
programming

The Calculus Lifesaver: All the Tools You Need to Excel at Calculus


Adrian Banner - 2007
    The Calculus Lifesaver provides students with the essential tools they need not only to learn calculus, but to excel at it.All of the material in this user-friendly study guide has been proven to get results. The book arose from Adrian Banner's popular calculus review course at Princeton University, which he developed especially for students who are motivated to earn A's but get only average grades on exams. The complete course will be available for free on the Web in a series of videotaped lectures. This study guide works as a supplement to any single-variable calculus course or textbook. Coupled with a selection of exercises, the book can also be used as a textbook in its own right. The style is informal, non-intimidating, and even entertaining, without sacrificing comprehensiveness. The author elaborates standard course material with scores of detailed examples that treat the reader to an inner monologue--the train of thought students should be following in order to solve the problem--providing the necessary reasoning as well as the solution. The book's emphasis is on building problem-solving skills. Examples range from easy to difficult and illustrate the in-depth presentation of theory.The Calculus Lifesaver combines ease of use and readability with the depth of content and mathematical rigor of the best calculus textbooks. It is an indispensable volume for any student seeking to master calculus.Serves as a companion to any single-variable calculus textbookInformal, entertaining, and not intimidatingInformative videos that follow the book--a full forty-eight hours of Banner's Princeton calculus-review course--is available at Adrian Banner lecturesMore than 475 examples (ranging from easy to hard) provide step-by-step reasoningTheorems and methods justified and connections made to actual practiceDifficult topics such as improper integrals and infinite series covered in detailTried and tested by students taking freshman calculus

Discrete-Time Signal Processing (Prentice-Hall Signal Processing Series)


Alan V. Oppenheim - 1989
    Revised from the 1989 edition not so much with new information, which has not changed much at the introductory level, bu

Numerical Linear Algebra


Lloyd N. Trefethen - 1997
    The clarity and eloquence of the presentation make it popular with teachers and students alike. The text aims to expand the reader's view of the field and to present standard material in a novel way. All of the most important topics in the field are covered with a fresh perspective, including iterative methods for systems of equations and eigenvalue problems and the underlying principles of conditioning and stability. Presentation is in the form of 40 lectures, which each focus on one or two central ideas. The unity between topics is emphasized throughout, with no risk of getting lost in details and technicalities. The book breaks with tradition by beginning with the QR factorization - an important and fresh idea for students, and the thread that connects most of the algorithms of numerical linear algebra.

Classical Rhetoric for the Modern Student


Edward P.J. Corbett - 1965
    Presenting its subject in five parts, the text provides grounding in the elements and applications of classical rhetoric; the strategies and tactics of argumentation; the effective presentation and organization of discourses; the development of power, grace, and felicity in expression; and the history of rhetorical principles. Numerous examples of classic and contemporary rhetoric, from paragraphs to complete essays, appear throughout the book, many followed by detailed analyses. The fourth edition of Classical Rhetoric for the Modern Student features a new section on the Progymnasmata (classical composition exercises), a new analysis of a color advertisement in the Introduction, an updated survey of the history of rhetoric, and an updated section on External Aids to Invention.

Critical Theory Today: A User-Friendly Guide


Lois Tyson - 1998
    It provides clear, simple explanations and concrete examples of complex concepts, making a wide variety of commonly used critical theories accessible to novices without sacrificing any theoretical rigor or thoroughness.This new edition provides in-depth coverage of the most common approaches to literary analysis today: feminism, psychoanalysis, Marxism, reader-response theory, new criticism, structuralism and semiotics, deconstruction, new historicism, cultural criticism, lesbian/gay/queer theory, African American criticism, and postcolonial criticism. The chapters provide an extended explanation of each theory, using examples from everyday life, popular culture, and literary texts; a list of specific questions critics who use that theory ask about literary texts; an interpretation of F. Scott Fitzgerald's The Great Gatsby through the lens of each theory; a list of questions for further practice to guide readers in applying each theory to different literary works; and a bibliography of primary and secondary works for further reading.

To Mock a Mockingbird and Other Logic Puzzles


Raymond M. Smullyan - 1985
    It contains many puzzles and their solutions and aims to attract many readers in an age where computer science, logic, and mathematics are becoming increasingly important and popular.

Intel Microprocessors 8086/8088, 80186/80188, 80286, 80386, 80486, Pentium, Prentium Proprocessor, Pentium II, III, 4


Barry B. Brey - 1991
    This text provides a comprehensive view of programming and interfacing of the Intel family of Microprocessors from the 8088 through the latest Pentium 4 microprocessor. Organized in an orderly and manageable format, it offers over 200 programming examples using the Microsoft Macro Assembler program, and provides a thorough description of each Intel family members, memory systems, and various I/O systems.

Genki I: An Integrated Course in Elementary Japanese


Eri Banno - 1999
    Abundantly illustrated and containing a wide variety of exercises, Genki is sure to bring vigor to your classroom! Though primarily meant for use in college-level classes, it is also a good guide for independent learners and is a nice resource book for teachers of Japanese. Genki's authors teach at Kansai Gaidai University, which hosts the largest number of North American students spending their junior year in Japan.