CS 313k Schedule of Topics

Schedule of Topics - CS 313k - Fall 2009

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 26	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
Aug 31	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 if vs. only if Discussion assignment - bring your solutions to discussion on Thursday
Sep 7	propositional logic logical implications: rules of inference formal proofs translating ideas into logic translating logic into ideas Notes: predicate logic	Monday, Sep 7 - labor day holiday, no class 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) Discussion 1 solutions Discussion section assignment Discussion 2 solutions
Sep 14	More propositional logic - proving arguments are valid Intro to predicate logic	Read sections 2.1 and 2.2 Discussion section exercises - work before discussion
Sep 21	More predicate logic universal and existential quantifiers negating quantified statements translating English statements with quantifiers to logic, and vice versa 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. Validity proofs - more practice
Sep 28	methods of proof and a little number theory direct proof indirect proof (proof of contrapositive) proof by contradiction	Midterm 1: Oct 1, 7:30-9 pm, WEL 2.246 Read sections 3.1-3.3 midterm 1 review solutions More midterm practice
Oct 5	More on proof methods	Finish reading chapter 3 Discussion assignment
Oct 12	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 19	Sets cartesian product power set proving theorems about sets Notes: More on sets	Discussion assignment
Oct 26	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 2	Relations equivalence relations and partitions Functions definition and properties (1-1, onto, etc) inverses Notes: equivalence relations	Midterm 2: Nov 5, 7:30-9 Read about partitions
Nov 9	More on Relations partitions Discussion assignment for Nov 12: subset and existence proofs
Nov 16	order relations Functions definitions properties inverses composition proving theorems about functions Notes: Order relations	Discussion assignment - complete before attending discussion on Thursday
Nov 23	partial orders functions mathematical induction Notes: Functions Mathematical Induction
Nov 30	induction review for the final exam Review solutions	Sample final exam Sample exam solutions
	Final Exam: