Discrete Mathematics for Computer Scientists
The 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.
34 pages matching propositional variables in this book
Results 1-3 of 34
What people are saying - Write a review
We haven't found any reviews in the usual places.
The natural numbers
Sets relations and functions
18 other sections not shown
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
Mathematik für Informatiker: Einführung an praktischen Beispielen aus der ...
No preview available - 2005
All Book Search results »
Algebraische Grundlagen der Informatik: Zahlen - Strukturen - Codierung ...
No preview available - 2007