''In writing this book, care was taken to use language and examples that gradually wean students from a simpleminded mechanical approach and move them toward ma

Although This Book Is Intended As A Sequel To Foundations Of Discrete Mathematics By The Same Author, It Can Be Read Independently Of The Latter, As The Relevan

Discrete Structure, Logic, and Computability introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer

Basic forms and operations; Undirected graphs; Gorn trees; Directed graphs; Formal and natural languages; Finite groups and computing; Partial orders and lattic

This text has been designed as a complete introduction to discrete mathematics, primarily for computer science majors in either a one or two semester course. Th