Discrete Mathematics for Computer Scientists |
Contents
The natural numbers | 1 |
Sets relations and functions | 52 |
Algebraic topics | 106 |
Copyright | |
9 other sections not shown
Common terms and phrases
addition algorithm allowed apply assignment assume binary calculate called Chapter circuit codeword colours complexity connected consider correct corresponding deduce defined definition described determine digits digraph discussed edges elements encoding equal equation equivalence example Exercises expression Figure finite formal formula function give given graph Hence holds illustrate important induction input instance integer language least length linear logic look machine matrix means method multiplication natural Note notion obtain occur operations partial path positive possible primitive recursive probability problem proof propositional Prove Question relation represented result sequence Show shown in Figure space steps string subset Suppose symbols Table Theorem transitive tree true truth variables vector vertex vertices write