Course Syllabus
- Propositional Logic
- Truth tables
- Truth trees
- Checking tautologies
- Logical equivalences
- Consistent sets of formulas
- Arguments and validity
- Translation
- Formal proofs (Fitch-style natural deduction)
- Sets
- Cartesian Product
- Power set
- Set operations
- Set identities
- Predicate Logic
- Formulas
- Meaning
- Validity
- Translation
- Induction and Recursion
- Weak Induction
- Strong Induction
- Structural Induction
- Recursive Definition
- Functions and Relations
- Graph Theory
E. Haghverdi's Home Page