# 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

- The Dasanami-samnyasis
- Managing Complexity, Reducing Perplexity: Modeling Biological Systems
- Computer-based Modelling and Optimization in Transportation (Advances in Intelligent Systems and Computing)
- Drawing Basics and Video Game Art: Classic to Cutting-Edge Art Techniques for Winning Video Game Design
- Lynda - Draw Better and Faster with Illustrator CC
- Freimaurer, Illuminaten und andere Verschwörer: Wie Verschwörungstheorien funktionieren
- The Nuclear Jihadist [Audiobook]
- Educational Interfaces between Mathematics and Industry: Report on an ICMI-ICIAM-Study
- Pervasive Computing and Networking
- Linear Algebra: For Everyone
- A History of Color: The Evolution of Theories of Light and Color by Robert A. Crone
- BWL kompakt: Die 100 wichtigsten Themen der Betriebswirtschaft für Praktiker
- Charles Faudree Home
- Arms and Armour - Underwater Warriors
- Experimental Pattern Sourcebook: 300 Inspired Designs from Around the World

## Top books

- Trade, Globalization and Poverty
- Son of Man in the Parables of Enoch and in Matthew (Jewish & Christian Text)
- The Best Damn Cybercrime and Digital Forensics Book Period
- Virtual Vixens: 3D Character Modeling and Scene Placement
- Everyday Moon Magic: Spells and Rituals for Abundant Living
- PHP 5 Kochbuch. Beispiele und Lösungen für PHP-Programmierer, 3. Auflage
- Mobile First Design with HTML5 and CSS3
- Black & Decker The Complete Guide to Dream Bathrooms
- Pro RFID in BizTalk Server 2009 (Expert's Voice in BizTalk)
- Lecture Notes: Respiratory Medicine, 8th Edition
- Post-Impressionism (Art of Century Collection)
- Advanced Analysis and Design for Fire Safety of Steel Structures
- Terry Pratchett - Nomen-Trilogie - Band 2 - Wühler
- Langenscheidt Business English Small Talk - Audio-CD mit Begleitheft: Kommunikationstrainer
- The History of Mathematics: An Introduction (6th edition)

## Today books

- Embedded Software for SoC
- Sensors and Low Power Signal Processing
- Flash Animation for Teens
- Advances in Ring Theory
- Writing for Science and Engineering: Papers, Presentations and Reports, 2nd edition
- Women and Mystical Experience in the Middle Ages
- Longitudinal Double-Spin Asymmetry of Electrons from Heavy Flavor Decays in Polarized p + p Collisions at s = 200 GeV
- Israel on the Appomattox: A Southern Experiment in Black Freedom from the 1790s Through the Civil War
- The Ritual Lament in Greek Tradition, 2nd edition
- From Mama's Table to Mine: Everybody's Favorite Comfort Foods at 350 Calories or Less
- The Real Estate Math Handbook: Simplified Solutions For The Real Estate Investor
- Fighting Ships and Prisons: The Mediterranean Galleys of France in the Age of Louis XIV
- Galloway's Marathon FAQ: Over 100 of the Most Frequently Asked Questions
- The Experimental Foundations of Particle Physics (2nd edition)
- Out of the Scientist's Garden: A Story of Water and Food