## Discrete Mathematics for Computer ScientistsThe second edition of 'Discrete Mathematics for Computer Scientists' provides an accessible introduction to the subject for beginners and an unparalleled reference source for the more experienced programmer. It includes a thorough coverage of all areas of discrete mathematics, including logic, natural numbers, coding theory, combinatorics, sets, algebraic functions, partially ordered structures, graphs, formal machines and complexity theory, as well as a special emphasis on the central role of propositional and predicate logic. This edition incorporates an improved treatment of induction and coverage of more 'basic' algebra, while the style has been made more accessible. Chapter 6 has been replaced by two chapters on propositional logic and further logic. |

### From inside the book

34 pages matching **propositional variables** in this book

Where's the rest of this book?

Results 1-3 of 34

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

The natural numbers | 1 |

Introductory logic | 48 |

Sets relations and functions | 85 |

Copyright | |

18 other sections not shown

### Other editions - View all

### Common terms and phrases

addition and multiplication adjacency matrix algorithm apply binary boolean algebra calculate Chapter circuit clause codeword colours corresponding countable deduce defined definition digits digraph domain edges elements encoding equal equation equivalence classes equivalence relation eulerian path example Exercises expression F F F F T F finite formula function f give given graph hamiltonian Hence induction hypothesis Induction step infinite input inverse isomorphic language Lemma length linear transformation matrix means method natural numbers notation notion obtain operations output partially ordered set path permutation planar graph polynomial positive integer possible predicate logic primitive recursive primitive recursive functions probability problem proof properties propositional logic propositional variables Prove radix real numbers register machine result Section semigroup sequence Show shown in Figure solution strings subset Suppose symbols Theorem tree truth table Turing machine vector space vertex vertices

### References to this book

Mathematik für Informatiker: Einführung an praktischen Beispielen aus der ... Manfred Brill No preview available - 2005 |

Algebraische Grundlagen der Informatik: Zahlen - Strukturen - Codierung ... Kurt-Ulrich Witt No preview available - 2007 |