Here is a partial list of topics to review for the end of the quarter. This list is not exhaustive, but lists some key topics we covered.

• Any material covered by the first exam
• The Presocratics
• Plato's theory of knowledge
• Qualitative vs Quantitative knowledge
• Validity, soundness of arguments
• Truth tables and their uses
• Soundness and Completeness for Propositional Logic (no quantifiers).
• Lorentz Transformations - what is their purpose, what do they do?
• Relativity of Simultaneity
• Special relativity workshop
• The structure of Einstein's argument in Part I of Relativity
• Kuhn questions handed out for seminar
• Fitch proofs
• Informal proofs and proof techniques (modus ponens, proof by cases, etc).
• Reading an interpreting logical statements with quantifiers
• Reading Python programs and understanding what they do
• Structure charts for Python programs
• Top down design, bottom up implementation, prototyping and spiral development.
• Objects (Ch 5 graphical objects)
• Python functions
• Decisions and loops in Python
• Fallacies