Read more
Zusatztext "There is now a wide agreement that mathematics for computer scientists is not calculus and numerical analysis but discrete mathematics. According to this idea this book is a lovely text for undergraduate students! useful also at freshman-sophomore level." -Zentralblatt für Mathematik und ihre Grenzgebiete "Discrete Mathematics for New Technology is a nice introduction to logic! sets! and algebraic structures." -New Scientist "The book has a number of noteworthy features which make it a text to be considered seriously by those who wish to teach a course in this area. The material is carefully written and clearly presented in a user-friendly way which makes it a pleasure to read. There is a wealth of well-judged examples! with frequent historical notes to provide background and cartoons to lighten the style." -Times Higher Education Supplement Informationen zum Autor Rowan Garnier and John Taylor Klappentext 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. Zusammenfassung 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. Inhaltsverzeichnis 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....
