Schedule of Topics - CS 313k - Fall 2008

This schedule is just a guide - the order and selection of topics may be changed during the semester. You are responsible for the material as it is presented in class.

Week	Topic	Reading and Events (all reading assignments are in Velleman unless otherwise noted)
Aug 27	class policies and introduction Logic - why we need it propositional logic intro propositions logical connectives Notes: Introduction to cs 313k Introduction to logic Propositional logic	Logic as a Language Aristotle's Prior Analytics A logic problem Another logic problem Read the introduction section in the text Play mastermind online Pluto demoted Pluto concession speech
Sep 1	more propositional logic logical indentities tautology, contradiction, contingency Notes: More logic	Read chapter 1 except 1.4 Logical connectives - Read section 2 on truth functions Read about modus ponens Read about hypothetical syllogism (notice the difference in notation for therefore, not) Read about modus tollens
Sep 8	propositional logic logical implications: rules of inference formal proofs translating ideas into logic translating logic into ideas intro to predicate logic (logic of quantified statements) universal and existential quantifiers Notes: predicate logic	Read about Russell's paradox (also called the barber paradox) statement of the paradox More from wikipedia Play Set online Re-read chapter 1 (minus 1.4)
Sep 15	More predicate logic negations of quantified statements translating ideas with quantifiers to logic translating logic with  quantifiers to ideas statements with multiple quantifiers	Read sections 2.1 and 2.2 Discussion section exercises - work before discussion
Sep 22	More predicate logic Negating statements with multiple quantifiers formal proofs proof techniques Notes: methods of proof	Re-read sections 2.1 and 2.2 Midterm 1 review - work on these before discussion on Thursday. In discussion this week, you will review for the exam. Discussion section solutions for last week's assignment
Sep 29	methods of proof and a little number theory direct proof indirect proof (proof of contrapositive) proof by contradiction	Midterm 1: Oct 1 Read sections 3.1-3.3 midterm 1 review solutions
Oct 6	More on proof methods	Finish reading chapter 3 Discussion assignment
Oct 13	Proof techniques Sets definitions and basic set operations Venn diagrams cardinality set identities (associativity, distributivity, etc) Notes: sets	Read 1.4 and 2.3 Read about boolean algebras Discussion assignment
Oct 20	Sets cartesian product power set proving theorems about sets Notes: More on sets	Discussion assignment
Oct 27	Relations definitions properties: reflexive, symmetric, transitive, antisymmetric binary relations Notes: binary relations	Read 4.1 and 4.2 discussion assignment Midterm 2 review sheet Midterm 2 review solutions Proof review sheet Proof review solutions
Nov 3	Relations equivalence relations and partitions Functions definition and properties (1-1, onto, etc) inverses Notes: equivalence relations	Midterm 2: Nov 6, 7:30-9, PAI 2.48. Read about partitions
Nov 10	More on Relations partitions
Nov 17	order relations Functions definitions properties inverses composition proving theorems about functions Notes: Order relations	Discussion assignment - complete before attending discussion on Thursday
Nov 24	partial orders functions mathematical induction Notes: Functions Mathematical Induction
Dec 1	induction review for the final exam Review solutions	Sample final exam Sample exam solutions
	Final Exam:

Copyright Notice: These lecture notes may not be used without my permission.