Suitable for one- or two-term introductory discrete mathematics courses taken by students from a variety of majors. This text gives an introduction to the primary themes in a discrete mathematics course and demonstrates the relevance and practicality of discrete mathematics to a variety of real-world applications.

Introduces the mathematics that supports advanced computer programming and the analysis of algorithms. This book includes more than 500 exercises, divided into six categories. Complete answers are provided for all exercises, except research problems. It is useful for computer scientists and also for users of mathematics in various disciplines.

Offers a flexible organization, enabling instructors to adapt the book to their particular courses. This book gives emphasis on algorithms and applications. Including exercises, it features numerous computer science applications.

Provides an introduction to finite model theory which stresses the computer science origins of the area. This book deals with the applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fraisse games, locality-based techniques, and the complexity analysis of logics.

Gives you 2,000 problems in discrete mathematics. This guide helps you to master various types of problems you will face on your tests, from simple questions on set theory to complex Boolean algebra, logic gates, and the use of propositional calculus.

Considered a classic by many, A First Course in Abstract Algebra is an in-depth introduction to abstract algebra. Focused on groups, rings and fields, this text gives students a firm foundation for more specialized work by emphasizing an understanding of the nature of algebraic structures.

Offers an introduction to discrete mathematics structures. This book balances relevant applications alongside the presentation of concepts, thus helping the students in better understanding and meeting the needs of computer science majors.

This text attempts 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 book's uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be applied in essentially every other area.

Covers various areas of discrete mathematics.