Foundation Discrete Mathematics for Computing |
Contents
Part Two Sets Lists and Counting | 59 |
4 | 98 |
Part Three Further Logic | 149 |
Copyright | |
6 other sections not shown
Other editions - View all
Common terms and phrases
add3 apple arith(n arithmetic expression arithmetic sequence BEGIN Search binary relation brackets called cardinality Cartesian product compound proposition Conclusion construct convert counting the number cube root data type database defined Describe diagram digraph domain elements END Search equivalence relation example Exercises false Figure following relations geom(n geometric sequence graph hexadecimal input integer inverse function irrational number lists of length logical mapping natural numbers negation node notation number of words one-to-one open sentence order relation ordered pair output partial function Pascal's triangle power set propositional calculus quantified propositions radio rational number real numbers recursive reflexive represent reverse process rules Search of subtree Search right Solution square string subset subtree VISIT SUC SUC switch symbol tautology tion total function true truth table truth value valid variable Venn diagram VISIT the root whole numbers