Most "applied" discrete math books give trivial examples (e.g., "Use sets to manage a library database"). Tremblay & Manohar goes deeper. Their chapter on Algebraic Structures directly connects Boolean algebras to switching circuits. Their coverage of Formal Languages and Finite Automata remains the gold standard for understanding the Chomsky hierarchy—fundamental knowledge for anyone building compilers or parsers.
Let’s dissect its structure, strengths, and glaring weaknesses. The first thing any reader notices about Tremblay and Manohar’s work is its unapologetic density. This is not a colorful, infographic-laden textbook. It is a pure, mathematical text. Most "applied" discrete math books give trivial examples (e
The PDF scans of the original 1970s edition often look like faded mimeographs. The notation (e.g., using $A'$ for complement or $ \overline{A} $ interchangeably) can be inconsistent. Modern students accustomed to LaTeX-quality formatting will find the typesetting jarring. Their coverage of Formal Languages and Finite Automata
If you want to understand why a proof by resolution works in Prolog, or the theoretical limits of predicate calculus, this book delivers. It covers normal forms (CNF, DNF) with a clarity that modern, glossier books often lack. This is not a colorful, infographic-laden textbook