Logic

• Logic Structure: Connective Rules in IPL
• Logic Design: Harmony in IPL
• Logic Inference: Natural Deduction
• Logic Inference: Sequent Calculus

Set Theory

• An Introduction to Set Theory
• Relations and Functions
• Injection, Surjection, Bijection

Abstract Algebra

• An Introduction to Abstract Algebra
• An Introduction to Geometric Group Theory
• The Symmetric Group
• Cosets and Normality
• Semirings as Algorithmic Parameters

Linear Algebra

• An Introduction to Linear Algebra
• Eigenvalues and Eigenvectors
• Singular Value Decomposition (SVD)
• Least Squares Estimation via Projection Matrices

Category Theory

• An Introduction to Category Theory [Part One]
• Computational Trinitarianism

Related sequences

• Language sequence