Discrete Mathematics

for New Technology

Rowan Garnier (Autor)

Buch | Softcover

696 Seiten

1992
Institute of Physics Publishing (Verlag)
978-0-7503-0135-0 (ISBN)

Artikel merken

Covers topics including logic and the nature of mathematical proof, set theory, relations and functions, matrices and systems of linear equations, algebraic structures, Boolean algebras, and a thorough treatise on graph theory. This work is suitable for those who require an understanding of discrete mathematics.

In a comprehensive yet easy-to-follow manner, Discrete Mathematics for New Technology follows the progression from the basic mathematical concepts covered by the GCSE in the UK and by high-school algebra in the USA to the more sophisticated mathematical concepts examined in the latter stages of the book. The book punctuates the rigorous treatment of theory with frequent uses of pertinent examples and exercises, enabling readers to achieve a feel for the subject at hand. The exercise hints and solutions are provided at the end of the book. Topics covered include logic and the nature of mathematical proof, set theory, relations and functions, matrices and systems of linear equations, algebraic structures, Boolean algebras, and a thorough treatise on graph theory.

Although aimed primarily at computer science students, the structured development of the mathematics enables this text to be used by undergraduate mathematicians, scientists, and others who require an understanding of discrete mathematics.

Rowan Garnier and John Taylor

Sections include: Logic: Propositions and truth tables. Logical equivalence and logical implication. Algebra of propositions. Arguments in predicate logic Mathematical proof: Axioms and axiom systems. Mathematical induction. Sets: Operations on sets. Algebra of sets. Relations: Intersections and unions. Hasse diagrams. Functions: Injections and surjections. Databases - functional dependence and normal forms. Matrix algebra: Operations. The inverse of a matrix. Systems of linear equations: Matrix inverse method. Gaussian elimination. Algebraic structures: Some families of groups. Substructures. Morphisms. Boolean algebra: Switching circuits. Logic networks. Graph theory: Paths and circuits. Isomorphism of graphs. Trees. Applications of graph theory: Searching strategies. Networks and flows.

Erscheint lt. Verlag	1.5.1992
Verlagsort	London
Sprache	englisch
Maße	156 x 234 mm
Gewicht	997 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Themenwelt	Mathematik / Informatik ► Mathematik ► Angewandte Mathematik
ISBN-10	0-7503-0135-X / 075030135X
ISBN-13	978-0-7503-0135-0 / 9780750301350
Zustand	Neuware