This book covers all the traditional topics of discrete mathematics— logic, sets, relations, functions, and graphs— and reflects recent trends in computer science.Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer science.

Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.

Master the fundamentals of discrete mathematics with DISCRETE MATHEMATICS FOR COMPUTER SCIENCE with Student Solutions Manual CD-ROM! An increasing number of computer scientists from diverse areas are using discrete mathematical structures to explain concepts and problems and this mathematics text shows you how to express precise ideas in clear mathematical language. Through a wealth of exercises and examples, you will learn how mastering discrete mathematics will help you develop important reasoning skills that will continue to be useful throughout your career.

This textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics course, but can also function as a transition to proof. Its unique, deductive perspective on mathematical logic provides students with the tools to more deeply understand mathematical methodology—an approach that the author has successfully classroom tested for decades. Chapters are helpfully organized so that, as they escalate in complexity, their underlying connections are easily identifiable. Mathematical logic and proofs are first introduced before moving onto more complex topics in discrete mathematics. Some of these topics include: Mathematical and structural induction Set theory Combinatorics Functions, relations, and ordered sets Boolean algebra and Boolean functions Graph theory Introduction to Discrete Mathematics via Logic and Proof will suit intermediate undergraduates majoring in mathematics, computer science, engineering, and related subjects with no formal prerequisites beyond a background in secondary mathematics.

Stein/Drysdale/Bogart's Discrete Mathematics for Computer Scientists is ideal for computer science students taking the discrete math course. Written specifically for computer science students, this unique textbook directly addresses their needs by providing a foundation in discrete math while using motivating, relevant CS applications. This text takes an active-learning approach where activities are presented as exercises and the material is then fleshed out through explanations and extensions of the exercises.

Journey into Discrete Mathematics is designed for use in a first course in mathematical abstraction for early-career undergraduate mathematics majors. The important ideas of discrete mathematics are included—logic, sets, proof writing, relations, counting, number theory, and graph theory—in a manner that promotes development of a mathematical mindset and prepares students for further study. While the treatment is designed to prepare the student reader for the mathematics major, the book remains attractive and appealing to students of computer science and other problem-solving disciplines. The exposition is exquisite and engaging and features detailed descriptions of the thought processes that one might follow to attack the problems of mathematics. The problems are appealing and vary widely in depth and difficulty. Careful design of the book helps the student reader learn to think like a mathematician through the exposition and the problems provided. Several of the core topics, including counting, number theory, and graph theory, are visited twice: once in an introductory manner and then again in a later chapter with more advanced concepts and with a deeper perspective. Owen D. Byer and Deirdre L. Smeltzer are both Professors of Mathematics at Eastern Mennonite University. Kenneth L. Wantz is Professor of Mathematics at Regent University. Collectively the authors have specialized expertise and research publications ranging widely over discrete mathematics and have over fifty semesters of combined experience in teaching this subject.