SE 500 (Math for Software Engineering)
Fall 2025

Syllabus

Homework Assignments

• Homework #1: Textual Substitution and Inference Systems
• Homework #2: Leibniz Inference Rule; Boolean Functions; Modeling English Propositions;
• Homework #3: Proofs involving Negation, Inequivalence, Disjunction, and Conjunction
• Homework #4: Proofs involving Implication, etc., and Knights & Knaves
• Homework #5: Additional Proof Techniques; Logical Arguments
• Homework #6: Logical Arguments (again); Types and Quantification
• Homework #7: More Quantification; Predicate Logic
• Homework #8: More Predicate Logic
• Homework #9: Proof by Mathematical Induction
• Homework #10: More Mathematical Induction
• Homework #11: Binary Relations

Electronic Handouts

• Notes on Chapter 0 of Gries & Scneider
• (Incomplete) 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
• Quantification (Chapter 8)
• Textual Substitution as Applied to Quantification
• Theorems on Integer Ranges
• Examples of Using Gries Theorem 8.22
• Developing predicates from informal statements: A checklist
• Mathematical Induction
  • Examples of Proof by Induction
  • Proof of 2-cent, 5-cent problem
  • A proof by induction regarding a context-free grammar/language
• Notes on Relations

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)