Discrete Mathematics Notes

• LOGIC AND SETS
• INTRODUCTION TO INEQUALITIES
• Boolean Algebra
• Lattices
• Partially Ordered Set and Hasse Diagram
• Sets and Motivation for Boolean Algebra
• Computable and Non-computable Functions
• Turing Machine
• Recursive Functions
• Rings and fields
• Normal Subgroups
• Cosets and Lagrange's Theorem
• Subgroups
• Groups
• Grammars
• Direct Product of Semigroups
• Subsemigroups and Submonoids
• Homomorphism and Quotient Semigroup
• Semigroups and Monoids
• Inference Theory of the Predicate Calculus
• Predicate Calculus
• Automatic Theorem Proving
• Theory of Inference
• Normal Forms
• MATHEMATICAL LOGIC