SE 500 (Math for Software Engineering)
Fall 2023

Syllabus

Homework Assignments

• Homework #1: Textual Substitution and Inference Systems   partial solution
• Homework #2: Leibniz Inference Rule; Boolean Functions; Modeling English Propositions;
• Homework #3: Proofs involving Equivalence, Negation, and Inequivalence
• Homework #4: Disjunction; Conjunction; Knights and Knaves
• Homework #5: Implication; Knights and Knaves
• Homework #6: Additional Proof Techniques; Logical Arguments; Resolution
• Homework #7: Types; Quantification
• Homework #8: Predicate Logic: Proofs and Translation from English
• Homework #9: Mathematical Induction   Sample Solutions

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
• Predicates and Progamming (Gries/Schneider Chapter 10)
• 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)