CIS301 Lecture Notes

The programming examples in the ``T-version'' of the notes can be copied-and-pasted into the CIS301 proof checker and used as is.

Week 1 Chapter 0: Circuits and truth tables S-version | T-version Week 2 Chapter 1: Algebra S-version | T-version Week 3 Chapter 2: Programming logic for assignments and conditionals S-version | T-version Examples from lecture | collected in a zip file (Read the .htm files first. I typed the examples within a Linux-based editor, so if you view the .py files with InternetExplorer, they might look like junk. In this case, click on InternetExplorer's View menu and select Source (``View Source''). This should display the file correctly in a separate window.) Or, download the zip file and extract all the files from it. You can view them with Wordpad. Week 4 Chapter 3: Functions and Procedures S-version | T-version Examples from lecture | collected in a zip file Week 5 Chapter 8: Grammars and trees S-version | T-version Examples from lecture | collected in a zip file Week 6 Chapter 4: Loops, invariants, induction S-version | T-version Examples from lecture | collected in a zip file Week 7 Chapter 5: Propositional logic and applications S-version | T-version Examples from lecture | collected in a zip file (Note: you must use the Natural-Deduction-Proof-Checker tool to read the examples.) Week 9 Chapter 6: Predicate logic and applications S-version | T-version | Examples from lecture | collected in a zip file (Note: you must use the Natural-Deduction-Proof-Checker tool to read the ndp files.)

To come (subject to change):

Chapter 7: Introduction to Prolog (``programming in logic'') S-version | T-version

This work is licensed under a Creative Commons License.