# Mathematics of Discrete Structures for Computer Science

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational mathematics necessary for courses in computer science. The common approach to presenting mathematical concepts and operators is to define them in terms of properties they satisfy, and then based on these definitions develop ways of computing the result of applying the operators and prove them correct. This book is mainly written for computer science students, so here the author takes a different approach: he starts by defining ways of calculating the results of applying the operators and then proves that they satisfy various properties. After justifying his underlying approach the author offers detailed chapters covering propositional logic, predicate calculus, sets, relations, discrete structures, structured types, numbers, and reasoning about programs. The book contains chapter and section summaries, detailed proofs and many end-of-section exercises -- key to the learning process. The book is suitable for undergraduate and graduate students, and although the treatment focuses on areas with frequent applications in computer science, the book is also suitable for students of mathematics and engineering.

keep2share

keep2share

**Related books**

- Discrete Mathematics with Applications (4th edition)
- A Logical Introduction to Proof
- Discrete Mathematics for Computer Scientists
- Discrete Mathematics for Computer Scientists
- Mathematical Logic for Computer Science, 3rd edition
- Algebraic Structures and Operator Calculus: Volume II: Special Functions and Computer Science
- Introduction to Mathematics with Maple
- Logic Functions and Equations: Binary Models for Computer Science
- Graphs and Algorithms in Communication Networks
- How to Solve Mathematical Problems

## Random books

- Hungry Girl: 200 Under 200: 200 Recipes Under 200 Calories
- Avery, Kevin J., & Peter L. Fodera, John Vanderlyn's panoramic view of the palace and gardens of Versailles
- The Enterprise and Scrum
- Vom Sperrgebiet zur Waldstadt: Die Geschichte der geheimen Kommandozentralen in Wünsdorf und Umgebung
- Tradition, Rationality And Virtue: The Thought of Alasdair Macintyre
- North Pole, South Pole: The Epic Quest to Solve the Great Mystery of Earth's Magnetism
- Developing Business Intelligence Apps for SharePoint
- Audio-Kurs Englisch - Audio-CDs mit Begleitheft: Einfach lernen ohne Buch
- American Wasteland: How America Throws Away Nearly Half of Its Food (and What We Can Do About It)
- Venus and Serena Williams: Athletes (Women of Achievment)
- The World of Yesterday
- Angewandte Psychologie
- Langenscheidt Italienisch on tour - 2 Audio-CDs mit Begleitheft: Reise-Sprachtraining
- United States Hegemony and the Foundations of International Law
- Windows Phone Recipes: A Problem Solution Approach

## Top books

- Bulldogs Are the Best! (The Best Dogs Ever)
- Stochastic Averaging and Stochastic Extremum Seeking
- Promoting Early Reading: Research, Resources, and Best Practices
- The Economics and Regulation of Financial Privacy: An International Comparison of Credit Reporting Systems
- Smells Like Dead Elephants: Dispatches from a Rotting Empire
- Indo-European Sacred Space: Vedic and Roman Cult
- Frommer's Washington, D.C. 2013, 8th edition
- Risk Management of Water Supply and Sanitation Systems
- Schokolade
- Moby-Dick in Pictures: One Drawing for Every Page
- Beyond the C++ Standard Library: An Introduction to Boost
- Chess Problem Gems by Eight Eminent American Composers
- 3DMotive - Orc Head ZBrush Series Vol 1
- PowerPoint: From Outline to Presentation
- Formal Languages and Compilation (2nd edition)

## Today books

- The Confessions of Al Capone (Audiobook)
- Japanese Kanji & Kana: A Complete Guide to the Japanese Writing System
- 60 Hikes Within 60 Miles: Seattle: Including Bellevue, Everett, and Tacoma
- Constitutive Relations under Impact Loadings: Experiments, Theoretical and Numerical Aspects
- Learning Ritual Magic: Fundamental Theory and Practice for the Solitary Apprentice
- A-Z of Employment Law, 4th edition
- Andrew Kirmse, Game Programming Gems 4
- Mobilizing Money: How the World's Richest Nations Financed Industrial Growth
- Sherrilyn Kenyon - Dark Bites: A Short Story Collection
- Daniel: My French Cuisine
- Einführung in die Allgemeine Betriebswirtschaftslehre: Mit Beispielen und Fallstudien
- DigitalTutors: Modeling and Animating a Motion Graphics Opener in 3ds Max
- The Complete Idiot's Guide to Beer Tasting
- The National Watercraft Collection
- Color and Light: A Guide for the Realist Painter