SE 500 (Math for Software Engineering)
Fall 2009

Syllabus

CTLE: Services for Students

Homework Assignments

• Homework #1: Textual Substitution, Inference Systems
• Homework #2: The Leibniz Inference Rule
• Homework #3: Boolean Expressions and Propositional Calculus
• Homework #4: Exercises in Disjunction and Conjunction, mostly
• Homework #5: Exercises in Conjunction and Implication
• Homework #6: Exercises in Additional Proof Techniques
• Homework #7: Applications of Propositional Calculus
• Homework #8: Quantification
• Homework #9: More Quantification

Electronic Handouts

• On Proofs Involving the Replacement of A by B, where A implies B
• Notes on Resolution