SE 500 (Math for Software Engineering)
Fall 2026

Syllabus

Homework Assignments

• Homework #1: Textual Substitution and Inference Systems   Solution to Problem 4
• Homework #2: Leibniz Inference Rule; Boolean Functions; Modeling English Propositions;
• Homework #3: Proofs involving Negation, Inequivalence, Disjunction, and Conjunction
• Homework #4: Proofs involving Negation, Inequivalence, Disjunction, Conjunction, and Implication
• Homework #5: Proofs involving Implication, etc., and Knights & Knaves
• Homework #6: Additional Proof Techniques; Logical Arguments

Electronic Handouts

• Notes on Chapter 0 of Gries & Scneider
• Notes on Chapter 1 of Gries & Scneider
• Truth Table and 2-argument Boolean Functions   alternative
• Operator Precedences
• Gries/Schneider Theorems as presented by Warford
• Boolean Expressions: Normal Forms
• Notes on Resolution
• On Proofs Involving the Replacement of A by B, where A ⇒ B

Magazine Articles, Technical Reports, etc.

• Errors to be Corrected in Third Printing of Gries & Schneider book
• Teaching Calculation and Discrimination: A More Effective Curriculum by David Gries, CACM, March 1991
• A New Approach to Teaching Mathematics by Gries & Schneider (Comp. Sci. Dept., Cornell Univ. Technical Report 94-1411)
• Teaching Math More Effectively Through the Design of Calculational Proof by Gries & Schneider (Comp. Sci. Dept., Cornell Univ. Technical Report 94-1415)
• Equational Propositional Logic by Gries & Schneider (Comp. Sci. Dept., Cornell Univ. Technical Report 94-1455)
• Formal Versus Semiformal Proof in Teaching Predicate Logic by David Gries (Comp. Sci. Dept., Cornell Univ. Technical Report 94-1603)
• Programming: Sorcery or Science?, by C.A.R. Hoare, IEEE Software, April 1984
• An introduction to teaching logic as a tool (David Gries web page)