: Statements, symbolic representation, tautologies, propositional logic, quantifiers, predicates, and logic programming.
: Logic networks and minimization techniques. Mathematical structures for computer science : ...
: Topological sorting, relational databases, function types, and matrix operations. Mathematical structures for computer science : ...
: The textbook is designed to meet the proposed standards for discrete mathematics courses as set by the ACM and IEEE. Mathematical structures for computer science : ...