CS 313k Schedule of Topics

Schedule of Topics - CS 313k - Fall 2011

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 24	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 29	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 5	propositional logic logical implications: rules of inference formal proofs translating ideas into logic translating logic into ideas Notes: predicate logic	Monday, Sep 6 - 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 12	More propositional logic - proving arguments are valid Intro to predicate logic	Read sections 2.1 and 2.2 Discussion section exercises - work before discussion Discussion assignment solutions
Sep 19	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 26	methods of proof and a little number theory direct proof indirect proof (proof of contrapositive) proof by contradiction	Midterm 1 Read sections 3.1-3.3 midterm 1 review solutions More midterm practice
Oct 3	More on proof methods	Finish reading chapter 3 Discussion assignment
Oct 10	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 Homework 4 hints
Oct 17	Sets cartesian product power set proving theorems about sets Notes: More on sets	Discussion assignment
Oct 24	Relations definitions properties: reflexive, symmetric, transitive, antisymmetric binary relations Notes: binary relations	Read 4.1 and 4.2 discussion assignment discussion solutions Midterm 2 review sheet Midterm 2 review solutions Proof review sheet Proof review solutions
Oct 31	Relations equivalence relations and partitions Functions definition and properties (1-1, onto, etc) inverses Notes: equivalence relations	Read about partitions
Nov 7	More on Relations partitions Discussion assignment : subset and existence proofs
Nov 14	order relations Functions definitions properties inverses composition proving theorems about functions Notes: Order relations	Discussion assignment - complete before attending discussion on Thursday
Nov 21	partial orders functions mathematical induction Notes: Functions Mathematical Induction
Nov 28	induction review for the final exam Review solutions	Sample final exam Sample exam solutions
	Final Exam: