Fall 2022

Student File Submission/Retrieval Utility

- Homework #1: Textual Substitution,
The
**Substitution**Inference Rule, and Inference Systems - Homework #2: Leibniz Inference Rule; Boolean Functions; Modeling English Propositions; Proofs Involving Equality, Negation, true, false
- Homework #3: Proofs involving Equivalence, Negation, Inequivalence, Disjunction, and Conjunction
- Homework #4: Implication; Knights and Knaves
- Homework #5: Additional Proof Techniques; Logical Arguments
- Homework #6: Resolution; Types; Quantification; Formalizing Predicates
- Homework #7: Proofs involving Quantification
- Homework #8: Repeat: Textual Substitution in Quantifications and Formalizing Predicates
- Homework #9: Predicate Logic/Calculus Proofs
- Homework #10: Mathematical Induction (preliminary edition)

- Operator Precedences
- Gries/Schneider Theorems as presented by Warford
- Boolean Expressions: Normal Forms
- On Proofs Involving the Replacement of A by B, where A ⇒ B
- Notes on Resolution
- 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**- Notes on Relations

- 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)