Mathematical Foundations for Computing

  1. Basic Structures: Sets, Functions, and Relations
    1. Set Theory
      1. Defining Sets
        1. Roster Method
          1. Set-Builder Notation
            1. Describing Infinite Sets
              1. Membership and Non-membership
              2. Special Sets
                1. The Empty Set
                  1. Universal Set
                    1. Power Set
                      1. Singleton Sets
                        1. Natural Numbers
                          1. Integers
                            1. Rational Numbers
                              1. Real Numbers
                              2. Subsets and Proper Subsets
                                1. Definition of Subset
                                  1. Proper Subset
                                    1. Subset Notation
                                      1. Subset Relationships
                                      2. Set Operations
                                        1. Union
                                          1. Intersection
                                            1. Difference
                                              1. Complement
                                                1. Symmetric Difference
                                                  1. Disjoint Sets
                                                  2. Venn Diagrams
                                                    1. Representing Set Operations
                                                      1. Visualizing Relationships
                                                        1. Three-Set Venn Diagrams
                                                        2. Set Cardinality
                                                          1. Counting Elements in Finite Sets
                                                            1. Infinite Sets
                                                              1. Countable Sets
                                                                1. Uncountable Sets
                                                                  1. Comparing Cardinalities
                                                                    1. Cantor's Theorem
                                                                    2. Cartesian Products
                                                                      1. Definition and Notation
                                                                        1. Properties of Cartesian Products
                                                                          1. n-ary Cartesian Products
                                                                            1. Ordered Pairs and Tuples
                                                                            2. Set Identities
                                                                              1. Proving Set Identities
                                                                                1. Common Set Laws
                                                                                  1. Using Set Identities in Proofs
                                                                                2. Functions
                                                                                  1. Definition of a Function
                                                                                    1. Mapping from Domain to Codomain
                                                                                      1. Function Notation
                                                                                        1. Function Equality
                                                                                        2. Domain, Codomain, and Range
                                                                                          1. Identifying Domain and Codomain
                                                                                            1. Determining the Range
                                                                                              1. Image and Preimage
                                                                                              2. Types of Functions
                                                                                                1. Injective Functions
                                                                                                  1. Surjective Functions
                                                                                                    1. Bijective Functions
                                                                                                      1. Constant Functions
                                                                                                        1. Identity Function
                                                                                                          1. Partial Functions
                                                                                                          2. Inverse Functions
                                                                                                            1. Definition and Existence
                                                                                                              1. Finding Inverses
                                                                                                                1. Properties of Inverse Functions
                                                                                                                  1. Left and Right Inverses
                                                                                                                  2. Composition of Functions
                                                                                                                    1. Definition of Function Composition
                                                                                                                      1. Associativity of Composition
                                                                                                                        1. Domain and Range of Composed Functions
                                                                                                                          1. Composition with Inverse Functions
                                                                                                                          2. Important Functions in Computer Science
                                                                                                                            1. Floor Function
                                                                                                                              1. Ceiling Function
                                                                                                                                1. Factorial Function
                                                                                                                                  1. Logarithmic Functions
                                                                                                                                    1. Exponential Functions
                                                                                                                                      1. Polynomial Functions
                                                                                                                                        1. Boolean Functions
                                                                                                                                      2. Relations
                                                                                                                                        1. Binary Relations
                                                                                                                                          1. Definition and Examples
                                                                                                                                            1. n-ary Relations
                                                                                                                                              1. Relation as a Set of Ordered Pairs
                                                                                                                                              2. Representing Relations
                                                                                                                                                1. Using Matrices
                                                                                                                                                  1. Using Directed Graphs
                                                                                                                                                    1. Relation Tables
                                                                                                                                                      1. Set Notation
                                                                                                                                                      2. Properties of Relations
                                                                                                                                                        1. Reflexivity
                                                                                                                                                          1. Symmetry
                                                                                                                                                            1. Antisymmetry
                                                                                                                                                              1. Transitivity
                                                                                                                                                                1. Irreflexivity
                                                                                                                                                                  1. Asymmetry
                                                                                                                                                                    1. Combining Properties
                                                                                                                                                                    2. Combining Relations
                                                                                                                                                                      1. Union of Relations
                                                                                                                                                                        1. Intersection of Relations
                                                                                                                                                                          1. Composition of Relations
                                                                                                                                                                            1. Inverse of a Relation
                                                                                                                                                                              1. Powers of Relations
                                                                                                                                                                              2. Equivalence Relations
                                                                                                                                                                                1. Definition of Equivalence Relation
                                                                                                                                                                                  1. Equivalence Classes
                                                                                                                                                                                    1. Partitions Induced by Equivalence Relations
                                                                                                                                                                                      1. Quotient Sets
                                                                                                                                                                                      2. Partial Orderings
                                                                                                                                                                                        1. Definition of Partial Order
                                                                                                                                                                                          1. Partially Ordered Sets
                                                                                                                                                                                            1. Hasse Diagrams
                                                                                                                                                                                              1. Maximal and Minimal Elements
                                                                                                                                                                                                1. Greatest and Least Elements
                                                                                                                                                                                                  1. Upper and Lower Bounds
                                                                                                                                                                                                    1. Total Orderings
                                                                                                                                                                                                      1. Well-Ordered Sets

                                                                                                                                                                                                  Previous

                                                                                                                                                                                                  1. Foundations of Logic and Proofs

                                                                                                                                                                                                  Go to top

                                                                                                                                                                                                  Next

                                                                                                                                                                                                  3. Algorithms and Complexity