CS graduates who survived this book often credit it for their ability to handle complex abstract reasoning. The exercise sets force you to derive theorems, not just memorize them. For competitive programming or graduate-level theory, this is boot camp. The Bad: Why It May Not Be for You However, approaching this book without caution can lead to frustration.
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. CS graduates who survived this book often credit
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. The Bad: Why It May Not Be for
CS graduates who survived this book often credit it for their ability to handle complex abstract reasoning. The exercise sets force you to derive theorems, not just memorize them. For competitive programming or graduate-level theory, this is boot camp. The Bad: Why It May Not Be for You However, approaching this book without caution can lead to frustration.
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.
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.
