SE 500 (Math for Software Engineering)
Fall 2022
Student File Submission/Retrieval Utility
Link to Supplementary Text
Homework Assignments
- Homework #1: Textual Substitution,
The Substitution Inference Rule, and Inference Systems
- Homework #2: Leibniz Inference Rule;
Boolean Functions; Modeling English Propositions;
Proofs Involving Equality, Negation, true, false
- Homework #3:
Proofs involving Equivalence, Negation, Inequivalence, Disjunction,
and Conjunction
- Homework #4:
Implication; Knights and Knaves
- Homework #5:
Additional Proof Techniques; Logical Arguments
- Homework #6:
Resolution; Types; Quantification; Formalizing Predicates
- Homework #7:
Proofs involving Quantification
- Homework #8:
Repeat: Textual Substitution in Quantifications and
Formalizing Predicates
- Homework #9:
Predicate Logic/Calculus Proofs
- Homework #10:
Mathematical Induction
Electronic Handouts
Magazine Articles, Technical Reports, etc.