
External
Applied Discrete Structures
Applied Discrete Structures is designed for use in a university course in discrete mathematics spanning up to two semesters. Its original design was for computer science majors to be introduced to the mathematical topics that are useful in computer science. It can also serve the same purpose for mathematics majors, providing a first exposure to many essential topics.
- Author
- Al Doerr & Ken Levasseur
- Publisher
- University of Massachusetts Lowell
- Source
- LibreTexts
- License
- CC BY-NC-SA
- Language
- EN
- Category
- Basic Sciences
Contents· 112 sections
- 01: Set Theory
- 1.01: Set Notation and Relations
- 1.02: Basic Set Operations
- 1.03: Cartesian Products and Power Sets
- 1.04: Binary Representation of Positive Integers
- 1.05: Summation Notation and Generalizations
- 02: Combinatorics
- 2.01: Basic Counting Techniques - The Rule of Products
- 2.02: Permutations
- 2.03: Partitions of Sets and the Law of Addition
- 2.04: Combinations and the Binomial Theorem
- 03: Logic
- 3.01: Propositions and Logical Operators
- 3.02: Truth Tables and Propositions Generated by a Set
- 3.03: Equivalence and Implication
- 3.04: The Laws of Logic
- 3.05: Mathematical Systems and Proofs
- 3.06: Propositions over a Universe
- 3.07: Mathematical Induction
- 3.08: Quantifiers
- 3.09: A Review of Methods of Proof
- 04: More on Sets
- 4.01: Methods of Proof for Sets
- 4.02: Laws of Set Theory
- 4.03: Minsets
- 4.04: The Duality Principle
- 05: Introduction to Matrix Algebra
- 5.01: Basic Definitions and Operations
- 5.02: Special Types of Matrices
- 5.03: Laws of Matrix Algebra
- 5.04: Matrix Oddities
- 06: Relations
- 6.01: Basic Definitions
- 6.02: Graphs of Relations on a Set
- 6.03: Properties of Relations
- 6.04: Matrices of Relations
- 6.05: Closure Operations on Relations
- 07: Functions
- 7.01: Definition and Notation
- 7.02: Properties of Functions
- 7.03: Function Composition
- 08: Recursion and Recurrence Relations
- 8.01: The Many Faces of Recursion
- 8.02: Sequences
- 8.03: Recurrence Relations
- 8.04: Some Common Recurrence Relations
- 8.05: Generating Functions
- 09: Graph Theory
- 9.01: Graphs - General Introduction
- 9.02: Data Structures for Graphs
- 9.03: Connectivity
- 9.04: Traversals- Eulerian and Hamiltonian Graphs
- 9.05: Graph Optimization
- 9.06: Planarity and Colorings
- 10: Trees
- 10.01: What is a Tree
- 10.02: Spanning Trees
- 10.03: Rooted Trees
- 10.04: Binary Trees
- 11: Algebraic Structures
- 11.01: Operations
- 11.02: Algebraic Systems
- 11.03: Some General Properties of Groups
- 11.04: Greatest Common Divisors and the Integers Modulo n
- 11.05: Subsystems
- 11.06: Direct Products
- 11.07: Isomorphisms
- 12: More Matrix Algebra
- 12.01: Systems of Linear Equations
- 12.02: Matrix Inversion
- 12.03: An Introduction to Vector Spaces
- 12.04: The Diagonalization Process
- 12.05: Some Applications
- 12.06: Linear Equations over the Integers Mod 2
- 13: Boolean Algebra
- 13.01: Posets Revisited
- 13.02: Lattices
- 13.03: Boolean Algebras
- 13.04: Atoms of a Boolean Algebra
- 13.05: Finite Boolean Algebras as n-tuples of 0's and 1's
- 13.06: Boolean Expressions
- 13.07: A Brief Introduction to Switching Theory and Logic Design
- 14: Monoids and Automata
- 14.01: Monoids
- 14.02: Free Monoids and Languages
- 14.03: Automata Finite-State Machines
- 14.04: The Monoid of a Finite-State Machine
- 14.05: The Machine of a Monoid
- 15: Group Theory and Applications
- 15.01: Cyclic Groups
- 15.02: Cosets and Factor Groups
- 15.03: Permutation Groups
- 15.04: Normal Subgroups and Group Homomorphisms
- 15.05: Coding Theory Group Codes
- 16: An Introduction to Rings and Fields
- 16.01: Rings Basic Definitions and Concepts
- 16.02: Fields
- 16.03: Polynomial Rings
- 16.04: Field Extensions
- 16.05: Power Series
- 17: Appendix
- 17.01: A - Algorithms
- 17.1.01: An Introduction to Algorithms
- 17.1.02: The Invariant Relation Theorem
- 17.02: B - Python and SageMath
- 17.2.01: Python Iterators
- 17.2.02: Dictionaries
- 17.03: C - Determinants
- 17.3.01: Definition
- 17.3.02: Computation
- 17.04: D - Notation
- 17.05: E - References