This undergraduate-level describes the mathematics most needed in computer science. Bender and Williamson (both mathematics, U. of California, San Diego) cover Boolean functions and computer arithmeti
Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatm
This introductory treatment of theory, proof techniques, and related concepts is designed for undergraduate courses. Topics include propositional logic, quantifiers, sets, functions, relations, mathem
Discrete mathematics is fundamental to computer science, and this text covers its ideas and mathematical language. Features counting and listing, functions, decision trees and recursion, and basic con
Volume I of a two-volume set, this text for a course in numerical analysis offers a broad overview of computer-oriented numerical algorithms. Topics include solution of a single nonlinear equation wit
A study of the problems, principles, and procedures that mathematics has inherited from antiquity, this book both instructs and delights. Written by a specialist in interpreting science for lay reader
Diverging from the usual exposition of proofs, this textbook focuses on the methods of mathematics and how they are applied in science and engineering. It also examines discrete and continuous situati
This concise applications-oriented text is intended for undergraduate students in engineering, mathematics, and other areas of science. The first chapters focus on solutions of first order equations,
This survey of fundamental algebraic structures employs techniques applicable to mathematics, physics, engineering, and computer science. Topics include relations between groups and sets, the fundamen
A comprehensive text on matrix theory and its applications, this book is intended for a broad range of students in mathematics, engineering, and other areas of science at the university level. Author
This introduction to calculus is designed for both beginning college undergraduates majoring in mathematics and undergraduates pursuing other areas of science and engineering for whom calculus will be
Focusing on topos theory's integration of geometric and logical ideas into the foundations of mathematics and theoretical computer science, this volume explores internal category theory, topologies an
One of those rare texts that offer a friendly and conversational tone, this work is perfect for either undergraduate mathematics or science history courses. The authors offer a fresh, modern overview
This introduction to combinatorics is suitable for upper-level undergraduates and graduate students in engineering, science, and mathematics. Covers basic counting, functions, decision trees, and siev
Writing for graduate students dealing with stochastic processes in a range of fields (such as operations research, management science, engineering, computer science, applied mathematics, and economics
Dr. Ecco is a mathematical detective and puzzle solver. In this book readers are invited to join him in solving nearly 40 puzzles inspired by methods in computer science and mathematics, including The
Engaging introduction to that curious feature of mathematics which provides framework for so many structures in biology, chemistry, and the arts. Discussion ranges from theories of biological growth
