SE 500 (Math for Software Engineering)
Fall 2023
Syllabus
Final Exam
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)