Contents

C241: Class Schedule

Fall 2009

Tentative Class schedule

Important Note!!

The following information may change over the course of the semester, and may not be correct. The final word on assignment due dates, reading assignment pages, and other important information will be given in class, and posted as announcements on the course webpage. Past announcements can be found on the Past Announcements page.

Consider yourself warned.

Week Date Topic Book Chapter Assignment Due
1 8/31 Induction: Basics, Properties of Things
9/2 Induction: Properties of Functions on Things
2 9/7 Combinatorics: Assignments, Permutations, Selections Chapter 5 Reading 1
9/9 Combinatorics: Bins, Summations Chapter 6 Homework 1
3 9/14 Propositional Logic: Basics Chapter 4 Reading 2
9/16 Propositional Logic: Algebraic Laws, Proving Equivalence Chapter 4 Homework 2
4 9/21 Propositional Logic: Rules of Inference, Formal Proofs Chapter 4 Reading 3:
9/23 Predicate Calculus: Basics Chapter 4 Homework 3
5 9/28 Predicate Calculus: Formal Proofs Chapter 4 Reading 4
9/30 Review Homework 4
6 10/5 MIDTERM EXAM I
10/7 Practical Boolean Algebra Chapter 15 Reading 5
7 10/12 Sets: Basics, Algebraic Laws Chapter 1 Reading 6
10/14 Functions: Properties Chapter 3 Homework 5
8 10/19 Relations: Properties Chapter 2, 14 Reading 7
10/21 Graphs & Trees Basic Definitions Chapters 8-10 Homework 6
9 10/26 Recursive Functions and Inductive Sets: Strings Chapter 12 Reading 8
10/28 Recursive Functions and Inductive Sets: Natural Numbers Chapters 1,3,6 Homework 7
10 11/2 Recursive Functions and Inductive Sets: Trees and Graphs Chapters 8-10 Reading 9
11/4 Review Homework 8
11 11/9 MIDTERM EXAM II
11/11 Big-Oh: Basic Rules Chapter 3 Reading 10
12 11/16 Big-Oh: Analyzing Programs Chapter 3 Reading 11
11/18 Big-Oh: Functions and Recursion Chapter 3
13 11/23 NP-Completness (Extra-Credit) Chapter 13 Homework 10
11/25 THANKSGIVING BREAK
14 11/30 TBD {Graphs, Grammars} Reading 12
12/02 TBD {Graphs, Grammars}
15 12/07 Honors Presentations
12/09 Honors Presentations Homework 11
16 12/18 (Friday, 2:45pm-4:45pm) FINAL EXAM (cumulative)

Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape.