1. Introduction
  2. Naive Concepts
  3. Topics
  4. 1. Fundamental Concepts
    1. 1.1. Sets
    2. 1.2. Relations
    3. 1.3. Functions
  5. 2. First Order Logic
    1. 2.1. Propositional Logic
    2. 2.2. Predicate Logic
  6. 3. Algebra
    1. 3.1. Groups
    2. 3.2. Rings
    3. 3.3. Fields
    4. 3.4. Vector Spaces
    5. 3.5. Modules
    6. 3.6. Algebras
    7. 3.7. Lattices
  7. 4. Topology
  8. 5. Analysis
  9. 6. Discrete Mathematics
  10. 7. Foundations of Mathematics
    1. 7.1. Set Theory
    2. 7.2. Category Theory
    3. 7.3. Type Theory

Math Notes

Functions

Definition

Injective Functions

Surjective Functions

Bijective Functions

Composition of Functions

Inverse Functions

Cardinality of Sets and Functions

TODO: Recursive Functions